1. LICS 2003 Program Committee Report

2. 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

3. 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

4. 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

5. 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

6. Submission Data 145 papers registered by January 6, 2003 145 papers registered by January 6, 2003 126 papers submitted by January 13, 2003 126 papers submitted by January 13, 2003 4 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

7. Statistics: Submissions/Acceptance Year # Submitted # Accepted % Accepted 20011043634.6% 20021353626.67% 20031223427.87%

8. 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

9. Statistics: Geography Contact Author # Submitted # Accepted % Accepted Europe581627.58% N. America 511529.41% Asia8112.5% Oceania4125% Africa11100%

10. Statistics: Topics Topic # Submitted # Accepted % Accepted Semantics, Types 24625% FMT, Logic & Complexity 18527.77% MC, Verification 16425% Deduction, Rewriting 9333.33% Security4375% Linear Logic 11218.18% Logic & DBs 3266.66% Constraints3266.66%

11. Statistics: Topics Topic # Submitted # Accepted % Accepted Modal & Temporal Logic 10110% Concurrency6116.66% Constructive Mathematics 6116.66% Logics in AI 5120% Automata Theory 3133.33% Proof Complexity 2150% Specifications2150%

12. 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

13. 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