Speakers
The confirmed invited attendees/speakers (in the alphabetical order) are
- Franz Baader (TU Dresden)
- Matthias Baaz (TU Wien)
- Christoph Benzmüller (University of Luxembourg)
- Jasmin Christian Blanchette (Vrije Universiteit Amsterdam)
- Nikolaj Bjørner (Microsoft Research)
- Bruno Buchberger (Research Institute for Symbolic Computation, Linz)
- Marsha Chechik (University of Toronto)
- Evgeny Dantsin (Roosevelt University)
- Yuri Gurevich (University of Michigan)
- Arie Gurfinkel (University of Waterloo)
- Thomas A. Henzinger (IST)
- Jean-Pierre Jouannaud (ENS Cachan)
- Konstantin Korovin (The University of Manchester)
- Margarita Korovina (Institute of Informatics Systems, Novosibirsk)
- Laura Kovacs (TU Wien)
- Temur Kutsia (Research Institute for Symbolic Computation)
- Alexander Leitsch (TU WIen)
- Alexander Lyaletski (National University of Life and Environmental Sciences of Ukraine)
- Andrei Mantsivoda (Irkutsk State University)
- Bertrand Meyer (ETH Zurich, Eiffel Software)
- Aart Middeldorp (University of Innsbruck)
- Michel Parigot (Paris 7 Unievsrity)
- Andreas Podelski (University of Freiburg)
- Giles Reger (The University of Manchester)
- Ruzica Piskac (Yale University)
- Stephan Schulz (DHBW Stuttgart)
- Natasha Sharygina (University of Lugano)
- Martin Suda (CTU in Prague)
- Geoff Sutcliffe (University of Miami)
- Cesare Tinelli (University of Iowa)
- Nestan Tsiskaridze (University of California, Santa Barbara)
- Margus Veanes (Microsoft Research)
- Christoph Weidenbach (Max-Planck-Institut für Informatik)
- <TBA>