- 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 (to be confirmed)
- Erika Abraham, RWTH Aachen University, Germany
- Ștefan Andrei, A.I. Cuza University, Iași, Romania
- Mădălina Erașcu, West University of Timisoara, Romania
- Grigory Fedyukovich, Florida State University, United States
- Lukáš Holík, Brno University of Technology, Czechia
- Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
- Philipp Rümmer, University of Regensburg, Germany
- Sorin Stratulat, Université de Lorraine, France