- 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