---------------------------------------------------------------------------- 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.dna.lth.se/cgi-bin/kurt/rates. 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 send your credit card details and authorization to take the above amount, using the form below. __ Cheque. Please post a cheque made out to CADE-14, in Australian dollars on an Australian bank. ---------------------------------------------------------------------------- CADE-14 Credit Card Payment CADE-14 registration fees for ________________________________________ Credit card type ________________________________________ Credit card number ________________________________________ Name on credit card ________________________________________ Expiry date ________________________________________ Amount AU$ ________________________________________ I authorize payment of the above amount from my credit card to CADE-14. Signed Date ---------------------------------------------------------------------------- Please email, FAX, or post your registration to: North Queensland Conference Management (CADE-14) Shop 1 54 Denham Street Townsville Australia 4810 FAX: +61 77 215515 Email: cade-14@cs.jcu.edu.au If emailing your registration and paying by credit card, please FAX or post the credit card authorization. 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: _ ----------------------------------------------------------------------------