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

Track Chairs:

• Nikolaj Bjorner, Microsoft Research, USA
• Laura Kovacs, Technical University of Vienna, Austria