Organisation
Program chairs
Steering Committee
Program Committee
- Erika Ábrahám (RWTH Aachen University, GER)
- Jiří Barnat (Masaryk University, CZE)
- Dragan Bošnački (Eindhoven University of Technology, NED)
- Aleksandar Dimovski (IT University of Copenhagen, DEN)
- Stefan Edelkamp (University of Bremen, GER)
- Bernd Fischer (Stellenbosch University, RSA)
- Jaco Geldenhuys (Stellenbosch University, RSA)
- Alex Groce (Oregon State University, USA)
- Jan Friso Groote (Eindhoven University of Technology, NED)
- Gerard Holzmann (NASA/JPL, USA)
- Franjo Ivančić (Google, USA)
- Alfons Laarman (Technical University of Vienna, AUT)
- Stefan Leue (University of Konstanz, GER)
- Alberto Lluch Lafuente (Technical University of Denmark, DEN)
- Radu Mateescu (INRIA Rhône-Alpes, FRA)
- Eric Mercer (Brigham Young University, USA)
- Pedro Merino (University of Málaga, ESP)
- Alice Miller (University of Glasgow, UK)
- Jun Pang (University of Luxembourg, LUX)
- Corina Pasareanu (Carnegie Mellon University / NASA Ames Research Center, USA)
- Theo Ruys (RUwise, NED)
- Jun Sun (Singapore University of Technology and Design, SIN)
- Michael Tautschnig (Queen Mary University of London, UK)
- Mohammad Torabi Dashti (ETH Zürich, SUI)
- Antti Valmari (Tampere University of Technology, FIN)
- Martin Wehrle (University of Basel, SUI)
- Anton Wijs (Eindhoven University of Technology, NED)