- Chairs
- Nikolaj Bjorner, Microsoft
- 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
- Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University, USA
- Dorel Lucanu, Alexandru Ioan Cuza University, Romania
- Cezara Dragoi, IST Austria, Austria
- Florian Zuleger, Technische Universiat Wien, Austria
- Grant Passmore, University of Cambridge and University of Edinburgh, UK
- Jie Luo, SKLSDE, Beihang University, China
- Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA
- Madalina Erascu, Institute e-Austria & West University of Timisoara, Austria
- Markus Schordan, Lawrence Livermore National Laboratory, USA
- Nikolaj Popov, RISC University of Linz, Austria
- Philipp Ruemmer, Uppsala University, Department of Information Technology, Sweden
- Radu Iosif, Verimag/CNRS/University of Grenoble, France
- Sorin Stratulat, Universit‚ de Lorraine, Metz, France
- Stefan Andrei, Lamar University, USA
- Stephan Merz, Inria Nancy, France
- Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
- Viorica Sofronie-Stokkermans, Max Planck Institute, Germany