• Chairs:

+ Tudor Jebelean, Johannes Kepler University, Austria
+ Jens Knoop, Vienna University of Technology, Austria

• Topics:

+ automatic reasoning
+ formal system verification
+ formal verification and synthesis
+ software quality assessment
+ static analysis
+ timing analysis

• Programming committee:

+ Tudor Jebelean, Johannes Kepler University, Austria;
+ Jens Knoop, Vienna University of Technology, Austria;
+ Stefan Andrei, Lamar University, United States;
+ Dorel Lucanu, Alexandru Ioan Cuza University;
+ Markus Mueller-Olm, Westfälische Wilhelms-Universität Münster, Germany;
+ Markus Schordan, University of Applied Sciences, Austria;
+ Sorin Stratulat, Universite Paul Verlaine, Metz, France;
+ Helmut Veith, Vienna University of Technology, Austria;
+ Laura Kovacs, Vienna University of Technology, Austria;
+ Temur Kutsia, Johannes Kepler University of Linz, Austria;
+ Florina Piroi, Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austria;
+ Nikolaj Popov, Johannes Kepler University of Linz, Austria;
+ Boris Konev, The University of Liverpool, United Kingdom;
+ Adrian Craciun, West University Timisoara, Romania;
+ Viorica Sofronie-Stokkermans, MPI, Germany;
+ Mircea Marin, West University of Timisoara, Romania;