Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Twenty-Ninth Annual IEEE Symposium on

Logic in Computer Science (LICS 2014)

2014-07-14 to 2014-07-18, Vienna, Austria

On this page:

Invited Speakers

Invited Papers

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Luke Ong
University of Oxford
luke.ong@cs.ox.ac.uk

Program Chair

Thomas A. Henzinger Dale A. Miller
IST Austria
INRIA & LIX

Publicity Chair

Andrzej Murawski
University of Warwick
a.murawski@warwick.ac.uk

Workshops Chair

Patricia Bouyer-Decitre
CNRS & ENS Cachan
bouyer@lsv.ens-cachan.fr

Program Committee:

Andrea Asperti (University of Bologna); Gilles Barthe (IMDEA); Andrej Bauer (IMFM); Lars Birkedal (Aarhus University); Krishnendu Chatterjee (IST Austria); Adriana Compagnoni (Stevens Institute of Technology); Valeria DePaiva (Nuance Communications); Laurent Doyen (ENS Cachan); Jacques Duparc (University of Lausanne); Maribel Fernández (King's College London); Herman Geuvers (Radboud University Nijmegen); Dan Ghica (University of Birmingham); Erich Grädel (RWTH Aachen University); Holger Hermanns (Saarland University); Neil Immerman (University of Mass. Amherst); Naoki Kobayashi (University of Tokyo); Laura Kovács (Chalmers University); Viktor Kuncak (EPFL); Salvatore La Torre (University of Salerno); Rupak Majumdar (MPI-SWS); Damiano Mazza (CNRS & University Paris-Nord); Joel Ouaknine (University of Oxford); Leszek Pacholski (University of Wroclaw); Nir Piterman (University of Leicester); Andrew Pitts (University of Cambridge); Andreas Podelski (University of Freiburg); R. Ramanujam (IMS Chennai); James Riely (DePaul University); Simona Ronchi Della Rocca (University of Torino); Amr Sabry (Indiana University); Tom Schrijvers (Ghent University); P. S. Thiagarajan (National University of Singapore); Alwen Tiu (Nanyang Technological University); Victor Vianu (University of California, San Diego); Igor Walukiewicz (CNRS & University of Bordeaux)

Organizing Committee

Martín Abadi; Luca Aceto; Rajeev Alur; Paul Beame; Maria PaolaBonacina; Patricia Bouyer-Decitre; Krishnendu Chatterjee; Adriana Compagnoni; Anuj Dawar; Nachum Dershowitz; Maribel Fernández; Martin Grohe; Orna Grumberg; Thomas A. Henzinger; Phokion Kolaitis; Orna Kupferman; Benoit Larose; Vlatko Lipovac; Dale Miller; Michael Mislove; Georg Moser; Andrzej Murawski; Luke Ong; Andre Scedrov; David Shmoys; Matt Valeriote

Advisory Board

Martín Abadi; Samson Abramsky; Rajeev Alur; Bob Constable; Thierry Coquand; Thomas Henzinger; Jean-Pierre Jouannaud; Phokion Kolaitis; Dexter Kozen; Dale Miller; John Mitchell; Prakash Panangaden; Andrew Pitts; Gordon Plotkin; Moshe Y. Vardi; Glynn Winskel


Last modified: 2017-04-0512:37
Andrzej Murawski