The CADE ATP System Competition

Deadlines and Important Dates

What When Where

System submission for problem rating 5th June Email to Organizers
System registration deadline 3rd July Online
System descriptions deadline 3rd July Email to Organizers
Sample solutions deadline 3rd July Email to Organizers
System installation deadline 31st July
Formal CASC registration 1st August Online
Soundness testing reports 4th August
Unsoundness repairs completed 11th August
CASC dinner and T-shirt distribution 17th August A very good restaurant
Start of competition 10:00am, 18th August Internet room
Real time online results 18th August Online
Trophy presentation 18th August IJCAR banquet
CASC conference session 10:30am, 20th August Conference room