The CADE ATP System Competition

Deadlines and Important Dates



What When Where

System submission for problem rating (optional) 25th April Email to Organizers
System registration deadline 30th May Online
System descriptions deadline 30th May Email to Organizers
Sample solutions deadline 30th May Email to Organizers
Formal CASC registration 30th May Online
System delivery deadline 6th June
Soundness testing reports 9th June
Unsoundness repairs completed 14th June
CASC dinner 7:00pm, 28th June TBA
Start of competition 10:45am, 29th June TBA
Trophy presentation 29th June Banquet
CASC results presentation TBA Conference room