Program Committee

• Mohamed Faouzi Atig (Uppsala University, Sweden)
• Laura Bozzelli (University of Napoli “Federico II”, Italy)
• Michaël Cadilhac (DePaul University, USA)
• Dmitry Chistikov (University of Warwick, UK)
• Rayna Dimitrova (CISPA Helmholtz Center for Information Security, Germany)
• Kyveli Doveri (University of Warsaw, Poland)
• Cezara Drăgoi (AWS, France)
• Hadar Frenkel (Bar Ilan University, Israel)
• Moses Ganardi (MPI-SWS, Germany)
• Pierre Ganty (IMDEA Software Institute, Spain) co-chair
• Piotrek Hofman (University of Warsaw, Poland)
• Lukáš Holík (Aalborg University, Denmark & Brno University of Technology, CZ)
• George Kenison (Liverpool John Moores University, UK)
• Sandra Kiefer (University of Oxford, UK)
• Rupak Majumdar (MPI for Software Systems, Germany)
• Kaushik Mallik (IMDEA Software Institute, Spain)
• Alessio Mansutti (IMDEA Software Institute, Spain) co-chair
• Joshua Moerman (Open Universiteit, Netherlands)
• Guillermo Perez (University of Antwerp, Belgium)
• Igor Potapov (University of Liverpool, UK)
• Gabriele Puppis (University of Udine, Italy)
• Andrew Ryzhikov (University of Warsaw, Poland)
• Mahsa Shirmohammadi (CNRS & IRIF, France)
• Mikhail Starchak (St. Petersburg University, Russia)
• Andrea Turrini (Institute of Software, Chinese Academy of Sciences, China)
• Chana Weil-Kennedy (CEA List, France)
• Sarah Winkler (Free University of Bozen-Bolzano, Italy)
• Sarah Winter (IRIF, France)
• Martin Zimmerman (Aalborg University, Denmark)

Organising Committee

• Pierre Ganty, IMDEA Software Institute
• Alessio Mansutti, IMDEA Software Institute

Steering Committee

• Parosh Aziz Abdulla (SE)
• Olivier Bournez (FR)
• Vesa Halava (FI)
• Alain Finkel (FR)
• Oscar Ibarra (USA)
• Juhani Karhumaki (FI)
• Jérôme Leroux (FR)
• Joël Ouaknine (DE)
• Igor Potapov (UK)
• James Worrell (UK)

Technical Support

• The Technical Staff of IMDEA Software Institute