Thanks

Entrants

Panel

• Nikolaj Bjørner
• John Slaney
• Christoph Weidenbach

Max-Planck-Institut für Informatik

University of Manchester and The Royal Society

Andrei.css

Observers