LICS 2002 Call for Papers

(This is a FLoC'02-local copy of the original LICS 2002 call-for-papers)

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 has not yet been determined, but will be given in the final call (and will appear on the LICS web site,

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.

Important dates

  • Tuesday January 15th, 2002 - paper submission
  • Friday March 22nd, 2002 - author notification
  • Wednesday May 1st, 2002 - final papers due

This page is also available as