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

Track Chairs:

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

Program Committee:

• Marcel Hark, RWTH Aachen University
• Madalina Erascu, Institute e-Austria Timisoara and West University of Timisoara
• Arie Gurfinkel, University of Waterloo
• Alexander Bentkamp, Vrije Universiteit Amsterdam
• Grigory Fedyukovich, Princeton University
• Stefan Andrei, Lamar University
• Sorin Stratulat, Université de Lorraine, Metz
• Temur Kutsia, RISC, Johannes Kepler University Linz
• Sharon Shoham, Tel Aviv University
• Simon Robillard, IMT Atlantique
• Yakir Vizel, The Technion
• Jorge A Navas, SRI International