* Chairs:

+ Tudor Jebelean, Johannes Kepler University Linz, Austria
+ Laura Kovacs, Chalmers University of Technology, Sweden

* Topics

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

* PC Members:

+ Stefan Andrei, Lamar University
+ Nikolaj Bjorner, Microsoft Research
+ Cezara Dragoi, IST Austria
+ Radu Iosif, Verimag/CNRS/University of Grenoble
+ Tudor Jebelean, RISC – Johannes Kepler University Linz
+ Jens Knoop, TU Vienna, Dept. of Computer Science
+ Laura Kovacs, Chalmers University of Technology
+ Temur Kutsia, RISC – Johannes Kepler University Linz
+ Dorel Lucanu, Alexandru Ioan Cuza University
+ Jie Luo, Beihang University
+ Stephan Merz, Inria Nancy
+ Grant Passmore, University of Cambridge and University of Edinburgh
+ Philipp Ruemmer, Uppsala University, Department of Information Technology
+ Markus Schordan, Lawrence Livermore National Laboratory
+ Viorica Sofronie-Stokkermans, MPI
+ Sorin Stratulat, Universite de Lorraine
+ Josef Urban, Radboud University
+ Florian Zuleger, Technische Universitat Wien