The CADE ATP System Competition

Deadlines and Important Dates

What When Where

System submission for problem rating 16th May 2005
System registration deadline 1st June 2005
System descriptions deadline 1st June 2005
Sample solutions deadline 1st June 2005
Access to general hardware 11th June 2005
System installation deadline 1st July 2005
Soundness testing reports 11th July 2005
Unsoundness repairs completed 18th July 2005
CASC dinner and T-shirt distribution Evening, 25th July 1005 A very good restaurant
Start of competition 10:00am, 26th July 2005 Internet room
Trophy presentation 26th July 2005 CADE banquet
Results presentation 10:30am session, 27th July 2005 Conference room