FroCoS13 Business Meeting LORIA & INRIA Nancy Grand Est - - PowerPoint PPT Presentation

FroCoS’13 Business Meeting

LORIA & INRIA Nancy Grand Est

September 19, 2013

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 1 / 15

Context: Colocation with Tableaux

{FroCoS, Tableaux} ⊆ IJCAR’12

• FroCoS’13?
• Tableaux’13?
• FroCoS+Tableaux’13 @ Nancy

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 2 / 15

FroCoS + Tableaux’13 @ Nancy

A week on Logic and Automated Reasoning Initial Project Separate selection of papers: two PCs Joint invited speaker proposed by both PCs: Stéphane Demri Final Program Combined scientific program:

• FroCoS and Tableaux invited speakers in joint sessions
• Parallel sessions

Combined organisation: discussion with Tableaux Chairs. Combined social program: receptions, conference dinner Registration fees for FroCoS + Tableaux

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 3 / 15

Statistics FroCoS’13

(thanks to EasyChair) General Statistics Submissions 33 Accepted 20 Acceptance rate 0.61 Reviews 104 External reviewers 36 External reviews 39 Reviewing reviews for a paper number of papers 3 28 4 5

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 4 / 15

Statistics FroCoS’13 by Country

country authors subm. acc.

• acc. rate

PC members Argentina 3 1.00 1.00 1.00 1 Australia 2 1.00 0.00 0.00 2 Austria 3 1.50 0.50 0.33 2 Canada 1 0.20 0.00 0.00 1 China 1 0.50 0.50 1.00

• Denmark
• 1

France 8 5.00 3.00 0.60 4 Germany 22 9.10 7.50 0.82 6 Italy 2 0.83 0.83 1.00 4 Japan 2 1.50 1.50 1.00 1 Netherlands

• 1

Poland 1 1.00 0.00 0.00 1 South Africa 4 1.00 0.00 0.00

• Spain

6 0.86 0.00 0.00

• Sweden
• 1

Switzerland 2 0.67 0.67 1.00

• United Kingdom

14 6.84 3.50 0.51 4 United States 6 2.00 1.00 0.50 3

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 5 / 15

FroCoS: a Bit of History...

FroCoS loc. subm. acc. rate |Org| |PC| 2013 Nancy 33 20 0.61 3 32 2011 Saarbruecken 22 15 0.68 2 22 2009 Trento 35 19 0.54 2 19 2007 Liverpool 31 14 0.45 2 18 2005 Vienna 28 14 0.50 1 16 2002

• St. Margherita Ligure

35 14 0.40 1 16 2000 Nancy 31 14 0.45 2 14 1998 Amsterdam 43 17 0.40 2 14 1996 Muenchen 39 18 0.46 2 15

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 6 / 15

FroCoS’13 Program

20 papers 4 invited talks 1 joint session with Tableaux 9 FroCoS sessions 1 “free” Tableaux session Publication in Springer LNAI proceedings 8152

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 7 / 15

Regular FroCoS’13 Papers by Topic

Topic # Modal Logic, DL 5 Theorem Proving 5 Temporal Logic 3 Rewriting 3 Verification, SMT 3 Logic Programming 1

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 8 / 15

Financial Support of our Institutions

1

Formal Methods Department, LORIA (1500 e for Tableaux+FroCoS joint invited speaker)

2

Université de Lorraine (1000 e)

3

Communauté Urbaine du Grand Nancy (1500 e)

4

Région Lorraine (1500 e)

5

INRIA support (venue, administrative organisation)

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 9 / 15

Inria Support

Service Manifestations scientifiques in charge of the administrative

• rganisation of the conferences:
• rganisation of social events

registration travel & accommodation of invited speakers payment of invoices ... in interaction with the PC Chairs. Thanks a lot to Anne-Lise Charbonnier Kevin Ledocq Louisa Touioui

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 10 / 15

Budget

Expenses: Inria service Manifestations scientifiques (including conference rooms, travel and accommodations of invited speakers, ...) Reception Musée Aquarium Reception Musée Lorrain Conference dinner Lunch & coffee breaks Posters, bags, goodies Proceedings Incomes: conference fees + financial support of our institutions The budget should be eventually well-balanced... (managed by Inria Manifestations scientifiques)

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 11 / 15

Participation

Registration fees: FroCoS only: 350 e (same as FroCoS’11) Tableaux only: 400 e (including one workshop day) Tableaux+FroCoS: 430 e Late: +50 e, Student: -50 e Number of participants: 94 (including 23 students) FroCoS only: 18 Tableaux only: 18 Tableaux workshops only: 8 Tableaux+FroCoS: 50 (including 6 invited speakers) Difficult to evaluate the number of “FroCoS” people among the shared participants

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 12 / 15

FroCoS or Tableaux Participants by Country

Country # Argentina 1 Australia 8 Austria 8 Canada 1 Czech Republic 1 Finland 1 France \ Nancy 15 Germany 16 Italy 6 Japan 2 Norway 2 Poland 1 Spain 1 Switzerland 2 UK 12 USA 4 Nancy 13

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 13 / 15

Concluding Remarks

Number of participants beyond our expectations FroCoS and Tableaux are comparable in terms of number of submissions, accepted papers, and participants 2 PC co-chairs with complementary expertises: Modal Logics and Automated Reasoning A large PC Great support from the Inria service Manifestations scientifiques Very good interactions with Tableaux chairs

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 14 / 15

Many Thanks to

FroCoS Steering Committee FroCoS’13 Program Committee Andrei Voronkov, for EasyChair All referees Our invited speakers: Stéphane Demri, Konstantin Korovin, Joël Ouaknine, Lawrence C. Paulson All speakers All authors of submitted papers All participants Special Thanks to Didier Galmiche, Dominique Larchey-Wendling, and to the local organizers: Anne-Lise Charbonnier, Kevin Ledocq, Louisa Touioui Sponsoring institutions

(LORIA-UHP-INRIA) FroCoS’13 Business Meeting 15 / 15