CADE-14 Registration Form

Queries may be emailed to cade-14@cs.jcu.edu.au.

Personal Details

Family name

Given names

Name as you want it on your name tag

Affiliation you want on your name tag

Postal address





Phone

FAX

Email

Registration Details

Note: All fees are in Australian dollars. Exchange rates are available from http://www.xe.net/currency/.

Conference Registration

None
Current AAR member AU$450 
New AAR member AU$465 
Regular AU$475 
Student AU$350 
The "New AAR member" rate includes one year's membership of the Association for Automated Reasoning.
For "Student" registration, please bring proof of enrolment with you to the conference, otherwise you will have to pay regular registration fees.
Conference registration includes lunch on each of the conference days. If you have any special meal requirements, please detail them here:
 

Workshop Registration

None 
Automated Induction Theorem Proving AU$100 
Strategies in Automated Deduction AU$100 
Automated Theorem Proving in Software Engineering AU$100 
Automated Theorem Proving and Mathematics AU$100 
Connectionist Systems for Knowledge Representation and Deduction AU$100 
Attendance at workshops is by invitation only. Please ensure that the workshop organizers have invited you before registering for any workshop.
 

Tutorial Registration

Morning Tutorials: None 
Learning from Previous Proof Experience AU$100 
Deduction Methods based on Boolean Rings AU$100 
Afternoon Tutorials: None 
Term Indexing in Automated Reasoning, Databases and Declarative Programming Languages AU$100 
Higher Order Equational Logic AU$100 
 

ATP System Competition Registration

ATP System Competition
(Includes Competition Dinner, 14th July) 		None  AU$50 
T-shirt size Medium Large X-Large
Extra Dinner Tickets None  AU$30   people
Registration for the competition is for only the nominated entrants and associates of competing ATP systems. Please ensure that your name appears in an ATP System registration.
 

Social Events

BBQ Social Dinner
(14th July, 60 person limit) 		None  AU$25   people
Conference Banquet
(16th July) 		None  AU$65   people
Great Barrier Reef Excursion
(18th July) 		None  AU$95   people

Accomodation

None 

Please reserve my accomodation, as follows:

Hotel 1st Choice 2nd Choice 3rd Choice Room type (for hotels with options)
Sheraton Breakwater
Mariners North
Reef International
The Aquarius
The Rocks
The Beach House
Reef Lodge

Arriving on

Leaving on

Room sharing
None
Sharing with
Please try find someone. I am Male Female

A non-refundable deposit of one night's accomodation is required to secure a reservation. If sharing, only one person need pay the deposit. If you are not paying the deposit, place an * after the name of the person who will pay, in the "Sharing with" field above. That person's hotel selection will take precedence.

Other Information

Anything else you need to tell us:

Payment

Conference Registration AU$
Workshop Registration AU$
Tutorial Registration AU$
ATP System Competition AU$
Social Events AU$
Accomodation deposit AU$
Total AU$

Payment options (choose one)
Credit card. Please FAX your credit card details and authorization to take the above amount, to:
North Queensland Conference Management (CADE-14)
FAX: +61 77 215515.
Here's a form you can use.
Cheque. Please post a cheque made out to CADE-14, in Australian dollars on an Australian bank, to:
North Queensland Conference Management (CADE-14)
Shop 1
54 Denham Street
Townsville
Australia 4810

A AU$50 fee will be charged for cancellation of registration.

Your registration will be confirmed by email. If you would like to receive confirmation by post also, please check this box: .