Thanks

Entrants

Panel

• Franz Baader
• Dale Miller
• Christoph Weidenbach

Max-Planck-Institut für Informatik

Articulate Software and Technische Universität München

Kostya and Andrei and Uli and their Team

Observers