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)

  • End of June 2026: System registration
  • Beginning of July 2026: System submission
  • End of July 2026: ProoVer Competition at IJCAR2026, part of FLOC2026

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.