The CADE ATP System Competition

Deadlines and Important Dates



What When Where

System submission for problem rating (optional) 11th May Email to Organizers
System registration deadline 29th May Online
System descriptions deadline 5th June Email to Organizers
Sample solutions deadline 5th June Email to Organizers
Formal CASC registration 5th June Online
System delivery deadline 12th June
Soundness testing reports 16th June
Unsoundness repairs completed 26th June
CASC dinner 17:00 UTC, 1st July The ZoomRoom (BYO) Register for the dinner here
T-shirt distribution 17th June By post
Start of competition 10:30 UTC, 2nd July Online, in Zoom Register to attend here
Trophy presentation 14:45 UTC, 4th July In the results presentation, then by post
CASC results presentation 14:45 UTC, 4th July Online