Latest Awards
The winners from 2024 are:
Best Team
"YYY": Jean-Christophe Filliâtre
Best Student Team
1st place: "Seattle Sunshine" Jonáš Fiala and Thibault Dardinier
2nd place: "VerCors {P1*P2}" :Alexander Stekelenburg and Pieter Bos
Most Impressive Tool Medley
"Seriously": Hanna Lachnitt, Gidon Ernst
Best Contributed Problem
Arthur Charguéraud
The winners of previous competitions are listed in the archive.