• Best problem submission: Thomas Genet for the "RelaxedPrefix" problem, which was used in the competition
  • Tool used by most teams: Dafny
  • Distinguished user-assistance tool feature: (2x)
    • * Why3 for the lemma library (as demonstrated by its use in the competition)
    • * mCRL2 for a rich specification language in an automated verification tool
  • Best student team: team KIV - Gidon Ernst & Jörg Pfähler
  • Best team: team Why3 - Jean-Christophe Filliâtre & Guillaume Melquiond


The organizers would like to thank Wojciech Mostowski and Radu Grigore for their feedback and support prior to the competition, as well as Michael Tautschnig for help with judging.