The CADE ATP System Competition

Deadlines and Important Dates

What When Where

System submission for problem rating 7th May Email to Organizers
System registration deadline 4th June Online
System descriptions deadline 4th June Email to Organizers
Sample solutions deadline 4th June Email to Organizers
System installation deadline 2nd July
Formal CASC registration 2nd July Online
Soundness testing reports 6th July
Unsoundness repairs completed 13th July
T-shirt distribution 16th July CADE reception
Start of competition 10:00am, 17th July Internet room
Real time online results 17th July Online
CASC dinner 17th July, after the competition A very good restaurant
CASC conference session 17:30, 18th July Conference room
Trophy presentation 19th July CADE banquet