The CADE ATP System Competition

Deadlines and Important Dates



What When Where

System submission for problem rating (optional) 9th June Email to Organizers
System registration deadline 7th July Online
System descriptions deadline 7th July Email to Organizers
Sample solutions deadline 7th July Email to Organizers
System delivery deadline 28th July
Formal CASC registration 28th July Online
Soundness testing reports 1st August
Unsoundness repairs completed 8th August
CASC dinner and T-shirt distribution 6:30pm (meet 6:15pm), 12th August Golden Harbour Restaurant
Start of competition Sometime, 13th August Internet room
Real time online results 13th August Online
Trophy presentation 14th August CADE banquet
CASC conference session 12:00-12:30pm 15th August Conference room