- Chairs
- Nikolaj Bjorner, Microsoft, Redmond, USA
- Laura Kovacs, Chalmers University of Technology, Sweden
- Tudor Jebelean, Johannes Kepler University Linz, Austria
- Topics
- automatic reasoning
- formal system verification
- formal verification and synthesis
- software quality assessment
- static analysis
- timing analysis
- PC members
- Sorin Stratulat, Université de Lorraine, Metz
- Temur Kutsia, Johannes Kepler University Linz, Austria
- Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
- Madalina Erascu, Institute e-Austria and West University of Timisoara, Romania
- Giles Reger, University of Manchester, UK
- Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
- Grant Passmore, University of Cambridge, UK
- Stefan Andrei, Lamar University, USA
- Igor Konnov, Vienna University of Technology, Austria
- Wolfgang Ahrendt, Chalmers University of Technology, Sweden
- Philipp Ruemmer, Uppsala University, Sweden
- Jie Luo, SKLSDE, Beihang University, China
- Dorel Lucanu, Alexandru Ioan Cuza University, Romania
