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