Twenty-Second Annual IEEE Symposium on


10th–14th July 2007, Wroclaw, Poland

Program Chair:
Luke Ong, University of Oxford

Program Committee:
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 Graedel, 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, University of California, San Diego
Igor Walukiewicz, CNRS, Bordeaux

Conference Chair:
Jerzy Marcinkowski, University of Wroclaw

Workshop Chair:
Phil Scott, University of Ottawa

Publicity Co-Chairs:
Stephan Kreutzer and Nicole Schweikardt, Humboldt University Berlin

General Chair:
Martín Abadi, Microsoft Research Silicon Valley and University of California, Santa Cruz

Organizing Committee:
Martín Abadi (chair), Samson Abramsky, Rajeev Alur, Franz Baader, Andrei Broder, Sam Buss, Edmund Clarke, Jürgen Giesl, Lauri Hella, Radha Jagadeesan, Alan Jeffrey, Phokion Kolaitis, Stephan Kreutzer, Richard Ladner, Janos Makowsky, Jerzy Marcinkowski, Mogens Nielsen, Luke Ong, Prakash Panangaden, Nicole Schweikardt, Philip Scott, Margus Veanes, Andrei Voronkov

Advisory Board:
R. Constable, Y. Gurevich, T. Henzinger, C. Kirchner, D. Kozen, U. Martin, J. Mitchell, L. Pacholski, V. Pratt, A. Scedrov, D.S. Scott, M.Y. Vardi, G. Winskel

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, 10th–14th July 2007.
It will be colocated with:

Joint events will be organised with these two conferences. For further details, visit the joint conference site.


More information on LICS 2007:


Important dates:

  • Workshop Proposals Deadline:   15 November 2006
  • Paper Registration Deadline (with short abstracts):   15 January 2007
  • Paper Submission Deadline:   22 January 2007
  • Author Notification:   19 March 2007
  • Final Versions for the Proceedings:   13 April 2007
  • Early registration discount deadline:   31 May 2007
  • Conference:   10–14 July 2007

The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.

Back to the LICS webpage.

Last modified: Wed May 23 12:21:52 CEST 2007
Stephan Kreutzer and Nicole Schweikardt