HOTEL RESERVATION FORM

                              F T P  9 7
        International Workshop on First order Theorem Proving

                 RISC, Castle of Hagenberg, Austria
                       October 27 - 28, 1997



Name:
Affiliation:
Address:
e-mail:
Phone:
Fax:

Accompanying Person(s): 
     Family Name: 
     First Name: 

I reserve as follows:

Arrival Date:
Departure Date: 
                                      
[ ]   single room ATS 890,- = about US $ 75,- per day/person
[ ]   double room ATS 550,- = about US $ 47,- per day/person

      Included in the price: Breakfast buffet, health club,
      shuttle service airport - hotel - airport.

There is a small contingent of student rooms available.
These accommodations are secluded and scattered over the region.
If you want to reserve this room-category, please contact the local organizer
Betina Curtis, e-mail: bcurtis@risc.uni-linz.ac.at. 

[ ]   I arrive by plane and need a shuttle service to the hotel
      Arrival time:
      Flight from:
      Flight number: