TOPICS OF INTEREST
- 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 COMMITEE
- Erika Abraham, RWTH Aachen University, Germany
- Ștefan Andrei, A.I. Cuza University, Iași, Romania
- Isabela Drămnesc, West University of Timișoara, Romania
- Mădălina Erașcu, West University of Timișoara, Romania
- Grigory Fedyukovich, Florida State University, United States
- Lukáš Holík, Brno University of Technology, Czechia
- Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
- Michael Rawson, Technical University of Vienna, Austria
- Kristin Yvonne Rozier, Iowa State University, USA
- Philipp Rümmer,University of Regensburg, Germany
- Tanja Schindler, University of Basel, Switzerland
- Sorin Stratulat, Université de Lorraine, France
- Margus Veanes, Microsoft, USA