LICS 2007 Call for Papers

Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2007)

10th–14th July 2007, Wroclaw, Poland


The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007.

Suggested, but not exclusive, topics of interest for LICS 2007 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, probabilistic systems, process calculi, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification.
We welcome submissions in emergent areas, such as bioinformatics and quantum computation, if they have a substantial connection with logic.



All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission will be posted at the LICS 2007 web site.



Authors are required to submit a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. All submissions will be electronic.

Every extended abstract must be in English and provide sufficient detail to allow the programme 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 2007 web site). 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 or there can be a pointer to a manuscript on a web site. This material may be read at the discretion of the programme 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. Details on electronic paper submission will be available at the LICS 2007 web site in due course (URL:



LICS 2007 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.



An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. Details concerning eligibility criteria and procedure for consideration for this award will be posted at the LICS web site. The programme committee may decline to make the award or may split it among several papers.



LICS 2007 will be colocated with International Colloquium on Automata, Languages and Programming (ICALP 2007), 9th–13th July 2007, and ASL European Summer Meeting (Logic Colloquium 2007), 14th–19th July 2007. There will also be a number of workshops sponsored by the colocated conferences. Details on workshops affiliated with LICS, in particular, will be available at the LICS 2007 web site in due course.



The following distinguished speakers have agreed to give invited talks at LICS 2007: Thomas Hales (University of Pittsburgh), Phokion Kolaitis (IBM Almaden Research Centre), Gordon Plotkin (University of Edinburgh) (joint with ICALP 2007), Michael Rabin (Harvard University and Hebrew University) (joint with ICALP 2007), Martin Hyland (University of Cambridge) (joint with Logic Colloquium 2007), Colin Stirling (University of Edinburgh) (joint with Logic Colloquium 2007).



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.



Luke Ong (University of Oxford)



Albert Atserias (Technical University of Catalonia), Steve Awodey (Carnegie Mellon University), Nachum Dershowitz (Tel Aviv University), Thomas Ehrhard (University of Paris 7 and CNRS), Javier Esparza (University of Stuttgart), Marcelo Fiore (University of Cambridge), Erich Grädel (RWTH Aachen University), Tom Henzinger (EPFL), Alan Jeffrey (Bell Labs), Achim Jung (University of Birmingham), Dexter Kozen (Cornell University), Kim Larsen (Aalborg University), Jerzy Marcinkowski (University of Wroclaw), Luke Ong (University of Oxford), Frank Pfenning (Carnegie Mellon University), Andrew Pitts (University of Cambridge), Vladimiro Sassone (University of Southampton), Nicole Schweikardt (Humboldt University Berlin), Peter Selinger (Dalhousie University), Natarajan Shankar (Computer Science Lab. SRI), Victor Vianu (UC San Diego), Igor Walukiewicz (CNRS, Bordeaux)



Jerzy Marcinkowski (University of Wroclaw)



Philip J. Scott (University of Ottawa)



Stephan Kreutzer and Nicole Schweikardt (Humboldt-University Berlin)



Martin Abadi (UC Santa Cruz and Microsoft Research, Silicon Valley)



Martin Abadi (chair), Samson Abramsky, Rajeev Alur, Franz Baader, Andrei Broder, Samuel Buss, Edmund Clarke, Jürgen Giesl, Lauri Hella, Radhakrishnan Jagadeesan, Alan Jeffrey, Phokion Kolaitis, Stephan Kreutzer, Richard Ladner, Johann Makowsky, Jerzy Marcinkowski, Mogens Nielsen, Luke Ong, Prakash Panangaden, Nicole Schweikardt, Philip Scott, Magus Veanes, Andrei Voronkov



Robert Constable, Yuri Gurevich, Thomas Henzinger, Claude Kirchner, Dexter Kozen, Ursula Martin, John Mitchell, Leszek Pacholski, Vaughan Pratt, Andre Scedrov, Dana S. Scott, Moshe Y. Vardi, Glynn Winskel


Back to the LICS 2007 webpage.

Last modified: Tue Dec 26 21:51:16 CET 2006
Stephan Kreutzer and Nicole Schweikardt