The CADE ATP System Competition

CASC Registration

CASC Registration

(for CASC system entrants and associates only)

The nominated entrant of each registered system must formally register for CASC ... details below. Associates are encouraged to also formally register for CASC. The registration fee includes the proceedings, the sumptuous competition dinner (two or three courses, one or two drinks), an elegant CASC T-shirt, and a great trophy (if you're a winner :-)! If you cannot come to CASC, we'll post you your T-shirt and eat your dinner.

Formal registration for CASC-J5 is separate from the general FLoC/IJCAR registration (sorry folks, I tried). The registration fee is US$85 (£60, €70), which must be paid to the CASC organizer (Geoff Sutcliffe) by 14th June. Payment can be made in various ways:

The CASC Dinner

A dinner for registered CASC entrants and associates will be held some evening before the competition. Entrants and organizers of SMT-COMP, Termination Competition2010, SAT Race, Max-SAT 2010, MISC , and HWMCC are also invited to the CASC-J5 dinner, and will have to pay their own dinner bill. Spouses are also welcome, and will have to pay their own dinner bill.

People who are not registered for CASC must email Geoff Sutcliffe to register for the CASC dinner. The cost for dinner is US$45 (£30, €35), which must be paid by 28th June. See above for payment options.

Here's the menu for the CASC-J5 dinner.


The CASC T-shirts are legends in their own lifetimes. Entrants and associates who register for CASC will each receive a CASC T-shirt. Check out the CASC-22, CASC-J4, CASC-21, CASC-J3, CASC-20, CASC-J2, CASC-19, CASC-18, CASC-JC, CASC-17, CASC-16, CASC-15, and CASC-14 designs. They're collector items!