Participants

Martin Avanzini, Universität Innsbruck, Innsbruck, Austria

Matthias Baaz, TU Wien, Vienna, Austria

Uwe Egly, TU Wien, Vienna, Austria

Thomas Eiter, TU Wien, Vienna, Austria

Mirco Giacobbe, IST Austria, Vienna, Austria

Erich Grädel, RWTH Aachen, Aachen, Germany

Radu Grosu, TU Wien, Vienna, Austria

Stefan Hetzl, TU Wien, Vienna, Austria

Cezary Kaliszyk, Universität Innsbruck, Innsbruck, Austria

Christoph Kirsch, Universtität Salzburg, Salzburg, Austria

Igor Konnov, TU Wien, Vienna, Austria

Temur Kutsia, RISC, Hagenberg, Austria

Alexander Leitsch, TU Wien, Vienna, Austria

Anela Lolic, TU Wien, Vienna, Austria

Michael Morak, TU Wien, Vienna, Austria

Kenji Miyamoto, Universität Innsbruck, Innsbruck, Austria

Georg Moser, Universität Innsbruck, Innsbruck, Austria

Petr Novotny, IST Austria, Vienna, Austria

Reinhard Pichler, TU Wien, Vienna, Austria

Norbert Preining, Accelia, Inc., Tokyo, Japan

Anna Prianichnikova, TU Wien, Vienna, Austria

Maria Schett, Universität Innsbruck, Innsbruck, Austria

Martina Seidl, Universität Linz, Linz, Austria

Ana Sokolova, Universität Salzburg, Salzburg, Austria

René Thiemann, Universität Innsbruck, Innsbruck, Austria

Moshe Vardi, Rice University, Houston, USA

Georg Weissenbacher, TU Wien, Vienna, Austria

Sarah Winkler Universität Innsbruck, Innsbruck, Austria