The CADE-15 ATP System Competition

Registration

This document contains:

System registration for CASC-15 closes on 8th June 1998

Register as soon as you've read the CASC-15 design and organization information,
so that the organizers can ensure that sufficient resources are available. Do it now!

ATP System Registration Form

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

There is a competition registration fee, which includes the competition dinner and an elegant CASC-15 T-shirt. The nominated entrant must register for CASC-15 in a CADE-15 registration. (you don't need to do that right now, but you should send in this system registration immediately). If you cannot come to CASC-15, we'll post you a T-shirt and eat your dinner. Associates who wish to attend the competition dinner and get a T-shirt must also register for CASC-15 in a CADE-15 registration.

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

Competition Dinner

A dinner for entrants and associates will be held on the evening of Monday 6th July. To attend this dinner it is necessary to register for CASC-15 in a CADE-15 registration.

Note: You have to be the entrant or an associate of an entered ATP system to attend this dinner. It's an exclusive event. (Spouses are welcome to come along; please indicate this in your registration.)