CSL-LICS Program Committee
The program committee of CSL-LICS 2014 is shown below.
- Andrea Asperti (Department of Computer Science, University of Bologna)
- Gilles Barthe (IMDEA Software Institute)
- Andrej Bauer (University of Ljubljana)
- Lars Birkedal (Dept. of Computer Science, Aarhus University)
- Krishnendu Chatterjee (Institute of Science and Technology (IST))
- Adriana Compagnoni (Stevens Institute of Technology)
- Valeria De Paiva (University of Birmingham)
- Laurent Doyen (LSV, ENS Cachan & CNRS)
- Jacques Duparc (University of Lausanne)
- Maribel Fernandez (KCL)
- Herman Geuvers (Radboud University Nijmegen)
- Dan Ghica (university of birmingham)
- Erich Grädel (RWTH Aachen University)
- Thomas Henzinger (IST Austria) - chair
- Holger Hermanns (Saarland University)
- Neil Immerman (UMass Amherst)
- Naoki Kobayashi (University of Tokyo)
- Laura Kovacs (Chalmers University of Technology)
- Viktor Kuncak (EPFL)
- Salvatore La Torre (Dipartimento di Informatica, Università degli studi di Salerno)
- Rupak Majumdar (MPI-SWS)
- Damiano Mazza (CNRS, UMR 7030, LIPN, Université Paris 13, Sorbonne Paris Cité)
- Dale Miller (INRIA and LIX/Ecole Polytechnique) - chair
- Joel Ouaknine (Oxford University)
- Leszek Pacholski (Wroclaw University)
- Nir Piterman (University of Leicester)
- Andrew Pitts (University of Cambridge)
- Andreas Podelski (University of Freiburg)
- R. Ramanujam (Institute of Mathematical Sciences, Chennai)
- James Riely (DePaul University)
- Simona Ronchi Della Rocca (Universita' di Torino - dipartimento di Informatica)
- Amr Sabry (Indiana University)
- Tom Schrijvers (Ghent University)
- P S Thiagarajan (National University of Singapore)
- Alwen Tiu (The Australian National University)
- Victor Vianu (UC San Diego)
- Igor Walukiewicz (CNRS, LaBRI)