Highlights and changes for LICS 2012 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. 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. 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. 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 nachum@tau.ac.il 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 vlipovac@unidu.hr Andre Scedrov, Univ. of Pennsylvania scedrov@math.upenn.edu 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 Treasurer: Martín Escardó, Univ. of Birmingham General Chair: Rajeev Alur Univ. of Pennsylvania alur@cis.upenn.edu 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: Tutorials Jan Willem Klop and Jörg Endrullis Term Rewriting and Lambda Calculus (slides)   Andre Platzer Logics of Dynamical Systems (slides) Award Ceremony Kleene Award Christoph Berkholz Lower Bounds for Existential Pebble Games and k-Consistency Tests (photo)   Test-of-Time Awards Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine Symbolic model checking for real-time systems (photo) Jean-Pierre Talpin, Pierre Jouvelot The type and effect discipline (photo) Program Registration Local Organization Accepted Papers Affiliated Workshops June 24 (Sunday) Logic and Computational Complexity (LCC '12) Syntax and Semantics of Low-Level Languages (LOLA '12) June 29 (Friday) Algorithmics on Infinite-State Systems (AISS'12) Games for Logic and Programming Languages (GALOP '12) Intersection Types and Related Systems (ITRS'12) Logic and Systems Biology (LSB'12) Call for Short Presentations and Posters  (Deadline: 15 April 2012) Call for Papers Submission instructions, style files for preparing a submission, and a link to the LICS 2012 submission site can be found here.   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.