Invited speakers:
- Laura Kovacs, TU Wien, Austria
- Dines Bjørner (Technical University of Denmark)
- Nikolaj Bjorner, Microsoft Research, USA
Tutorial speakers:
- Vlad Rusu (Inria Lille, France)
- Andrei Voronkov, University of Manchester, England
- Isabela Drămnesc, West University of Timișoara, Romania
- Mădălina Erașcu, West University of Timișoara, Romania
