Thanks

Entrants

Panel

• Franz Baader
• Koen Claessen
• Christoph Weidenbach

Max-Planck-Institut für Informatik

Reardon Commerce and Technische Universität München

Hans de Nivelle and his Team

Observers