Committees

Program Committee

  • Andreas Abel, Gothenburg University, Sweden
  • Steve Awodey, Carnegie Mellon University, USA
  • Christel Baier, TU Dresden, Germany
  • Supratik Chakraborty, IIT Bombay, India
  • Yijia Chen, Fudan University, China
  • Pierre Clairambault, CNRS & ENS Lyon, France
  • Ugo Dal Lago, University of Bologna & INRIA, Italy
  • Laure Daviaud, City, University of London, UK
  • Anuj Dawar, University of Cambridge, UK
  • Josée Desharnais, Université Laval, Canada
  • Jörg Endrullis, Vrije Universiteit Amsterdam, NL
  • Emmanuel Filiot, Université Libre de Bruxelles, Belgium
  • Rob van Glabbeek, Data61, CSIRO, Sydney, Australia
  • Emmanuel Jeandel, Université de Lorraine, France
  • Bakhadyr Khoussainov, The University of Auckland, New Zealand
  • Hélène Kirchner, INRIA, France
  • Naoki Kobayashi, The University of Tokyo, Japan
  • Antonina Kolokolova, Memorial University of Newfoundland, Canada
  • Orna Kupferman, Hebrew University, Israel
  • Radu Mardare, University of Strathclyde, UK
  • David Monniaux, CNRS & University of Grenoble, France
  • Joanna Ochremiak, CNRS & University of Bordeaux, France
  • Valeria de Paiva, Samsung Research America and University of Birmingham, USA
  • Elaine Pimentel, UFRN, Brazil
  • André Platzer, Carnegie Mellon University, USA
  • Davide Sangiorgi, University of Bologna & INRIA, Italy
  • Alex Simpson, University of Ljubljana, Slovenia
  • Pawel Sobocinski, Tallinn University of Technology, Estonia
  • Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
  • Sam Staton, University of Oxford, UK
  • Christine Tasson, Université de Paris, IRIF, France
  • Makoto Tatsuta, National Institute of Informatics, Japan
  • Igor Walukiewicz, CNRS & University of Bordeaux,France
  • James Worrell, University of Oxford, UK

Steering Committee

M. Abadi, L. Aceto, C. Baier, F. Blanqui, P. Bouyer, A. Bulatov, A. Dawar, E. Grädel, M. Grohe, A. Ingólfsdóttir, N. Kobayashi, A. McIver, D. Miller (chair), L. Ong, J. Ouaknine, F. Pfenning, A. Silva, S. Staton, L. Zhang

Publicity and Proceedings