Deadlines and Important Dates

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