Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Sun, 4 Apr 1993 20:48:13 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA21763; Sun, 4 Apr 93 12:31:38 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA21758; Sun, 4 Apr 93 12:31:24 -0700 Received: by grolsch.cs.ubc.ca id AA16651 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Sun, 4 Apr 1993 12:31:17 -0700 Date: 4 Apr 93 12:31 -0700 From: hug93 To: info-hol , cdn-soft-eng Message-Id: <33*hug93@cs.ubc.ca> Subject: Announcement: Formal hardware verification course A N N O U N C E M E N T A 3-Day Intensive Course on Practical Formal Hardware Verification Computer Science Department University of British Columbia Vancouver B.C. Canada August 4-6, 1993 Instructors: Drs. Jeffrey Joyce and Carl Seger Email: joyce@cs.ubc.ca or seger@cs.ubc.ca Description: =========== This 3-day intensive course will be a practical ``hands-on'' introduction to formal hardware verification. We begin at the level of conventional switch-level simulation. We then gradually introduce the concepts of symbolic simulation, trajectory evaluation, model checking and finally reasoning about the specification results using theorem proving techniques. The course will consist of lectures and laboratory sessions in which participants will use the Voss hardware verification system to carry out complete verification tasks on non-trivial designs, like pipelined microprocessors. The Voss system is an experimental hybrid verification system currently being developed by Drs. Joyce and Seger. An introductory level description of Voss and its applications is available in compressed Postscript form by anonymous ftp as cs.ubc.ca:/ftp/local/hug93/dac93.ps.Z. A prototype version of this experimental system is expected to be released in conjunction with this course. It will be assumed that course participants are familiar with logic design and conventional switch-level simulation. Other Events - HUG'93 Tutorials and Workshop - August 11-13 ============================================================ The HOL User Group Annual Meeting will be held from August 10-13 at The University of British Columbia. (The HOL System is a higher-order logic theorem-prover which has used been to develop some of the logical infrastructure for the Voss System). This 3-day workshop will be preceded by a 1-day tutorial, "Introduction to the HOL System and Its Applications" on August 10. Information on this workshop and tutorial is available by anonymous ftp at cs.ubc.ca:/ftp/local/hug93, see Announce1.{txt|tex|ps}. Airline Arrangement =================== Air Canada is the official airline of both this course and HUG'93. In Canada and the United States, save up to 50% on economy fare, or 15% on excursion fare. It is our understanding that a "Saturday overnight stay" is not required on flights with a 15% discount. To take advantage of these savings, please call, in Canada and US, Air Canada 1-800-361-7585, or your travel agent. When purchasing tickets, please ask that CV930099 (the conference number of HUG'93 and its related events) be entered in the Tour Code box and UBC in the Endorsement box, regardless of the fare basis. Participants travelling from Europe should contact one of the following Air Canada offices: Frankfurt 25-01-31; Geneva 731-4980; London (081)-7592636; Paris (1) 43201200; Vienna (0222) 5861909 and Zurich 2110777. Fees, Registration and Accommodation ==================================== The registration fee for this 3-day course is CDN$750 for registration by June 21 and CDN$900 for registration after June 21. A second participant from a particular organization may register for CDN$250 at any time. Students may register any time (subject to availability) in this course for CDN$250. Prospective participants should use a copy of the attached registration form to register in this course. A limited number of rooms (private bedroom, shared bathroom) have been reserved for course participants at $32 per night plus taxes. Twin accommodation may also be available at a reduced rate. This accommodation should be booked before July 20. Prospective participants should use a copy of the "request for accommodation" form to make accommodation arrangements. This form is available by anonymous ftp at cs.ubc.ca:/ftp/local/hug93, see Accommodation.{txt|ps}. Prospective participants seeking other accommodation (e.g., private bathroom, rooms for families, etc) should apply directly to the UBC Conferences Centre Administration Office at 5961 Student Union Blvd University of British Columbia, Vancouver, B.C. Canada V6T 2C9, tel: (604) 822-1010, fax: (604) 822-1001. Registration Form Practical Formal Hardware Verification August 4-6, 1993 Department of Computer Science University of British Columbia Vancouver, British Columbia CANADA Before June 21st After June 21 Students CDN$750 CDN$900 CDN$250 The registration fee covers the costs of * Lecture materials. * Access to computing facilities. * Continental breakfast and lunch. * Coffee/tea. 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. After July 20 a registered participant may transfer their registration to another person without additional fees. For more information about the course, please contact: Email: hug93@cs.ubc.ca (Preferred) FAX: (604)-822-5485 Phone: (604)-822-6176 For registration information, please contact: Email: vayerbe@cce.ubc.ca FAX: (604)-222-5249 Phone: (604)-222-5256 A copy of this announcement and registration form (Ascii, PS and LaTeX versions) along with additional information (including future announcements) will be available at cs.ubc.ca:/ftp/local/hug93 by anonymous ftp. Name _________________________________________________________________ FIRST MIDDLE LAST Organization _________________________________________________________ Department ___________________________________________________________ Address ______________________________________________________________ City____________________ State/Province_____________ Country__________ Phone______________________________ FAX_______________________________ Email_________________________________________________________________ I plan to attend the course 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 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)