Lics

IEEE Symposium on Logic in Computer Science

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

Thirtieth Annual IEEE Symposium on

Logic in Computer Science (LICS 2015)

2015-07-06 to 2015-07-10, Kyoto, Japan

On this page:

Invited Speakers

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

Catuscia Palamidessi
INRIA & E. Polytechnique

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:

Pablo Barceló (U. Chile); Gilles Barthe (IMDEA); Andrej Bauer (IMFM); Lev Beklemishev (Russian Ac. of Sci.); Patricia Bouyer-Decitre (CNRS & ENS Cachan); Adam Chlipala (MIT); Agata Ciabattoni (TU Wien); Véronique Cortier (CNRS Loria); Pedro D'Argenio (UN Cordoba); Anuj Dawar (U. Cambridge); Mariangiola Dezani-Ciancaglini (U. Torino); Yuxi Fu (SJTU); Rob van Glabbeek (NICTA); Ichiro Hasuo (U. Tokyo); Martin Hofmann (LMU); Delia Kesner (U. Paris Diderot); Barbara König (U. Duisburg-Essen); Laura Kovács (Chalmers UT); Dexter Kozen (Cornell U.); Manfred Kufleitner (U. Stuttgart); Anthony W. Lin (Yale-NUS College); Simone Martini (U. Bologna); Madhavan Mukund (Chennai Math. Inst.); Filip Murlak (U. Warsaw); Gopalan Nadathur (U. Minnesota); Frank Pfenning (CMU); Ian Pratt-Hartmann (U. Manchester); Albert Rubio (U. Barcelona); Peter Selinger (Dalhousie U.); Alexandra Silva (Radboud U.); Tachio Terauchi (JAIST); Bow-Yaw Wang (Academia Sinica)

Organizing Committee

Martín Abadi; Luca Aceto; Rajeev Alur; Maria PaolaBonacina; Patricia Bouyer-Decitre; Krishnendu Chatterjee; Adriana Compagnoni; Anuj Dawar; Nachum Dershowitz; Maribel Fernández; Martin Grohe; Orna Grumberg; Masahito Hasegawa; Thomas A. Henzinger; Phokion Kolaitis; Orna Kupferman; Benoit Larose; Dale Miller; Michael Mislove; Andrzej Murawski; Luke Ong; Catuscia Palamidessi; Prakash Panangaden; Kristoffer Rose; 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