Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 17 Jun 1993 18:10:57 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA15955; Thu, 17 Jun 93 09:58:19 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA15950; Thu, 17 Jun 93 09:58:11 -0700 Received: by grolsch.cs.ubc.ca id AA08359 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Thu, 17 Jun 1993 09:58:32 -0700 Date: 17 Jun 93 9:58 -0700 From: hug93 To: info-hol Message-Id: <152*hug93@cs.ubc.ca> Subject: HUG'93 TO: Prospective HUG'93 participants If you have not made accommodation arrangements yet, we strongly encourage you to do so as soon as possible. We have already had reports of certains kinds of on-campus accommodation being fully booked. (We are competing with a big mathematics conference for accommodation.) As mentioned in earlier announcements, we have some block-booked accommodation, but there are indications that this will be fully booked well before the expiry date of our block booking (July 20). The request-for-accommodation form is attached below in case anyone has had difficulty obtaining it by anonymous ftp. --------------------- CUT HERE ------------------------------ University of British Columbia Request for Accommodation at Ritsumeikan A *limited* number of rooms have been reserved for participants in the Formal Hardware Verification Course and the 1993 HOL Users Group Meeting. This accommodation is located in the Ritsumeikan Residence (a new residence opened mid-1992) located within 5-10 minutes of course/tutorial/workshop locations. Reserved rooms are single bedrooms sharing a common kitchen, living area and washroom with three other single bedrooms. The rate is CAN$32 per night, plus applicable taxes. Some twin accommodation may also be available at a reduced rate. Groups of two, three or four participants who would like to share common facilities should indicate this on each application and, if possible, submit their individual applications together as a single package. When communicating with the UBC Conference Centre (other than a copy of this form), please use the following the identification codes: For accommodation between August 3-8: "HOL Users 1, T30803A". For accommodation between August 8-11: "HOL Users 2, T30808B". For accommodation between August 10-15: "HOL Users 3, T30810A". Payment can be made in Canadian or US funds at check-in by cash, travellers' cheques, VISA or Mastercard. We are unable to accept personal cheques. Please fill out this form and send it to: UBC Conference Centre Reservations Office 5961 Students Union Blvd. Vancouver B.C. V6T 2C9 CANADA (604)-822-1001 (FAX) (604)-822-1010 (phone, for enquiry only) Other accommodation may also be arranged. Please contact the UBC Conference Center directly at the above address. You are advised to make early arrangements for accommodation because on-campus accommodation is limited and very popular in August. Accommodation for this course will only be reserved until July 20, 1993. Last Name First Name ___________________________ __________________________ Address: __________________________________________________________________________ __________________________________________________________________________ City State/Province Zip _____________________ _______________ ______________ Country Phone ___________________________ __________________________________ Arrival: Departure: __________________________ ____________________________ Month/Date/Year Month/Date/Year (Check in time: 2pm, Check out time: 11am)