Committees
Program Chairs
Program Committee
- Guy Avni (University of Haifa, Israel)
- Kyungmin Bae (Pohang University of Science and Technology, Korea)
- Roberto Bagnara (University of Parma, Italy)
- Ezio Bartocci (TU Vienna, Austria)
- Sergiy Bogomolov (Newcastle University, UK)
- Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
- Krishnendu Chatterjee (IST Austria, Austria)
- Bernd Finkbeiner (CISPA Helmholtz Center for Information Security, Germany)
- Miriam García Soto (Complutense University of Madrid, Spain)
- Mirco Giacobbe (University of Birmingham, UK)
- Arnd Hartmanns (University of Twente, Netherlands)
- Klaus Havelund (Jet Propulsion Laboratory, USA)
- Gerard Holzmann (Nimble Research, USA)
- Taylor T. Johnson (Vanderbilt University, USA)
- Bernhard Kragl (AWS, Austria)
- Axel Legay (University of Louvain, Belgium)
- Stefan Leue (University of Konstanz, Germany)
- Anna Lukina (TU Delft, Netherlands)
- Sergio Mover (École Polytechnique, France)
- Rajagopal Nagarajan (Middlesex University, UK)
- Daniel Neider (University of Oldenburg, Germany)
- Corina Pasareanu (NASA Ames & CMU, USA)
- Doron Peled (Bar Ilan University, Israel)
- Andreas Podelski (University of Freiburg, Germany)
- Christian Schilling (Aalborg University, Denmark)
- Natasha Sharygina (University of Lugano, Switzerland)
- Jiri Srba (Aalborg University, Denmark)
- Michael Tautschnig (AWS & Queen Mary University of London, UK)
- Georg Weissenbacher (TU Vienna, Austria)
Steering Committee