Program committee
- Parosh Aziz Abdulla, Uppsala University, Sweden
- C. Aiswarya, Chennai Mathematical Institute, India
- Guy Avni, University of Haifa, Israel
- Christel Baier, TU Dresden, Germany
- Suguman Bansal, Georgia Institute of Technology, USA
- Michael Blondin, Université de Sherbrooke, Canada
- Michaël Cadilhac, DePaul University, USA
- Pablo Castro, Universidad Nacional de Rio Cuarto, Argentina
- Supratik Chakraborty, IIT Bombay, India
- Laure Daviaud, City, University London, UK
- Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany
- Dana Fisman, Ben-Gurion University, Israel
- Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands
- Pierre Ganty, IMDEA Software Institute, Spain
- Raffaella Gentilini, University of Perugia, Italy
- Christoph Haase, University of Oxford, UK
- Marieke Huisman, University of Twente, Netherlands
- Karoliina Lehtinen, CNRS, Aix-Marseille University, France
- Anna Lukina, TU Delft, Netherlands
- P. Madhusudan, University of Illinois at Urbana-Champaign, USA
- Sjouke Mauw, University of Luxembourg, Luxemburg
- Richard Mayr, The University of Edinburgh, UK
- Filip Mazowiecki, University of Warsaw, Poland
- Anca Muscholl, LaBRI, France
- Petr Novotný, Masaryk University, Czechia
- Guillermo A. Pérez, University of Antwerp, Belgium (chair)
- Karin Quaas, University of Leipzig, Germany
- Jean-François Raskin, Université libre de Bruxelles, Belgium (chair)
- Nathalie Sznajder, Sorbonne Université, France
- Bow-Yaw Wang, Academia Sinica, Taiwan
- Zhilin Wu, Chinese Academy of Sciences, China
- Sergio Yovine, CONICET-UBA, Argentina
- Martin Zimmermann, Aalborg University, Denmark
Steering committee
- Javier Esparza, TU München, Germany (chair)
- Pedro D’Argenio, National University of Cordoba, Argentina
- Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
- Joost-Pieter Katoen, RWTH, Germany
- Catuscia Palamidessi, INRIA and Ecole Polytechnique, France
- Davide Sangiorgi, University of Bologna, Italy
- Jiri Srba, Aalborg University, Denmark