LICS 2004 - Call for Papers
[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
CALL FOR PAPERS
Nineteenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2004)
July 14th - 17th, 2004, Turku, Finland
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. We invite submissions on that theme. 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, proof 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, logical representation of knowledge, 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.
Authors are required to submit electronically a paper title and a
short abstract of about 100 words before submitting the extended
abstract of the paper.
Titles & Short Abstracts Due : January 26, 2004
Extended Abstracts Due : February 2, 2004
Author Notification : March 27, 2004
Camera-ready Papers Due : April 25, 2004
All deadlines are firm; late submissions will not be considered.
Detailed information about electronic paper submission will be posted
at the LICS website.
Extended abstracts must be submitted electronically in the IEEE
Proceedings two-column camera-ready format. Each abstract 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 and
to computer science, all phrased for the non-specialist. Technical
development directed to the specialist should follow. References and
comparisons with related work should be included. Extended abstracts
may be no longer than 10 pages including references, and must be
formatted in the IEEE Proceedings two-column camera-ready style (IEEE
style files will be accessible from the LICS website). If necessary,
detailed proofs of technical results can be included in a
clearly-labelled appendix in the same two-column format following the
10-page extended abstract. This material may be read at the discretion
of the program committee. Extended abstracts not conforming to the
above requirements concerning format and length may be rejected
without further consideration. The results must be unpublished and
not submitted for publication elsewhere, including the proceedings of
other symposia or workshops. 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 2004 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 2004 submission site between March 27th and April 4th,
2004. Authors will be notified of acceptance or rejection by April
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 submission
to be eligible, the research presented in the paper must have been
carried out while all authors were full-time students. The program
committee may decline to make the award or may split it among several
As in previous years, there will be a number of workshops affiliated
with LICS 2004; information will be posted at the LICS website.
MPI Informatik, Saarbruecken, Germany
Rajeev Alur, U. of Pennsylvania
Andrew Appel, Princeton U.
Albert Atserias, UPC, Barcelona
Franz Baader, Dresden U.
Samuel Buss, U. of California, San Diego
Roberto Di Cosmo, U. de Paris VII
Gilles Dowek, Ecole Polytechnique, Paris
Harald Ganzinger, MPI, Saarbruecken (chair)
Martin Hofmann, LMU Muenchen
Achim Jung, U. of Birmingham
Leonid Libkin, U. of Toronto
Kim Larsen, Aalborg U.
Rocco de Nicola, U. di Firenze
Damian Niwinski, Warsaw U.
Prakash Panangaden, McGill U., Montreal
Albert Rubio, UPC, Barcelona
Vitaly Shmatikov, SRI International
Moshe Vardi, Rice U., Houston
Helmut Veith, TU Wien
Andrei Voronkov, U. of Manchester
Department of Math., Stat., and Phil.
33014 University of Tampere,
Phil Scott, U. of Ottawa
Alex Simpson, U. of Edinburgh
Phokion G. Kolaitis, UC Santa Cruz
S. Abramsky, A. Broder, E. Clarke, A. Felty, U. Furbach,
H. Ganzinger, H. Gabow, J. Halpern, L. Hella,
U. Kohlenbach, P. Kolaitis (chair),
D. Leivant, G. Longo, H. Mairson, A. Middeldorp, J. Mitchell,
M. Nielsen, P. Panangaden, G. Plotkin, P. Scott,
R. Shore, A. Simpson, I.A. Stewart.
Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski,
V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel.
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.
ICALP'04 will be collocated with LICS'04; for details see