The CADE ATP System Competition

Deadlines and Important Dates

What When Where

System submission for problem rating (optional) 8th June Email to Organizers
System registration deadline 6th July Online
System descriptions deadline 6th July Email to Organizers
Sample solutions deadline 6th July Email to Organizers
Formal CASC registration 6th July Online
System delivery deadline 13th July
Soundness testing reports 17th July
Unsoundness repairs completed 27th July
T-shirt distribution; sale of gambling tickets 3rd and 4th August CADE reception and at start of competition
Start of competition 10:15am, 4th August Room T09/055
CASC dinner 7:00pm, 4th August Alter Krug
Trophy presentation 5th August Banquet
CASC results presentation TBA Conference room