The CADE ATP System Competition

and

The Proof Verification Competition

System Registration

System registration closes on ... see the schedule

Register your system as early as possible, so that the organizers can ensure that sufficient resources are available.

For CASC ...

Register as soon as you have read the design and organization information. In addition to registering the ATP system for CASC using the form below, the nominated entrant must also formally register for CASC (but not necessarily the full conference, and you don't have to physically attend to be in CASC). You don't need to do that right now, but you should submit this system registration immediately. You must also remember to submit your system description and (if appropriate) sample solutions.

For ProoVer ...

See here.

System Registration Form

System Name
System Version Number
System URL
Competition Divisions THF    FOF    UEQ    ProoVer   
Demonstration Divisions THF    FOF    UEQ    ProoVer   
Entrant (handling all competition participation issues)
Name
Institution
Personal home page
T-shirt size: S     M     L     XL     XXL
Associates' names
(If any associates formally register, please let the organizers know their T-shirt sizes.)
Any special software requirements

Your system registration will be confirmed by email.