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
- Isabela Drămnesc, West University of Timisoara, Romania
- Laura Kovacs, Technical University of Vienna, Austria
PROGRAM COMMITTEE
- Martin Blicha, Argot Collective, Czech Republic
- Mădălina Erașcu, West University of Timisoara, Romania
- Marton Hajdu, Technical University of Vienna, Austria
- Hanna Lachnitt, Stanford University, USA
- Dorel Lucanu, Alexandru Ioan Cuza University, Romania
- Viorica Sofronie-Stokkermans, University of Koblenz, Germany
- Sorin Stratulat, Université de Lorraine, Metz, France
- Martin Suda, Czech Technical University in Prague, Czechia