Seventeenth Annual IEEE Symposium on


July 22nd - 25th, 2002, Copenhagen, Denmark

Program Chair:
Gordon Plotkin
Division of Informatics
The University of Edinburgh
James Clerk Maxwell Building
Mayfield Road
Edinburgh EH9 3JZ
United Kingdom
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

Publicity Chair:
Martin Grohe, U. of Edinburgh

General Chair:
Samson Abramsky, Oxford U.

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

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 for details. There will also be many workshops sponsored by the FLoC conferences. For the LICS ones, see for details as they are announced.

Martin Grohe
Last modified: June 19, 2001