Committees

Organising committee

Program committee

  • Mohamed Faouzi Atig (Uppsala University)
  • Nicolas Basset  (Verimag, University of Grenoble Alpes)
  • Marie Duflot-Kremer (LORIA, Nancy, France)
  • Nathanaël Fijalkow (CNRS, LaBRI, University of Bordeaux)
  • Pierre  Ganty    (IMDEA Software Institute)
  • Matthias Heizmann (University of Freiburg)
  • Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)
  • Barbara Jobstmann (EPFL, Lausanne, Switzerland)
  • Stefan  Kiefer    (University of Oxford)
  • Nicola  Paoletti    (University of London)
  • Pierre-Alain Reynier    (Aix-Marseille Université)
  • Philipp Ruemmer    (Uppsala University)
  • Ocan Sankur    (CNRS, IRISA, Rennes)
  • Sylvain Schmitz    (Université de Paris)
  • Tomas Vojnar (Brno University of Technology)

Steering committee

  • Nathalie Bertrand (Inria Rennes-Bretagne Atlantique, Rennes, France)​
  • Benedikt Bollig (LSV, CNRS, ENS Paris-Saclay)
  • Giorgio Delzanno (DIBRIS, Università di Genova, Italy)
  • Didier Lime (LS2N, École Centrale de Nantes, France)
  • Christof Löding (RWTH Aachen, Germany)
  • Nicolas Markey (CNRS, Université Rennes, France)​​