Participants


Sebastian Arming, University of Salzburg


Uwe Egly, TU Wien

Orna GrumbergTECHNION – Israel Institute of Technology

Erich Grädel, RWTH Aachen University

Christoph Kirsch, University of Salzburg -- cancelled due to illness

Igor Konnov, TU Wien

Temur KutsiaRISC, Johannes Kepler University Linz

Alfons Laarman, Leiden University -- cancelled due to illness

Oliver Lehmann, IST Austria

Anna Lukina, TU Wien

Michael Morak, TU Wien


Gernot Salzer, TU Wien


Ana Sokolova, University of Salzburg

Michael Tautschnig, Queen Mary University of London & Amazon Web Services



Josef Widder, TU Wien