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 Formal Methods Department, LORIA (1500 e for 1 Tableaux+FroCoS joint invited speaker) Université de Lorraine (1000 e ) 2 Communauté Urbaine du Grand Nancy (1500 e ) 3 Région Lorraine (1500 e ) 4 INRIA support (venue, administrative organisation) 5 (LORIA-UHP-INRIA) FroCoS’13 Business Meeting 9 / 15
Inria Support Service Manifestations scientifiques in charge of the administrative organisation of the conferences: organisation 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
Recommend
More recommend
