LICS 2011 - Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2011)

Twenty-Sixth Annual IEEE Symposium on

LOGIC IN COMPUTER SCIENCE (LICS 2011)

21?24 June 2011, Toronto, Ontario, Canada

Program Chair:
Martin Grohe, Humboldt Univ., Berlin
grohe-AT-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-AT-mathstat.concordia.ca
Matt Valeriote, McMaster Univ., Hamilton
matt-AT-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-AT-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:
Local Organization

Invited Speakers

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

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.

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 Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, the Fields Institute, and the European Association for Theoretical Computer Science.