Program Chair: Gordon Plotkin Division of Informatics The University of Edinburgh James Clerk Maxwell Building Mayfield Road Edinburgh EH9 3JZ United Kingdom Email: gdp@dcs.ed.ac.uk Phone: + 44 131 650 5158 Fax: + 44 131 667 7209 Program Committee: Franz Baader, RWTH Aachen Marco Cadoli, U. di Roma "La Sapienza" Vincent Danos, CNRS, U. Paris VII Anuj Dawar, U. of Cambridge Rocco De Nicola, U. degli Studi di Firenze Harald Ganzinger, MPI für Informatik Orna Grumberg, Technion Robert Harper, Carnegie Mellon University Furio Honsell, University of Udine Phokion Kolaitis, UC Santa Cruz Johann A. Makowsky, Technion Oded Maler, CNRS-Vérimag Yoram Moses, Technion Robert Nieuwenhuis, UPC Peter O'Hearn, Queen Mary, U. of London Doron A. Peled, Bell Laboratories Benjamin C. Pierce, U. of Pennsylvania Andrew Pitts, U. of Cambridge Gordon Plotkin (chair), U. of Edinburgh Andreas Podelski, MPI für Informatik Andre Scedrov, U. of Pennsylvania Peter Thiemann, U. Freiburg Andrei Voronkov, U. of Manchester Conference Chair: Ulrich Kohlenbach Department of Computer Science, BRICS University of Aarhus Ny Munkegade, Building 540 DK-8000 Aarhus C Denmark Email: kohlenb@brics.dk Publicity Chair: Martin Grohe, U. of Edinburgh grohe@dcs.ed.ac.uk General Chair: Samson Abramsky, Oxford U. Samson.Abramsky@comlab.ox.ac.uk Organizing Committee: M. Abadi, S. Abramsky (chair), A. Aggarwal, M. Bezem, E. Clarke, R. Constable, N. Dershowitz, J. Diaz, H. Ganzinger, F. Giunchiglia, M. Grohe, J. Halpern, D. Leivant, L. Libkin, G. Longo, D.A. Martin, J. Mitchell, E. Moggi, G. Plotkin, V. Pratt, J. Riecke, S. Ronchi della Rocca, J. Tiuryn, M.Y. Vardi, J. Vitter, G. Winskel. Advisory Board: M. Abadi, S. Abiteboul, M. Dezani, J. Halpern, R. Impagliazzo, D. Kozen, L. Pacholski, A. Scedrov, D. Scott, J. Wing.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. LICS 2002 will be part of the 2002 Federated Logic Conference (FLoC 2002), to be held in Copenhagen, Denmark, July 20th - August 1st, 2002. Call for Papers (ps in us-letter format, ps in A4 format) Submission Site Accepted Papers Preliminary Program Affiliated Workshops Invited Speakers   Important dates: Submission Deadline: January 15th, 2002 Notification of acceptance/rejection: March 22nd, 2002 Final version: May 1st, 2002   Submission of Short Presentations: March 25th - 29th, 2002 Notification of acceptance/rejection: April 12th, 2002   Conference: July 22nd - 25th, 2002

Back to the LICS web page.