21-24 June 2011
Toronto ON, Canada
Twenty-Sixth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2011)
June 21-24, 2011, Toronto, Canada
http://www.informatik.hu-berlin.de/lics/lics11/
CALL FOR PARTICIPATION
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.
REGISTRATION:
Registration for LICS is open. For online registration follow the link
to http://www.fields.utoronto.ca/cgi-bin/register?form_selection=LICS.
Early registration at reduced rates will be available till 31 May 2011.
ACCOMMODATION:
A list of hotels with blocks of rooms reserved at reduced rates for LICS
participants can be found at
http://www.fields.utoronto.ca/programs/scientific/10-11/lics11/accommodation.html
Rooms are reserved till the end of may, with different dates for the
various hotels.
LOCAL ORGANISATION:
See
http://www.fields.utoronto.ca/programs/scientific/10-11/lics11/index.html
PRELIMINARY PROGRAMME:
A preliminary programme can be found at
http://www2.informatik.hu-berlin.de/lics/lics11/program.html
GENERAL INFORMATION:
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly construed.
We invite submissions on topics that fit under that rubric.
Suggested, but not exclusive, topics of interest for submissions include:
automata theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, description logics,
domain theory, finite model theory, formal aspects of program analysis,
formal methods, higher-order logic, hybrid systems, lambda and
combinatory calculi, linear logic, logical aspects of bioinformatics,
logical aspects of computational complexity, logical aspects of quantum
computation, logical frameworks, logic in artificial intelligence,
logics of programs, logic programming, modal and temporal logics, model
checking, probabilistic systems, process calculi, programming language
semantics, proof theory, reasoning about security, rewriting, type
systems and type theory, and verification.
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.
Invited Speakers:
* Naoki Kobayashi, Tohoku University
http://www.kb.ecei.tohoku.ac.jp/~koba/
* Andrei Krokhin, University of Durham
http://www.dur.ac.uk/andrei.krokhin/
* Toniann Pitassi, University of Toronto
http://www.cs.toronto.edu/~toni/
* Ashish Tiwari, SRI
http://www.csl.sri.com/users/tiwari/
Important Dates:
* Early registration ends 31 May 2011
* Conference: 2124 June 2011
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
Jose Desharnais, Univ. Laval, Qubec
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
Kleene Award for Best Student Paper:
An award in honour of the late S.~C.~Kleene will be given for the
best student paper, as judged by the program committee. Details
concerning eligibility criteria and procedure for consideration for
this award will be posted at the LICS website. The program committee
may decline to make the award or may split it among several papers.
Special Issue:
Full versions of upto 3 accepted papers, to be selected by the
program committee, will be invited for submission to the Journal of
the ACM. Additional selected papers will be invited to the special
issue of the open-access journal Logical Methods in Computer Science.
Affiliated Workshops:
As in previous years, there will be a number of workshops affiliated
with LICS 2011; information will be posted at the LICS website.
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 Fernndez, King's College London
Publicity Co-Chairs:
* Andrzej Murawski, Univ. of Leicester
* Stephan Kreutzer, Univ. of Oxford
Treasurer:
* Martn Escard, Univ. of Birmingham
General Chair:
* Rajeev Alur
Univ. of Pennsylvania, Philadelphia
alur@cis.upenn.edu
Organizing Committee:
Martn Abadi, Rajeev Alur (chair), Paul Beame, Maria Paola Bonacina,
Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martn Escard,
Maribel Fernndez, Lance Fortnow, Jrgen 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:
Martn 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
Sponsorship:
The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic, the European Association for
Theoretical Computer Science, and the Fields Institute.