VerifyThis 2026
VerifyThis 2026 was organized by Sacha-Elie Ayoun (Imperial College London) and Thibault Dardinier (EPFL) and at ETAPS 2026 in Turin, Italy.
Challenges
Prizes
The 2026 winners are
- Best Overall Team: The Steelmakers – Li-yao Xia and Jacques-Henri Jourdan
- Second Best Team: Misnomar IYKYK – Marco Eilers and Jonáš Fiala
- Best One-Person Team: YYY: Jean-Christophe Filliâtre
- Best Student Team: The prize has been awarded to two teams:
- VerCors –dev-unsafe-optimization: Alexander Stekelenburg and Ömer Şakar
- VVV: Vladimir Gladshtein and Vitaly Kurin
- Most Impressive Use of AI: NaginAI: Nicolas Klose
Sponsors
We gratefully acknowledge generous sponsorship from Amazon Web Services
and Jane Street
