Twenty-Seventh Annual ACM/IEEE Symposium on


June 25–28, 2012, Dubrovnik, Croatia

Highlights and changes for LICS 2012

  1. Starting 2012, LICS is jointly organized by ACM and IEEE, and is cosponsored by ACM SIGACT and the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
  2. In response to concerns about LICS becoming overly selective with a too-narrow technical focus, the program committee will employ a merit-based selection with no a priori limit on the number of accepted papers.
  3. LICS 2012 will continue the tradition of pre-conference tutorials that was initiated in 2011. This year, Jan Willem Klop will give a tutorial on term rewriting systems and Andre Platzer will give a tutorial on logics of dynamical systems.
  4. Special Events and Invited Lectures: There will be an invited lecture by Robert J. Aumann, winner of the 2005 Nobel Prize in Economic Sciences, and a plenary session in honor of Alan Turing on the occasion of his centenary, with talks by Robert L. Constable, E. Allen Emerson (co-winner of 2008 A. M. Turing Award), Joan Feigenbaum, and Leonid Levin.

Program Chair:
Nachum Dershowitz, Tel Aviv University

Program Committee:
Christel Baier, Dresden Univ. of Technology
Lev Beklemishev, Steklov Inst. of Mathematics
Andreas Blass, Univ. of Michigan
Manuel Bodirsky, École Polytechnique
Mikołaj Bojańczyk, Warsaw Univ.
Ahmed Bouajjani, Univ. Paris Diderot
Patricia Bouyer-Decitre, CNRS
Andrei Bulatov, Simon Fraser Univ.
Hubert Comon-Lundh, ENS Cachan
Anuj Dawar, Univ. of Cambridge
Gilles Dowek, INRIA
Martín Escardó, Univ. of Birmingham
Maribel Fernández, King's College London
Rob van Glabbeek, NICTA
Rosalie Iemhoff, Utrecht Univ.
Neil Immerman, UMass, Amherst
Max Kanovich, Queen Mary, Univ. of London
Naoki Kobayashi, Tohoku Univ.
Orna Kupferman, Hebrew Univ.
Marta Kwiatkowska, Univ. of Oxford
Olivier Laurent, CNRS - ENS Lyon
Richard Mayr, Univ. of Edinburgh
Andrzej Murawski, Univ. of Leicester
David Plaisted, Univ. North Carolina, Chapel Hill
Davide Sangiorgi, Univ. of Bologna

Conference Chairs:

Vlatko Lipovac, Univ. of Dubrovnik
Andre Scedrov, Univ. of Pennsylvania

Workshops Chairs:
Adriana Compagnoni, Stevens Inst. of Technology
Maribel Fernández, King's College London

Publicity Chairs:
Stephan Kreutzer, Berlin Inst. of Technology
Andrzej Murawski, Univ. of Leicester

Martín Escardó, Univ. of Birmingham

General Chair:
Rajeev Alur
Univ. of Pennsylvania

Organizing Committee:
Martín Abadi, Rajeev Alur (chair), Franz Baader, Paul Beame, Samuel Buss, Edmund Clarke, Adriana Compagnoni, Nachum Dershowitz, Martín Escardó, Maribel Fernández, Lance Fortnow, Jürgen Giesl, Martin Grohe, Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit Larose, Vlatko Lipovac, Johann Makowsky, Michael Mislove, Burkhard Monien, Andrzej Murawski, Andre Scedrov, Philip Scott, Matt Valeriote

Advisory Board:
Martín Abadi, Samson Abramsky, Yuri Gurevich, Thomas Henzinger, Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John Mitchell, Luke Ong, Leszek Pacholski, Prakash Panangaden, Gordon Plotkin, Andre Scedrov, Moshe Vardi, Glynn Winskel

LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

LICS 2012 will be hosted by the Department for Electrical Engineering and Computing at the University of Dubrovnik in Dubrovnik, Croatia, from June 25th to 28th, 2012.

The Sunday evening reception will be held on Sunday, June 24, 6:30 - 8:30 pm in Hotel Valamar Lacroma Dubrovnik, Iva Dulcica 34, 20000 Dubrovnik, Croatia.

View Venues for LICS 2012 in a larger map.

More information on LICS 2012:


Important dates:

  • Titles & Short Abstracts Due: January 6, 2012
  • Extended Abstracts Due: January 13, 2012 (11:59pm PST)
  • Author Notification: March 25, 2012
  • Final Versions Due for Proceedings: April 29, 2012
  • Conference:   June 25–28, 2012


The symposium is cosponsored by ACM SIGACT and the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic. We are also thankful to Microsoft Research Cambridge for financial support.


Back to the LICS webpage.