The CADE ATP System Competition

Deadlines and Important Dates



What When Where

System submission for problem rating (optional) 17th May Email to Organizers
System registration deadline 14th June Online
System descriptions deadline 14th June Email to Organizers
Sample solutions deadline 14th June Email to Organizers
Formal CASC registration 14th June Online
System delivery deadline 28th June
Non-entrant dinner registration deadline 28th June Online
Soundness testing reports 2nd July
Unsoundness repairs completed 9th July
CASC dinner and T-shirt distribution 7:30pm, 15th July A Room in the Town
Start of competition 10:00am, 17th July Common area
Real time online results 17th July Online
Trophy presentation 18th July IJCAR banquet
CASC results presentation 12:00am, 19th July Conference room