• Best problem submission: Daniel Grahl, for suggesting "Strassen's algorithm", which inspired the matrix multiplication challenge.
  • Distinguished user-assistance tool feature: Alexander J. Summers and Malte Schwerhoff (Viper) for their support of quantified permissions.
  • Best student team (2x): Martin Clochard (Why3), Léon Gondelman & Mário Pereira (Why3)
  • Best team: Bart Jacobs (VeriFast)


The organizers would like to thank Wojciech Mostowski and Radu Grigore for their help in coming up with the challenges, and Erik Poll for his help in the judging.