LICS 2003 Program Committee Report

LICS 2003 Program Committee M. Benedikt M. Benedikt A. Blass A. Blass M.-L. Bonet M.-L. Bonet W. Charatonik W. Charatonik M. Fiore M. Fiore G. Ghelli G. Ghelli T. Henzinger T. Henzinger A. Jeffrey A. Jeffrey A. Kfoury A. Kfoury Ph. Kolaitis (Chair) 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 20 members in total 20 members in total 9 first-time members 9 first-time members 10 members based in Europe 10 members based in Europe 10 members based in North America 10 members based in North America

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

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

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

Statistics: Submissions/Acceptance Year # Submitted # Accepted % Accepted % % %

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

Statistics: Geography Contact Author # Submitted # Accepted % Accepted Europe % N. America % Asia8112.5% Oceania4125% Africa11100%

Statistics: Topics Topic # Submitted # Accepted % Accepted Semantics, Types 24625% FMT, Logic & Complexity % MC, Verification 16425% Deduction, Rewriting % Security4375% Linear Logic % Logic & DBs % Constraints %

Statistics: Topics Topic # Submitted # Accepted % Accepted Modal & Temporal Logic 10110% Concurrency % Constructive Mathematics % Logics in AI 5120% Automata Theory % Proof Complexity 2150% Specifications2150%

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

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