Return-Path: Delivery-Date: Received: from cs.uidaho.edu (actually ted.cs.uidaho.edu !OR! info-hol-request@cs.uidaho.edu) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 13 Jul 1993 19:37:26 +0100 Received: by cs.uidaho.edu (16.6/2.0) id AA02496; Tue, 13 Jul 93 11:10:18 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from grolsch.cs.ubc.ca by cs.uidaho.edu (16.6/2.0) id AA02491; Tue, 13 Jul 93 11:10:11 -0700 Received: by grolsch.cs.ubc.ca id AA21746 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Tue, 13 Jul 1993 11:10:32 -0700 Date: 13 Jul 93 11:10 -0700 From: hug93 To: info-hol Message-Id: <220*hug93@cs.ubc.ca> Subject: HUG'93 --- last call for participation If you plan to attend HUG'93 in August but have *not* yet registered, you are strongly encouraged to register within the next week to ensure that you receive a participants copy of the workshop proceedings. We will be making a decision next week on the number of copies of the proceedings to print for workshop participants. If there are more than a few people who register at the last moment, then we may run out of copies for these people. For a full announcement of HUG'93, see Announce2.txt on cs.ubc.ca:/pub/local/hug93 (you may obtain this file by anonymous ftp). For your convenience, copies of both the registration form and the accommodation form are attached below. ----------------------- CUT HERE ---------------------------- Registration Form (HUG'93 and Tutorials) August 10-13, 1993 The University of British Columbia Vancouver B.C. CANADA Before June 21st After June 21 Students ________________ _____________ ________ HOL/NaDSet Tutorials CDN$35 CDN$50 CDN$25 HUG'93 CDN$275 CDN$350 CDN$150 (Fees for students are the same before and after June 21.) Name _________________________________________________________________ FIRST MIDDLE LAST Organization _________________________________________________________ Department ___________________________________________________________ Address ______________________________________________________________ City____________________ State/Province_____________ Country__________ Phone______________________________ FAX_______________________________ Email_________________________________________________________________ I plan to attend [ ] HOL Tutorial (August 10, 1993) [ ] NaDSet Tutorial (August 10, 1993) [ ] HUG'93 (August 11-13, 1993) and pay by [ ]VISA [ ]MASTERCARD [ ]Travelers' Cheque [ ]Personal Cheque Amount: CDN$________________________________ Credit Card Number: __________________________________________________ Expiration Date: ______________ Signature: ___________________________ Payment must be in Canadian funds. Please make your cheque payable to: The University of British Columbia The registration fee covers the costs of HOL/NaDSet Tutorials (August 10) * Lecture materials. * Access to computing facilities. * Continental breakfast and lunch. HUG'93 (August 11-13) * One copy of the workshop proceedings. * Continental breakfast and lunch (Aug 11-13). * Coffee/tea during the workshop. * Workshop banquet at Cecil Green on Aug 12th. Please mail registration form to: Ms. Vicky Ayerbe University of British Columbia Continuing Studies Computer Science Programs 5997 Iona Drive Vancouver, BC V6T 1Z1 CANADA Cancellation: registration fee (minus $25) can be refunded any time before July 20, 1993. Please send your request to the above address. For more information about the workshop and the related events, please contact: Email: hug93@cs.ubc.ca (Preferred) FAX: (604)-822-5485 For registration information, please contact: Email: vayerbe@cce.ubc.ca FAX: (604)-222-5249 Phone: (604)-222-5256 A copy of this registration form (Ascii, and PS versions) along with additional information (including future announcements) will be available by anonymous ftp at cs.ubc.ca:/ftp/local/hug93, see HUG93Reg.{txt|ps}. 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)