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. Suggested, but not exclusive, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification. Paper submission will be electronic. The deadline for submissions is January 15th, 2002. This deadline is firm; late submissions will not be considered. The URL for electronic paper submission is http://lics02.lfcs.informatics.ed.ac.uk. Authors will be notified of acceptance or rejection by March 22nd, 2002; accepted papers in a specified format for the proceedings will be due by May 1st, 2002. The first page of the extended abstract should include the title of the paper, names and affiliations of authors, a brief synopsis, and the contact author's name, address, phone number, fax number, and email address. The extended abstract may not exceed 5000 words, excluding bibliography and figures. It must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical development directed to the specialist should follow. If a result is surprising, then the subtleties should be explained. (If necessary, details can be included in a clearly-labelled appendix or there can be a pointer to a manuscript on a web site.) References and comparisons with related work should be included. Submissions departing significantly from these guidelines risk rejection. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The PC chair should be informed of closely related work submitted to a conference or journal between January 15th, 2002 and March 22nd, 2002. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the conference. LICS 2002 will have a session of short (5-10 minutes) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS submission site between March 25th and March 29th, 2002. Authors will be notified of acceptance or rejection by April 12th, 2002 The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, and the European Association for Theoretical Computer Science. Kleene Award for Best Student Paper: An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. For a paper to be eligible the research presented must have been carried out while at least one of the authors was a full-time student. Multiple-authored papers are permitted. The exact circumstances, including allocation of credit, should be detailed in the submission letter, SIGNED BY ALL AUTHORS. The program committee may decline to make the award or may split it among several papers. Invited Speakers: The following distinguished speakers have agreed to give invited talks at LICS 2002: Stephen Cook (University of Toronto), Georg Gottlob (TU Wien), John Reynolds (Carnegie Mellon), Natarajan Shankar (SRI). Maurizio Lenzerini (Universita di Roma "La Sapienza") will give an invited tutorial on Description Logics. Collocated events: The following conferences are collocated with LICS at FLoC 2002: CADE, CAV, FME, ICLP, RTA, TABLEAUX; see http://floc02.diku.dk/ for details. There will also be many workshops sponsored by the FLoC conferences. For the LICS ones, see http://www.lfcs.informatics.ed.ac.uk/lics for details as they are announced.