The ProoVer 2026 competition will take place on 27 July 2026, as part of the FLoC Olympics held during FLoC 2026.
The infrastructure will be shared with CASC, and both competitions will run in parallel.
The competition setup and execution environment will follow the same principles as CASC.
We thank Geoff Sutcliffe for his support and for providing the competition infrastructure.

Deadlines and Important Dates (AoE)

  • System registration deadline: 29th June Online
  • System descriptions deadline: 13th July Email to Organizers
  • Formal ProoVer registration: 13th July Online
  • System delivery deadline: 13th July
  • CASC+ProoVer dinner: 25th July Rubro Campo Pequeno
  • Goodies distribution: At the CASC+ProoVer dinner
  • Start of competition: 10:30am, 27th July TBA
  • Trophy presentation: 28th July FLoC Banquet

Proceedings

The ProoVer 2026 proceedings are available here.

Results

Results will be announced during FLoC 2026 and published on this website shortly after the competition.
The ranking will follow the official grading scheme described in the competition rules.

Entrants

See here.

Problems and Proofs

The problems and proofs used for the ProoVer 2026 competition are available here.