The CADE ATP System Competition

Deadlines and Important Dates

What When Where

System submission for problem rating (optional) 30th May Email to Organizers
System registration deadline 27th June Online
System descriptions deadline 27th June Email to Organizers
Sample solutions deadline 27th June Email to Organizers
Formal CASC registration 27th June Online
System delivery deadline 11th July
Non-entrant dinner registration deadline 11th July Online
Soundness testing reports 15th July
Unsoundness repairs completed 22nd July
CASC dinner and T-shirt distribution 7:30pm, 2nd August TBA
Start of competition 10:15am, 3rd August Room 119
Real time online results 3rd August Online
Trophy presentation 4th August CADE banquet
CASC results presentation 5:00pm, 5th August Conference room