Logic List Mailing Archive

CfPart: LICS 2011

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.