Organization

Program Committee

• Kerstin Bach (Norwegian University of Science and Technology, Trondheim)

• Joachim Baumeister (University of Würzburg)

• Ralph Bergmann (University of Trier)

• Jörg Cassens (University of Hildesheim)

• Viktor Eisenstadt (University of Hildesheim)

• Anna Faust (Humboldt University of Berlin)

• Lisa Grumbach (German Research Center for Artificial Intelligence (DFKI))

• Andreas Korger (University of Würzburg)

• Andrea Kohlhase (University of Neu-Ulm)

• Michael Kohlhase (University of Erlangen-Nürnberg)

• Michael Leyer (University of Marburg)

• Mirjam Minor (University of Frankfurt)

• Pascal Reuss (University of Hildesheim)

• Christian Sauer (University of Hildesheim)

• Johannes Wichmann (University of Marburg)

• Carsten Wenzel (University of Hildesheim)