Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <11357-0@swan.cl.cam.ac.uk>; Wed, 26 Feb 1992 19:06:17 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA29678; Wed, 26 Feb 92 10:47:49 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA29626; Wed, 26 Feb 92 10:47:41 -0800 Received: by grolsch.cs.ubc.ca id AA29055 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Wed, 26 Feb 1992 10:50:11 -0800 Date: 26 Feb 92 18:50 From: Jeffrey Joyce To: claesen Cc: info-hol Message-Id: <4275*joyce@cs.ubc.ca> Subject: HOL-93 workshop Proposal to Host the 1993 HOL User's Group Meeting ================================================== Venue: University of British Columbia (UBC) Campus, Vancouver, Canada Organizers: Jeff Joyce, Carl Seger and other members of the Integrated Systems Design Group, Department of Computer Science, University of British Columbia. Airport: Vancouver International Airport is 20 minutes (by car) from the UBC campus with direct flights from Europe, Asia and many US cities. The nearest US city, Seattle, is about three hours away (by car). Accommodation: Self-catering suites for 1-3 persons at approximately $50 per room per night in conference center hotel (on campus) ... 15 minutes walk from the beach ! Dates: August or September of 1993. Studentships: If this proposal is accepted, we would seek funding for student travel bursaries. Our goal would be to partially cover the travel expenses of 10-15 students (between $500 and $1500 per student). Format: We propose a 5-day workshop with the following format: Monday and Tuesday: A two day introductory course on the HOL system including some laboratory exercises. Wednesday: A one day tutorial overview of the HOL system with emphasis on the applications of the HOL system in the specification and verification of mixed hardware software systems. Thursday and Friday: A two day symposium devoted to presentation and discussion of recent research directly related to the HOL system. There would be separate registrations for each of the three above components of the workshop. (We anticipate that some participants will only want to attend the last part of this 5-day workshop.) Special Events: We propose two special events to follow the 5-day workshop: "Sailing Expedition" - On the Saturday following the workshop we propose to organize a half or full day tour of English Bay in a skippered sailing boat ... or possibly a longer trip out to the Gulf Islands. (Our multi-talented research group includes a qualified skipper !) "Hardware Verification Course" - In the week following the workshop, we (tentatively) propose to organize a 3-day course on "Formal Hardware Verification" (which would also be held on the UBC campus). This course would cover the three main approaches to formal hardware verification, namely, symbolic simulation, state machine analysis, and theorem-proving. The course would include laboratory access to supporting software tools. Local Interest: The UBC Campus features outstanding outdoor recreational opportunities: sandy ocean beaches (15 minutes walk from thecampus); botanical gardens on campus; walking trails in an adjacent forest of towering cedars and Douglas firs. Across town, there are hiking trails on the mountains overlooking the city of Vancouver. Nearby, in the Gulf Islands (1-2 hours away by ferry boat), there are many opportunities for a variety of outdoor activities such as bike touring, sailing, salmon fishing and wildlife watching (including whale watching).