CADE-22 PC Chair Report

Document Sample
CADE-22 PC Chair Report Powered By Docstoc
					                               CADE-22 PC Chair Report

                                        Renate Schmidt

                                    School of Computer Science
                                    The University of Manchester


                                         4 August 2009




Renate Schmidt (Univ. Manchester)       CADE-22 PC Chair Report    Montreal, Aug. 2009   1 / 12
Organisation




       PC Chair: Renate Schmidt
       Conference Chair: Brigitte Pientka
       Local organisation:
               Brigitte, Maja Frydrychowicz, Ali Assaf, Dimitri Kirchner, Joshua
               Dunfield, Ian Clement + various staff
       Workshop and Tutorial Chair: Aaron Stump
                                   u
       Publicity Chair: Carsten Sch¨rmann




Renate Schmidt (Univ. Manchester)   CADE-22 PC Chair Report       Montreal, Aug. 2009   2 / 12
Organisation (cont’d)
       Workshops:
               ADDCT & UNIF: Franz Baader, Silvio Ghilardi, Miki Hermann, Viorica
               Sofronie-Stokkermans, Ashish Tiwari, Chris Lynch, Paliath Narendran
               LFMTP: James Cheney, Amy Felty
                                               u
               MLPA: Florian Rabe, Carsten Sch¨rmann
                         e
               PSTT: St´phane Lengrand, Dale Miller
               SMT: Bruno Dutertre, Ofer Strichman
       Tutorials:
               Osman Hasan, Sofiene Tahar
               William M. Farmer
               Shuvendu K. Lahiri, Shaz Qadeer
               Viorica Sofronie-Stokkermans
       System competitions:
               CASC: Geoff Sutcliffe
               SMT-COMP: Clark Barrett, Morgan Deters, Albert Oliveras, Aaron
               Stump
       TPTP Tea Party: Geoff Sutcliffe
Renate Schmidt (Univ. Manchester)   CADE-22 PC Chair Report    Montreal, Aug. 2009   3 / 12
Submissions and Reviews


       77 submissions (90 abstracts), 32 accepted
               68 regular papers, 27 accepted
               9 system papers, 5 accepted
       At least 3 reviews per paper, 3.2 reviews on average
       Full system papers as regular papers
       Submitted papers with optional appendix
       Extra evaluation scores:
               significance, technical quality, originality, quality of presentation,
               relevance to the conference
       Refereeing process and PC discussion via EasyChair and Email
       Conditional acceptance/shepherding



Renate Schmidt (Univ. Manchester)    CADE-22 PC Chair Report          Montreal, Aug. 2009   4 / 12
Submitted and Accepted Papers since 1994
 180

 160

 140

 120

 100

  80

  60

  40

  20

   0
  CADE-12   CADE-13   CADE-14   CADE-15   CADE-16   CADE-17   CADE-18   IJCAR01   CADE-19   IJCAR04   CADE-20   IJCAR06   CADE-21   IJCAR08   CADE-22



Acceptance rates
 55%
 50%
 45%
 40%
 35%
 30%
 25%
 20%
 15%
 10%
  5%
  0%
  CADE-12   CADE-13   CADE-14   CADE-15   CADE-16   CADE-17   CADE-18   IJCAR01   CADE-19   IJCAR04   CADE-20   IJCAR06   CADE-21   IJCAR08   CADE-22



Renate Schmidt (Univ. Manchester)                        CADE-22 PC Chair Report                                 Montreal, Aug. 2009            5 / 12
Submitted and Accepted Papers by Country

                             United States
                                    France
                                 Germany
                          United Kingdom
                                   Canada
                                       Italy
                                  Australia
                                    Poland
                                   Sweden
                                     Israel
                               Switzerland
                                    Austria
                                     China
                              Netherlands
                                     Spain
                                     Qatar
                        Russian Federation
                                  Romania
                                 Denmark
                                  Belgium
                                     Japan
                                  Morocco
                                     Brazil
23 countries, up from                          0                 5           10         15              20
16 at CADE-21


