Program Chair: Andrew Pitts, University of Cambridge, U.K. Program Committee: Rance Cleaveland, University of Maryland Karl Crary, Carnegie Mellon University Rocco De Nicola, Università degli Studi di Firenze Gilles Dowek, École Polytechnique Neil Immerman, University of Massachusetts Radha Jagadeesan, DePaul University Claude Kirchner, INRIA Marta Kwiatkowska, Oxford University Benoit Larose, Concordia University Soren Lassen, Google Inc. Leonid Libkin, University of Edinburgh Paul-André Melliès, CNRS & Univ. Paris Diderot Eugenio Moggi, Università di Genova Andrzej Murawski, Oxford University Gopalan Nadathur, University of Minnesota Prakash Panangaden, McGill University Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign Nir Piterman, Imperial College London Andrew Pitts, University of Cambridge Francois Pottier, INRIA Vijay Saraswat, IBM TJ Watson Research Center Lutz Schröder, DFKI-Lab Bremen Nicole Schweikardt, Frankfurt University Alwen Tiu, Australian National University Hongseok Yang, Queen Mary University of London Conference Chair: Jens Palsberg, UCLA Workshops Co-Chairs: Adriana Compagnoni, Stevens Inst. of Technology Maribel Fernández, King's College London Publicity Co-Chairs: Stephan Kreutzer, Oxford University Nicole Schweikardt, Frankfurt University 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, Giorgio Ausiello, Franz Baader, Steve Brookes, Samuel Buss, Adriana Compagnoni, Maribel Fernández, Hal Gabow, Jürgen Giesl, Radha Jagadeesan, Phokion Kolaitis, Stephan Kreutzer, Richard E. Ladner, Johann (Janos) A. Makowsky, Jerzy Marcinkowski, Luke Ong, Jens Palsberg, Frank Pfenning, Andrew Pitts, Nicole Schweikardt, Philip Scott, Margus Veanes Advisory Board: Robert Constable, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Dexter Kozen, Ursula Martin, John Mitchell, Leszek Pacholski, Gordon Plotkin, Vaughan Pratt, Andre Scedrov, Dana S. Scott, Moshe Y. Vardi, Glynn Winskel

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th–14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th–11th).   More information on LICS 2009: Registration is open! The deadline for early registration is July 26, 2009. Online registration for LICS 2009, SAS 2009, and co-located workshops is available here. Further information can be found on the local organization and accomodation webpage. Local organization and accomodation Preliminary program of LICS'09 List of accepted papers Invited Speakers List of workshops co-located with LICS 2009: Logics for Agents and Mobility (LAM). Organiser: Berndt Farwer Foundations of Computer Security (FCS). Organiser: Veronique Cortier Logic and Computational Complexity (LCC). Organiser: Daniel Leivant Normalization by Evaluation (NBE). Organiser: Olivier Danvy Logical Aspects of Fault Tolerance (LAFT). Organiser: Leo G Marcus Proof-carrying code and software certification (PCC). Organiser: Thomas Jensen Call for short presentations.   Deadline: May 25, 2009   (expired) Call for Papers Submission instructions, style files for preparing a submission, and a link to the LICS 2009 submission site can be found here. Paper Registration Deadline: 12 January 2009   (expired) Paper Submission Deadline: 19 January 2009   (expired) Call for Workshop Proposals Workshop proposals due:  1 December 2008   (expired)   Important dates: Workshop Proposals Deadline:   1 December 2008 Paper Registration Deadline (with short abstracts):   12 January 2009 Paper Submission Deadline:   19 January 2009 Author Notification:   19 March 2009 Final Versions for the Proceedings:   25 May 2009 Conference:   11–14 August 2009 The symposium 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. It is supported in part by a gift from Google and by a gift from Microsoft.