Committees

PC Chairs

• Rupak Majumdar, Max-Planck institute for Sofware Systems, Germany
• Alexandra Silva, Cornell, USA

Program committee

• Alessandro Abate, Oxford
• Alexandra Silva chair, Cornell University
• Andreas Pavlogiannis, Aarhus
• Antonín Kucera, Masaryk University
• Ashutosh Trivedi, UC Boulder
• Barbara König, University of Duisburg-Essen
• Benjamin Kaminski, Saarland University
• Cinzia Di Giusto, Univ of Nice
• Colin Gordon, Drexel University
• Constantin Enea, Ecole Polytechnique, France
• Dan Ghica, Huawei
• Dana Fisman, Ben-Gurion University
• Daniele Gorla, University of Rome La Sapienza
• Davide Sangiorgi, University of Bologna
• Emmanuele d’Osualdo, University of Konstanz
• Frits Vaandrager, Radboud University
• Guillermo Pérez, University of Antwerp
• Ilaria Castellani, INRIA Sophia-Antipolis
• James Worrell, Oxford
• Jana Wagemaker, Reykjavik
• Kirstin Peters, Augsburg University
• Klaus v. Gleissenthall, Vrije Uni Amsterdam
• Michele Boreale, University of Florence
• Nadia Labai, AWS
• Orna Kupferman, Hebrew University
• Roland Meyer, TU Braunschweig
• Rupak Majumdar chair, Max Planck Institute for Software Systems
• S Akshay, Indian Institute of Technology Bombay
• Sadegh Soudjani, Max Planck Institute for Software Systems
• Sebastian Junges, Radboud University, Nijmegen
• Stefan Milius, FAU Erlangen-Nürnberg
• Subhajit Roy, IIT Kanpur
• Thejaswini K.S., ISTA
• Umang Mathur, National University of Singapore
• Valeria Vignudelli, ENS Lyon
• Yu-Fang Chen, Academica Sinica Taiwan

Steering committee

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