PROGRAM COMMITTEE CHAIRS

• Patricia Bouyer, CNRS, France
• Jaco van de Pol, Aarhus University, Denmark

PROGRAM COMMITTEE

• Luca Aceto, Reykjavik University, Iceland, and Gran Sasso Science Institute, Italy
• Guy Avni, University of Haifa, Israel
• Ezio Bartocci, TU Wien, Austria
• Michael Blondin, Université de Sherbrooke, Canada
• Patricia Bouyer (chair), CNRS, France
• Janna Burman, Université Paris-Saclay, France
• Michaël Cadilhac, DePaul University, USA
• Pedro R. D'Argenio, Universidad Nacional de Córdoba, Argentina
• Josee Desharnais, Laval University, Canada
• Pierre Ganty, IMDEA Software Institute, Spain
• Rob van Glabbeek, University of Edinburgh, UK
• Christoph Haase, University of Oxford, UK
• Tingting Han, Birkbeck, University of London, UK
• Sebastian Junges, Radboud University, The Netherlands
• Jan Kretinsky, Masaryk University, Czech Republic
• S Krishna, IIT Bombay, India
• Sławomir Lasota, University of Warsaw, Poland
• Rupak Majumdar, Max Planck Institute for Software Systems, Germany
• Paul-André Melliès, CNRS, Université de Paris Cité, France
• Benjamin Monmege, Aix-Marseille Université, France
• Wojciech Penczek, Polish Academy of Sciences, Poland
• Nir Piterman, University of Gothenburg, Sweden
• Jaco van de Pol (chair), Aarhus University, Denmark
• Mickael Randour, F.R.S.-FNRS & Université de Mons, Belgium
• Ana Sokolova, University of Salzburg, Austria
• B Srivathsan, Chennai Mathematical Institute, India
• Marielle Stoelinga, University of Twente, The Netherlands
• Bow-Yaw Wang, Academia Sinica, Taiwan
• Dominik Wojtczak, University of Liverpool, UK
• Zhilin Wu, Chinese Academy of Sciences, China
• Mingsheng Ying, University of Technology Sydney, Australia
• Martin Zimmermann, Aalborg University, Denmark

STEERING COMMITTEE

• Luca Aceto
• Christel Baier
• Pedro R. D’Argenio
• Wan Fokkink, chair
• Catuscia Palamidessi
• Jiri Srba