General Chair
- Ezio Bartocci, TU Wien, Austria
Program Chairs
- Bettina Könighofer, Graz University of Technology, Austria
- Hazem Torfah, Chalmers University of Technology, Sweden
Local Chair
- Roderick Bloem, Graz University of Technology, Austria
Publicity Chair
- Martin Tappler, TU Wien, Austria
PC Members
- Houssam Abbas, Oregon State University
- Erika Abraham, RWTH Aachen University
- Borzoo Bonakdarpour, Michigan State University
- Francesca Cairoli, University of Trieste
- Chih-Hong Cheng, Chalmers University of Technology
- Michele Chiari, TU Wien
- Thao Dang, CNRS
- Jyotirmoy V. Deshmukh, University of Southern California
- Ylies Falcone, Université Grenoble Alpes
- Chuchu Fan, MIT
- Marie Farrell,The University of Manchester
- Bernd Finkbeiner, CISPA Helmholtz Center for Information Security
- Daniel J. Fremont, University of California, Santa Cruz
- Klaus Havelund, NASA’s Jet Propulsion Laboratory
- Bardh Hoxha, Toyota Research Institute North America
- Sebastian Junges, Radboud University
- Violet Ka I Pun, Western Norway University of Applied Sciences
- Michaela Klauck, Bosch
- Jan Kretinsky, Masaryk University Brno
- Kim Guldstrand Larsen, Aalborg University
- Martin Leucker, University of Luebeck
- Konstantinos Mamouras, Rice University
- Umang Mathur, National University of Singapore
- Anastasia Mavridou, KBR / NASA Ames Research Center
- Stefan Mitsch, DePaul University
- Laura Nenzi, University of Trieste
- Dejan Nickovic, Austrian Institute of Technology AIT
- Gordon Pace, University of Malta
- Nicola Paoletti, King’s College London
- Corina Pasareanu, Carnegie Mellon University Silicon Valley, NASA Ames
- Doron Peled, Bar Ilan University
- Cesar Sanchez, IMDEA Software Institute
- Gerardo Schneider, Chalmers University of Technology and University of Gothenburg
- Sanjit A. Seshia, UC Berkeley
- Oleg Sokolsky, University of Pennsylvania
- Dmitriy Traytel, University of Copenhagen
- Masaki Waga, Kyoto University
- Changshun Wu, Université Grenoble Alpes
- Teng Zhang, Aptos Labs
Steering Committee
- Ezio Bartocci, TU Wien
- Yliès Falcone, Univ. Grenoble Alpes
- Klaus Havelund, NASA’s Jet Propulsion Laboratory
- Martin Leucker, University of Lübeck
- Oleg Sokolsky, University of Pennsylvania