- 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
- Wolfgang Ahrendt, Chalmers University of Technology, Sweden
- Stefan Andrei, Lamar University, USA
- Adrian Champion, The University of Tokyo, Japan
- Madalina Erascu, Institute e-Austria and West University of Timisoara, Romania
- Vijay Ganesh, Waterloo University, Canada
- Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
- Ashutosh Gupta, TIFR, India
- Marijn Heule, The University of Texas at Austin, USA
- Jens Knoop, TU Vienna, Austria
- Igor Konnov, Vienna University of Technology, Austria
- Temur Kutsia, Johannes Kepler University Linz, Austria
- Dorel Lucanu, Alexandru Ioan Cuza University, Romania
- Jie Luo, SKLSDE, Beihang University, China
- Maria Cristina Marinescu, Barcelona Supercomputing Center, Spain
- Nina Narodytska, USA
- Ruzica Piskac, Yale University, USA
- Giles Reger, University of Manchester, UK
- Philipp Ruemmer, Uppsala University, Sweden
- Martina Seidl, Johannes Kepler University Linz, Austria
- Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
- Sorin Stratulat, Université de Lorraine, Metz, France
- Martin Suda, Technische Universität Wien, Austria
- Yakir Vizel, Princeton University, USA
- Margus Veanes, Microsoft Research, USA