Program Chair: Jean-Pierre Jouannaud INRIA and Tsinghua Univ., Beijing jeanpierre.jouannaud@gmail.com Program Committee: Parosh Abdulla, Uppsala Univ. Albert Atserias, Univ. Politècnica de Catalunya Franz Baader, TU Dresden Krishnendu Chatterjee, IST, Vienna Yijia Chen, Jiaotong Univ., Shanghai Veronique Cortier, CNRS and Univ. de Nancy Vincent Danos, Univ. of Edinburgh Martín Escardó, Univ. of Birmingham Javier Esparza, TU München Amy Felty, Univ. of Ottawa Herman Geuvers, Radboud Univ. Nijmegen Dan Ghica, Univ. of Birmingham Robert Harper, Carnegie Mellon Univ. Jean-Pierre Jouannaud (Chair), INRIA and Tsinghua Univ., Beijing Naoki Kobayashi, Tohoku Univ., Sendai Orna Kupferman, Hebrew Univ., Jerusalem Stephane Lengrand, CNRS and Polytechnique Jose Meseguer, Univ. of Illinois, Urbana-Champaign John Mitchell, Stanford Univ. Eugenio Moggi, Univ. di Genova Anca Muscholl, Univ. de Bordeaux Mogens Nielsen, Aarhus Univ. Makoto Tatsuta, NII, Tokyo Wolfgang Thomas, RWTH Aachen Pawel Urzyczyn, Warsaw Univ. Victor Vianu, Univ. of California, San Diego Conference Chair: Martín Escardó Univ. of Birmingham m.escardo@cs.bham.ac.uk Workshops Co-Chairs: Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey Maribel Fernández, King's College London Publicity Co-Chairs: Stephan Kreutzer, Oxford Univ. Nicole Schweikardt, Frankfurt Univ. General Chair: Rajeev Alur Univ. of Pennsylvania, Philadelphia alur@cis.upenn.edu Organizing Committee: Martín Abadi, Rajeev Alur (chair), Paul Beame, Maria Paola Bonacina, Steve Brookes, Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martin Escardo, Maribel Fernández, Lance Fortnow, Jürgen Giesl, Radha Jagadeesan, Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit Larose, Johann (Janos) A. Makowsky, Burkhard Monien, Jens Palsberg, Frank Pfenning, Andrew Pitts, Nicole Schweikardt, Philip Scott, Matt Valeriote Advisory Board: Martín Abadi, Samson Abramsky, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John Mitchell, Luke Ong, Leszek Pacholski, Gordon Plotkin, Andre Scedrov, 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 2010 will be organized as part of the the 5th Federated Logic Conference (FLoC 2010) to be held in Edinburgh, Scotland, U.K., 9-21 July 2010, at the School of Informatics at University of Edinburgh.   More information on LICS 2010: Call for Short Presentations.   Deadline: April 28, 2010   Registration opened on April 1, 2010. The deadline for early registration is May 17, 2010. Standard registration is open from May 18 to June 30, 2010. Late registration is open from July 1 until FLoC 2010. Local organization and accomodation. Additional information can be found on the FLoC 2010 webpages. Program of LICS 2010 (the initial preliminary program, can still be found here) Student travel support Author instructions for the final versions for the LICS 2010 proceedings List of accepted papers Invited Speakers Call for Papers Submission instructions, style files for preparing a submission, and a link to the LICS 2010 submission site can be found here. Paper Registration Deadline: 10 January 2010 (11:59 p.m. GMT)   (expired) Paper Submission Deadline: 17 January 2010 (11:59 p.m. GMT)   (expired) Call for Workshop Proposals Workshop proposals due:  1 September 2009   (expired)   Important dates:   (all deadlines are 11:59 p.m. GMT) Workshop Proposals Deadline:   1 September 2009   (expired) Paper Registration Deadline (with short abstracts):   10 January 2010   (expired) Paper Submission Deadline:   17 January 2010   (expired) Author Notification:   20 March 2010   (expired) Final Versions for the Proceedings:   29 April 2010   28 April 2010 Short Presentations Submission Deadline:   28 April 2010 Early registration discount deadline:   17 May 2010 Conference:   11–14 July 2010 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.