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.

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
* Paper Submission Deadline: 17 January 2010
* Author Notification: 21 March 2010
* Final Versions for the Proceedings: 29 April 2010
* Conference: 11–14 July 2010

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), Giorgio Ausiello, Franz Baader, Paul Beame, 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, 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