1 / 13

LICS 2003

LICS 2003. Program Committee Report. M. Benedikt A. Blass M.-L. Bonet W. Charatonik M. Fiore G. Ghelli T. Henzinger A. Jeffrey A. Kfoury Ph. Kolaitis (Chair). O. Kupferman U. Martin P.-A. Mellies E. Moggi U. Montanari P. Narendran L. Ong M. Otto F. Pfenning M. Truszczynski.

abram
Download Presentation

LICS 2003

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. LICS 2003 Program Committee Report

  2. M. Benedikt A. Blass M.-L. Bonet W. Charatonik M. Fiore G. Ghelli T. Henzinger A. Jeffrey A. Kfoury Ph. Kolaitis (Chair) O. Kupferman U. Martin P.-A. Mellies E. Moggi U. Montanari P. Narendran L. Ong M. Otto F. Pfenning M. Truszczynski LICS 2003 Program Committee

  3. LICS 2003 Program Committee • 20 members in total • 9 first-time members • 10 members based in Europe • 10 members based in North America

  4. LICS 2003 Timetable • Titles/Short Abstracts: January 6, 2003 • Extended Abstracts: January 13, 2003 • Author Notification: March 20, 2003 • Camera-Ready Papers: April 11, 2003 • Short Presentations: • Submissions: March 17-21, 2003 • Author Notification: April 4, 2003

  5. Important Changes • Advance Paper Registration: by January 6 title & short abstract • Extended Abstract: by January 13 • IEEE Proceedings two-column format • 10-page limit • Technical Appendices could be included

  6. Submission Data • 145 papers registered by January 6, 2003 • 126 papers submitted by January 13, 2003 • 4 papers withdrawn during review period • 122 reviewed by the Program Committee • 34 papers accepted • 24 short presentations submitted • 14 short presentations accepted

  7. Statistics: Submissions/Acceptance

  8. PC Workload Data • Confman system used for submission of papers, submission of reviews, and electronic PC meeting • Each paper was assigned to at least 4 reviewers • Each PC member was assigned between 24 to 27 papers • 100% return rate: PC members produced reviews for every paper assigned to them! • 5 ½ weeks for reviews • 2 ½ weeks for electronic PC meeting

  9. Statistics: Geography

  10. Statistics: Topics

  11. Statistics: Topics

  12. 2003 Kleene Prize • 13 Student Papers Submitted • 5 Student Papers Accepted • 2003 Kleene Prize Winner: Successor-Invariance in the Finite by Benjamin Rossman

  13. Thanks • All authors of submitted papers • All PC members and external reviewers • Matthew Kalastro -- ConfMan support • Alex Simpson -- LICS 2003 Publicity Chair • Prakash Panangaden -- LICS 2003 Workshops Chair • Amy Felty and Philip Scott -- LICS 2003 Conference co-Chairs • Samson Abramsky -- LICS General Chair

More Related