The CADE ATP System Competition

Deadlines and Important Dates



What When Where

System registration deadline 31st May 2004
System descriptions deadline 31st May 2004
Sample solutions deadline 31st May 2004
System submission for problem rating 31st May 2004
Access to general hardware 11th June 2004
System installation deadline 21th June 2004
Soundness testing reports 24th June 2004
Unsoundness repairs completed 28th June 2004
T-shirt distribution 10:30am, 6th July 2004 Internet room
Start of competition 10:30am, 6th July 2004 Internet room
CASC dinner 8:00pm, 6th July 2004 Bombay Palace
Trophy presentation 7th July 2004 CADE banquet
Results presentation TBA TBA