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:
- A cheque from a US bank, made out to "Geoff Sutcliffe".
Post it to the address on
my WWW page.
- Bank transfer to my Dresdner Bank account in Germany.
Email me for the account details.
- PayPal.
Email me and I'll send you a PayPal invoice.
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.
T-Shirt
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!