Alessio Mansutti | IMDEA Software Institute |
Andreas Pieris | University of Cyprus & University of Edinburgh |
Andrei Bulatov | Simon Fraser University |
Anne-Kathrin Schmuck | Max Planck Institute for Software Systems |
C Aiswarya | Chennai Mathematical Institute |
Cameron Freer | Massachusetts Institute of Technology |
Cécilia Pradic | Swansea University |
David Baelde | Univ Rennes, IRISA, CNRS |
Di Wang | Peking University |
Dmitry Chistikov | University of Warwick |
Giorgio Bacci | Aalborg University |
Giuseppe Castagna | CNRS - Université Paris Cité |
Henning Urbat | Friedrich-Alexander-Universität Erlangen-Nürnberg |
Ichiro Hasuo | National Institute of Informatics |
Igor Potapov | University of Liverpool |
Jan Křetínský | Masaryk University Brno / Technische Universität München |
Joël Ouaknine chair | Max Planck Institute for Software Systems |
Justin Hsu | Cornell University |
Laure Daviaud | University of East Anglia |
Lijung Zhang | Institute of Software, Chinese Academy of Sciences |
Michael Benedikt | Oxford University |
Michał Skrzypczak | University of Warsaw |
Nathanaël Fijalkow | CNRS, LaBRI, Bordeaux |
Nick Benton | Meta (UK) |
Nikhil Balaji | IIT Delhi |
Nobuko Yoshida | University of Oxford |
Olivier Carton | Université de Paris |
Pablo Barcelo | Catholic University of Chile |
Rob van Glabbeek | University of Edinburgh |
S. Akshay | IIT Bombay |
Sasha Rubin | University of Sydney |
Stephan Kreutzer | TU Berlin |
Szymon Toruńczyk | University of Warsaw |
Udi Boker | Reichman University |
Véronique Bruyère | University of Mons (UMONS) |