The CADE ATP System Competition

Deadlines and Important Dates



What When Where

System submission for problem rating (optional) 1st June Email to Organizers
System registration deadline 1st July Online
System descriptions deadline 1st July Email to Organizers
Sample solutions deadline 20th July Email to Organizers
System delivery deadline 20th July
Formal CASC registration 20th July Online
Soundness testing reports 24th July
Unsoundness repairs completed 31st July
CASC dinner and T-shirt distribution 7:00pm, 4th August TBA
Start of competition 10:00am, 5th August Common area
Real time online results 5th August Online
Trophy presentation 6th August CADE banquet
CASC results presentation 11:30am, 7th August Conference room