Renate Schmidt (Univ. Manchester)                  CADE-22 PC Chair Report        Montreal, Aug. 2009   6 / 12
Submitted and Accepted Papers by Country


                                                              Brazil
                                                              Morocco
                                                              Japan
                                                              Belgium
                                                              Denmark
                                                              Romania
                                                              China
                                                              Spain
                                                              Russian Federation
                                                              Austria
                                                              Netherlands
                                                              Qatar
                                                              Switzerland
                                                              Israel
                                                              Sweden
                                                              Australia
                                                              Poland
                                                              Italy
                                                              Canada
                                                              United Kingdom
                                                              Germany
                                                              France
                                                              United States




Renate Schmidt (Univ. Manchester)   CADE-22 PC Chair Report        Montreal, Aug. 2009   7 / 12
                                               Submitted and Accepted Papers by Topic
                             decision procedures
                                              SMT
                     modal & temporal logic, PDL
                          SAT, propositional logic
                                      verification
                                    superposition
                       program/protocol analysis
                                       resolution
                                   term rewriting
                          implementation issues
                              logical frameworks
                             arithmetic, numbers
                                  first-order logic
                                      constraints
                                             DPLL
                                      termination
                           hierarchical reasoning
                                          algebra
                               higher-order logic
                               intuitionistic logic
                                            types
                                    combinations
                                    interpolation
                               (proof) complexity
                                          support
                                         tableaux
                                    (co)induction
                                 description logic
                        instance-based methods
                                     probabilities
                                        automata
                                explanation, MUS
                      model building, no finite m.
                               logic/funct. progr.
≤ 2 submitted &
                                                      0          2         4        6   8           10        12
0 accepted omitted

Renate Schmidt (Univ. Manchester)                         CADE-22 PC Chair Report           Montreal, Aug. 2009    8 / 12
Invited Speakers and Honourings




       3 invited speakers
               Martin Rinard, Konstantin Korovin, Mark Stickel
       Honourings
               Herbrand Award to Deepak Kapur
               Handover of Festschrift to Peter Andrews
               CASC winners
               SMT-COMP winners




Renate Schmidt (Univ. Manchester)   CADE-22 PC Chair Report      Montreal, Aug. 2009   9 / 12
Tips for next PC Chairs


       Avoid extension of paper submission/notification deadlines
               Knock-on effect for other events
               Avoid Easter for the PC discussion
       System papers
               Varied considerably in style and content
               Reviewers had varying expectations
               Give guidance
       Benchmarking
               Varied in thoroughness and quality of analysis
               Reviewers had varying expectations
               Give guidance ?




Renate Schmidt (Univ. Manchester)   CADE-22 PC Chair Report     Montreal, Aug. 2009   10 / 12
Submitted and Accepted Papers since 1994

 200




 150




                                                                                                                                            All Submitted
                                                                                                                                            Regular submitted
 100                                                                                                                                        All accepted
                                                                                                                                            Regular accepted
                                                                                                                                            System submitted
                                                                                                                                            System accepted




  50




   0
  CADE-12 CADE-13 CADE-14 CADE-15 CADE-16 CADE-17 CADE-18   IJCAR01   CADE-19   IJCAR04   CADE-20   IJCAR06   CADE-21   IJCAR08   CADE-22




Renate Schmidt (Univ. Manchester)                       CADE-22 PC Chair Report                                           Montreal, Aug. 2009         11 / 12
Acceptance Rates since 1994




 100%
  90%
  80%
  70%
  60%
  50%
  40%
  30%
  20%
  10%
   0%
   CADE-12   CADE-13   CADE-14   CADE-15   CADE-16   CADE-17   CADE-18   IJCAR01   CADE-19   IJCAR04   CADE-20   IJCAR06   CADE-21   IJCAR08   CADE-22




Renate Schmidt (Univ. Manchester)                        CADE-22 PC Chair Report                                 Montreal, Aug. 2009            12 / 12

				
DOCUMENT INFO