REGISTRATION FORM F T P 9 7 International Workshop on First order Theorem Proving RISC, Castle of Hagenberg, Austria October 27 - 28, 1997 (in the frame of the Third International Conference on Principles and Practice of CONSTRAINT PROGRAMMING - CP 97, October 29 - November 1, 1997) Personal Data ============= Participant: [ ] Prof. [ ] Dr. [ ] Mrs. [ ] Ms. [ ] Mr. Family Name: First Name: Affiliation: Mailing Address: Country: e-mail: Phone: Fax: Conference Registration fees ============================ for FTP97 Workshop only ----------------------- | Registration and payment received | Summary | by Sept. 30, 1997 | after Sept. 30, 1997 | ------------+-------------------+----------------------+---------------- Regular | USD 105,-- | USD 130,-- | participant | | | ------------+-------------------+----------------------+---------------- Accompanying| USD 60,-- | USD 75,-- | person | | | ------------+-------------------+----------------------+---------------- for FTP97 Workshop, if you register for CP97 Conference also ------------------------------------------------------------ (Both registrations - FTP97 plus main conference - have to be made at the same time) | Registration and payment received | Summary | by Sept. 30, 1997 | after Sept. 30, 1997 | ------------+-------------------+----------------------+---------------- Regular | USD 90,-- | USD 115,-- | participant | | | ------------+-------------------+----------------------+---------------- Accompanying| USD 50,-- | USD 65,-- | person | | | ------------+-------------------+----------------------+---------------- Fee for regular participant includes: proceedings, refreshment breaks, lunches (hors d'oeuvre, main meal, dessert, drink), shuttle bus from conference hotel to the conference site and back. Fee for accompanying person includes: all conference sessions, refreshment breaks, lunches (hors d'oeuvre, main meal, dessert, drink), shuttle bus from conference hotel to the conference site and back. For lunches etc. ================ [ ] Vegetarian [ ] Regular food Payment ======= Please choose one of the following. All payments must be made in US $. [ ] I have remitted the above total fee on . . . . . . . . . . .(Date) to the account "CP97", No. 26203, Raiffeisenbank Hagenberg, BLZ: 34151, A-4232 Hagenberg, Austria (Europe). I add a copy of the transfer form to confirm the remittance. [ ] I add a bank cheque for the above total fee payable to the account "CP97" No. 26203, Raiffeisenbank Hagenberg, BLZ: 34151, A-4232 Hagenberg, Austria (Europe). [ ] I agree to remit above total fee by credit card [ ] American Express [ ] Mastercard [ ] VISA Card Number: Card holder's name: Date: Expiration Date: Authorized Signature: -------------- -------------------------------- (Date) (Signature) Please send the completed form by e-mail or fax or surface mail to: Betina Curtis, RISC - Research Institute for Symbolic Computation Schloss Hagenberg, A-4232 Hagenberg Fax: +43(7236)323130 Tel.:+43(7236)323121 E-mail: bcurtis@risc.uni-linz.ac.at