Program Chair:
Orna Kupferman,
Hebrew University
orna@cs.huji.ac.il
Program Committee:
Parosh A. Abdulla,
Uppsala University
Amal Ahmed,
Northeastern University
Sergei Artemov,
City University of New York
Andrei Bulatov,
Simon Fraser University
Yijia Chen,
Shanghai Jiao Tong University
Véronique Cortier,
CNRS, Loria
Mariangiola Dezani-Ciancaglini,
Univ. di Torino
Thomas Ehrhard,
CNRS, Université Paris Diderot
Javier Esparza,
Technische Universität München
Kousha Etessami,
University of Edinburgh
Maribel Fernandez,
King's College London
Santiago Figueira,
University of Buenos Aires
Simon Gay,
University of Glasgow
Martin Grohe,
Humboldt-Universität zu Berlin
Martin Hofmann,
LMU Munich
Petr Jancar,
Technical University Ostrava
Barbara Jobstmann,
CNRS, Verimag, Jasper DA
Patricia Johann,
University of Strathclyde
Bakhadyr Khoussainov,
University of Auckland
Antonina Kolokolova,
University of Newfoundland
Victor Marek,
University of Kentucky
Angelo Morzenti,
Politecnico di Milano
Lawrence Moss,
Indiana University
Madhavan Mukund,
Chennai Math. Institute
Anca Muscholl,
Université Bordeaux
Mogens Nielsen,
Aarhus University
Catuscia Palamidessi,
INRIA, Ecole Polytechnique
Luc Segoufin,
INRIA, ENS Cachan
Natarajan Shankar,
SRI International
Alexandra Silva,
Radboud University Nijmegen
Balder ten Cate,
UC Santa Cruz
Kazushige Terui,
Kyoto University
Ron van der Meyden,
Univ. of New South Wales
Jeannette M. Wing,
Carnegie Mellon University
Nobuko Yoshida,
Imperial College London
Conference Chair:
Mike Mislove, Tulane University
mislove@tulane.edu
Workshops Chair:
Patricia Bouyer-Decitre,
CNRS, ENS Cachan
Publicity Chair:
Andrzej
Murawski, Univ. of Warwick
General Chair:
Luke Ong,
University of Oxford
luke.ong@cs.ox.ac.uk
Organizing Committee:
Martín Abadi,
Luca Aceto,
Rajeev Alur,
Franz Baader,
Paul Beame,
Patricia Bouyer-Decitre,
Adriana Compagnoni,
Anuj Dawar,
Nachum Dershowitz,
Martín Escardó,
Maribel Fernández,
Martin Grohe,
Orna Grumberg,
Jean-Pierre Jouannaud,
Phokion Kolaitis,
Orna Kupferman,
Benoit Larose,
Vlatko Lipovac,
Michael Mislove,
Georg Moser,
Andrzej Murawski,
Luke Ong (chair),
Andre Scedrov,
Philip Scott,
David Shmoys,
Matt Valeriote
Advisory Board:
Martín Abadi,
Samson Abramsky,
Rajeev Alur,
Bob Constable,
Thierry Coquand,
Thomas Henzinger,
Phokion Kolaitis,
Dexter Kozen,
Dale Miller,
John Mitchell,
Prakash Panangaden,
Andrew Pitts,
Gordon Plotkin,
Moshe Vardi,
Glynn Winskel
|
|
LICS is
an annual international forum on topics that lie at the intersection of
computer science and mathematical logic.
LICS 2013 will be held in New Orleans on the campus of
Tulane University, and will be collocated with MFPS and CSF.
Tutorials (June 24)
- Hubert Comon-Lundh. Logic In Computer Security: Some attacker's models and related decision problems (abstract)
- Jan Rutten. Automata and the algebra-coalgebra duality:
on varieties and covarieties, on transition monoids
and their dual (abstract)
Invited Speakers
LICS 2013 will feature invited lectures by Rajeev Alur, Joseph Halpern (with CSF), Nancy Lynch and
Prakash Panangaden. It will also include a special session to mark the 80th birthday of Dana
Scott, which will have the following invited speakers: Andrew Pitts, Steve
Awodey, Andrej Bauer, Robert Harper, and Dana Scott.
-
Affiliated Workshops
-
- June 28-29 (Friday-Saturday)
-
- June 29 (Saturday)
-
-
Program
Test-of-Time Awards
-
Leo Bachmair, Harald Ganzinger and Uwe Waldmann. Set constraints are the monadic class
-
André Joyal, Mogens Nielsen and Glynn Winskel. Bisimulation via open maps
-
Benjamin C. Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes
|
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 and the European Association for
Theoretical Computer Science.
Back to the LICS webpage.
|