Program Commitee
Erika Abraham, Joost-Pieter Katoen, Wolfgang Thomas (chair), Aachen
Franz Baader, Manfred Droste, Karin Quaas, Dresden/Leipzig
Michael Luttenberger, Tobias Nipkow, Helmut Seidl, Munich
Martin Fränzle, Ernst-Rüdiger Olderog, Oliver Theel, Oldenburg
Roderick Bloem, Martina Seidl, Florian Zuleger, ARiSE