Skip to main navigation Skip to search Skip to main content

FLoC 2026 Olympic Games - "Foundations" award

  • Roy, Ann (Recipient), Anthony, Allen (Recipient), Daggitt, Matthew (Recipient), Gimelli, Andrea (Recipient), Tacchella, Armando (Recipient), Demarchi, Stefano (Recipient), Pulina, Luca (Recipient) & Guidotti, Dario (Recipient)

Prize: Award

Description

Given at the 4-yearly Federated Logic Conferences Olympic Games for "creating and stewarding VNN-LIB, the community standard for specifying neural network verification problems, from it's original 1.0 design through the VNN-LIB 2.0 revision that underpins VNN-COMP, with significant impact beyond VNN-COMP"
Awarded dateJul 2026
Degree of recognitionInternational

    Fingerprint