- Topics
- automatic reasoning
- formal system verification
- formal verification and synthesis
- software quality assessment
- static analysis
- timing analysis
- Chairs
- Nikolaj Bjorner, Microsoft, Redmond, USA
- Laura Kovacs, Technical University of Vienna, Austria
- Program Committee
- Stefan Andrei, Lamar University, USA
- Mădălina Erașcu, Institute e-Austria Timișoara and West University of Timișoara, Romania
- Marijn Heule, Carnegie Mellon University, USA
- Lukáš Holík, Brno University of Technology, Czechia
- Konstantin Korovin, The University of Manchester, UK
- Gergely Kovásznai, Eszterházy Károly University, Eger, Hungary
- Temur Kutsia, RISC, Johannes Kepler University Linz, Austria
- Dorel Lucanu, Alexandru Ioan Cuza University, Romania
- Ana Sokolova, University of Salzburg, Austria
- Sorin Stratulat, Université de Lorraine, Metz, France
- Jun Sun, Singapore University of Technology and Design, Singapore
- Josef Urban, Czech Technical University in Prague, Czechia
- Tjark Weber, Uppsala University, Sweden
- Sarah Winkler, University of Verona, Italy