Keynote Speakers

Invited Speakers

Prizes

Peter O'Hearn
UCL, UK
Gödel Prize

Dexter Kozen
Cornell, USA
EATCS Award

Steve Brookes
Carnegie Mellon, USA
Gödel Prize

Mark Braverman
Princeton, USA
Presburger Award