- Chairs
- Nikolaj Bjorner, Microsoft, Redmond, USA
- Tudor Jebelean, Johannes Kepler University, Linz, Austria
- Laura Kovacs, Technical University of Vienna, Austria
- Topics
- automatic reasoning
- formal system verification
- formal verification and synthesis
- software quality assessment
- static analysis
- timing analysis
- PC members
- Stefan Andrei, Lamar University, USA
- Sebastien Bardin, CEA LIST, France
- Constantin Enea, IRIF, University Paris Diderot, France
- Mădălina Erașcu, Institute e-Austria Timișoara and West University of Timișoara, Romania
- Cezary Kaliszyk, University of Innsbruck, Austria
- Benjamin Kiesl, CISPA Helmholtz Center for Information Security, Germany
- Boris Konev, University of Liverpool, UK
- Gergely Kovásznai, Eszterházy Károly University, Eger, Hungary
- Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
- Dorel Lucanu, Alexandru Ioan Cuza University, Romania
- Kuldeep S. Meel, National University of Singapore, Singapore
- Zvonimir Rakamaric, University of Utah, USA
- Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
- Ana Sokolova, University of Salzburg, Austria
- Sorin Stratulat, Université de Lorraine, Metz, France
- Martin Suda, Czech Technical University, Czech Republic
- Alexander J. Summers, ETH Zurich, Switzerland
- Jun Sun, Singapore University of Technology and Design, Singapore
- Tjark Weber, Uppsala University, Sweden
- Damien Zufferey, MPI-SWS, Germany