The CADE ATP System Competition

Deadlines and Important Dates

What When Where

System submission for problem rating (optional) 16th April Email to Organizers
System registration deadline 14th May Online
System descriptions deadline 14th May Email to Organizers
Sample solutions deadline 14th May Email to Organizers
Formal CASC registration 14th May Online
System delivery deadline 4th June
Non-entrant dinner registration deadline 4th June Online
Soundness testing reports 8th June
Unsoundness repairs completed 15th June
Start of CASC@Turing competition 11:00am, 24th June Manchester Townhall
CASC@Turing results presentation 5:40pm, 25th June Conference room
CASC dinner and T-shirt distribution 7:45pm, 27th June Lal Qila
Start of regular competition 10:00am, 28th June Right by the coffee area
Trophy presentation TBA CADE banquet
CASC results presentation TBA Conference room