The CADE ATP System Competition

Deadlines and Important Dates



What When Where

System submission for problem rating (optional) 14th May Email to Organizers
System registration deadline 11th June Online
System descriptions deadline 18th June Email to Organizers
Sample solutions deadline 18th June Email to Organizers
Formal CASC registration 18th June Online
System delivery deadline 25th June
Soundness testing reports 29th June
Unsoundness repairs completed 9th July
Sale of gambling tickets; T-shirt distribution 13th July At CASC dinner, and up to start of competition
Start of competition; T-shirt distribution 10:15am, 14th July Lecture Theater 3, Math Institute
CASC dinner 6:30pm, 15th July Mama Mia Pizzeria, 102 Walton Street, Oxford
Trophy presentation 16th July Banquet
CASC results presentation TBA Conference room