Program Chair: Martin Grohe, Humboldt Univ., Berlin grohe@informatik.hu-berlin.de Program Committee: Eli Ben-Sasson, Technion, Haifa Patrick Baillot, CNRS & ENS, Lyon Patricia Bouyer-Decitre, ENS, Cachan Balder ten Cate, UC Santa Cruz Thierry Coquand,  Univ. of Gothenburg Victor Dalmau, UPF, Barcelona Josée Desharnais, Univ. Laval, Québec Kousha Etessami, Univ. of Edinburgh Philippa Gardner, Imperial College, London Rob van Glabbeek, NICTA, Sydney Guillem Godoy, UPC, Barcelona Martin Grohe, HU Berlin Martin Hofmann,  LMU Munich Vineet Kahlon, NEC Labs, Princeton Stephan Kreutzer, Univ. of Oxford Dale Miller, INRIA, Saclay Leonardo de Moura, Microsoft Research, Redmond Luke Ong, Univ. of Oxford Benjamin Rossman,  MIT, Cambridge Davide Sangiorgi, Univ. of Bologna Luc Segoufin, INRIA & ENS, Cachan Matt Valeriote, McMaster Univ., Hamilton Andrei Voronkov, Univ. of Manchester Igor Walukiewicz, Univ. of Bordeaux Thomas Wilke, Univ. of Kiel Conference Co-Chairs: Benoit Larose, Champlain Regional College larose@mathstat.concordia.ca Matt Valeriote, McMaster Univ., Hamilton matt@math.mcmaster.ca Workshops Co-Chairs: Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey Maribel Fernández, King's College London Publicity Co-Chairs: Andrzej Murawski, Univ. of Leicester Stephan Kreutzer, Univ. of Oxford Treasurer: Martín Escardó, Univ. of Birmingham 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, Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martín Escardó, Maribel Fernández, Lance Fortnow, Jürgen Giesl, Martin Grohe, Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit Larose, Johann (Janos) A. Makowsky, Burkard Monien, Andrzej Murawski, Jens Palsberg, Andrew Pitts, 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 2011 will be held at the Fields Institute on the campus of the University of Toronto in Toronto, Ontario, Canada, from June 21st to the 24th, 2011.   More information on LICS 2011: Program Registration opened on March 28, 2011. WORKSHOPS ONLY: If you are registering only for one of the affiliated workshops, please click here. The deadline for early registration was May 31, 2011. Standard registration will be open from June 1 to June 21, 2011. Online registration is available until June 14, 2011. Local Organization and Accommodation  Accepted Papers (Abstracts) Invited Speakers Tutorial Day   At LICS 2011, we will start a series of tutorials on the core areas of logic in computer science. Rather than focussing on a specialised topic, these tutorials will highlight the basic questions, techniques and motivation of a broader area. The tutorials are aimed to be accessible to all LICS participants. In 2011, we will have two half-day tutorials on Finite Model Theory and Semantics respectively, to be held on June 20. The speakers will be Albert Atserias (UPC Barcelona) on Finite Model Theory and Prakash Panangaden (McGill University, Montreal) on Semantics. Affiliated Workshops June 20 Foundations of Computer Security (FCS '11) (cancelled) Syntax and Semantics of Low-Level Languages (LOLA '11) Logical Aspects of Fault-Tolerance (LAFT '11) June 25 Logic and Computational Complexity (LCC '11) Call for Short Presentations  (Deadline: 12 April 2011) Call for Papers Submission instructions, style files for preparing a submission, and a link to the LICS 2011 submission site can be found here. Paper Registration Deadline: 5 January 2011 Paper Submission Deadline: 12 January 2011 Author Notification: 7 March 2011 Final Versions for the Proceedings: 4 April 2011 Call for Workshop Proposals Workshop proposals due:  16 November 2010      Important dates: Workshop Proposals Deadline:   16 November 2010    Paper Registration Deadline (with short abstracts):   5 January 2011    Paper Submission Deadline:   12 January 2011 Author Notification:   7 March 2011    Final Versions for the Proceedings:   4 April 2011 Conference:   21–24 June 2011 (All deadlines are 11:59pm GMT.) The symposium is sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, with ACM SIGACT as Technical Co-Sponsor. This year's meeting is hosted by the Fields Institute, and we gratefully acknowledge their support for organization. We are also thankful to Microsoft Research, Redmond for financial support. Back to the LICS webpage.