Committee

General Chair

  • Daniele Gorla, Università di Roma “La Sapienza”, Italy

Steering Committee

  • M. Abadi
  • L. Aceto
  • C. Baier
  • F. Blanqui
  • P. Bouyer
  • A. Bulatov
  • A. Dawar
  • D. Gorla
  • 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

LICS Publicity and Proceedings Chair

Workshops Chair

  • Frédéric Blanqui (INRIA)

Program Committee Chair

  • Leonid Libkin (Univ. of Edinburgh/ENS-Paris)

Program Committee

  • Christoph Berkholz (Humboldt-University Berlin)
  • Meghyn Bienvenu (CNRS, University of Bordeaux)
  • Filippo Bonchi (University of Pisa)
  • Véronique Bruyère (University of Mons)
  • Yu-Fang Chen (Academia Sinica)
  • Dmitry Chistikov (University of Warwick)
  • Silvia Crafa (University of Padova)
  • Amina Doumane (CNRS-ENS de Lyon)
  • Stéphanie Delaune (University Rennes, CNRS, IRISA)
  • Ekaterina Fokina (TU Wien)
  • Marco Gaboardi (Boston University)
  • Adria Gascon (Google UK)
  • Lauri Hella (Tampere University)
  • Ekaterina Komendantskaya (Heriott-Watt University)
  • Benoit Larose (UQAM, Montréal)
  • Jérôme Leroux (CNRS, University of Bordeaux)
  • Wim Martens (University of Bayreuth)
  • Peter O’Hearn (UCL/Facebook)
  • Daniela Petrisan (Université de Paris, CNRS, IRIF)
  • Miguel Romero (Universidad Adolfo Ibáñez)
  • Philippe Schnoebelen (CNRS & ENS Paris-Saclay)
  • Olivier Serre (Université de Paris, CNRS, IRIF)
  • Sebastian Siebertz (University of Bremen)
  • Kristina Sojakova (INRIA)
  • Alwen Tiu (Australian National University)
  • Patrick Totzke (University of Liverpool)
  • Szymon Torunczyk (University of Warsaw)
  • Takeshi Tsukada (University of Tokyo)
  • Jamie Vicary (University of Cambridge)
  • Michael Zakharyaschev (Birkbeck)
  • Anna Zamansky (Haifa University)
  • Georg Zetzsche (Max Planck Institute for Software Systems)
  • Thomas Zeume (Ruhr-Universität Bochum)