The CADE-17 ATP System Competition

System Registration

System registration for CASC-17 closes on 15th May 2000

Register your system as early as possible, so that the organizers can ensure that sufficient resources are available.
Do it as soon as you have read the CASC-17 design and organization.

In addition to registering the ATP system for CASC-17 using the form below, the nominated entrant must also formally register for CASC-17 (you don't need to do that right now, but you should send in your system registration immediately).

ATP System Registration Form

ATP System Name
System Version Number
Competition Divisions MIX UEQ SAT FOF SEM
Demonstration Divisions MIX UEQ SAT FOF SEM
Entrant (handling all competition participation issues)
Name
Institution
Email
Phone
System URL
Associate's names

Your system registration will be confirmed by email. Don't forget that you must provide a system description before the registration deadline.