• automatic reasoning
• formal system verification
• formal verification and synthesis
• software quality assessment
• static analysis
• timing analysis
• automated testing

Track Chairs:

• Nikolaj Bjorner, Microsoft Research, USA
• Arie Gurfinkel, University of Waterloo, Canada
• Laura Kovacs, Technical University of Vienna, Austria

Program Committee:

• Stefan Andrei Lamar University, USA
• Mingshuai Chen Lehrstuhl für Informatik 2, RWTH Aachen University, Germany
• Madalina Erascu West University of Timisoara, Romania
• Katalin Fazekas TU Wien, Austria
• Grigory Fedyukovich Florida State University, USA
• Antti Hyvärinen Universita della Svizzera italiana, Switzerland
• Temur Kutsia RISC, Johannes Kepler University Linz
• Jorge A Navas SRI International, USA
• Sorin Stratulat Université de Lorraine, Metz, France
• Dominik Winterer ETH Zurich, Swizerland