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: 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. Joint events will be organised with these two conferences. For further details, visit the joint conference site.   More information on LICS 2007: Registration is open! Early registration discount expires on 31 May 2007. Local Information on LICS/ICALP/LC 2007 can be found on the joint conference website at http://july2007.ii.uni.wroc.pl/ Call for Short Presentations Titles & short abstracts due:  10 April 2007   (expired) Program (tentative schedule) List of LICS/ICALP Joint Workshops List of Accepted Papers Call for Papers   (pdf, ps) Titles & short abstracts due:  15 January 2007   (expired) Extended abstracts due:  22 January 2007   (expired) Submission instructions, style files for preparing a submission, and a link to the LICS 2007 submission site can be found here. Invited Speakers Call for Workshops Workshop proposals due:  15 November 2006   (expired)   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.