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, 7 Feb 1993 19:49:11 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA21923; Sun, 7 Feb 93 11:39:40 -0800 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 AA21918; Sun, 7 Feb 93 11:39:32 -0800 Received: by grolsch.cs.ubc.ca id AA25020 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Sun, 7 Feb 1993 11:39:10 -0800 Date: 7 Feb 93 11:39 -0800 From: Jeffrey Joyce To: info-hol@edu.uidaho.cs.ted Message-Id: <6080*joyce@cs.ubc.ca> Subject: HUG 93 I have already had several people asking about the exact dates of HUG 93 -- the 1993 HOL Users Group Workshop. For those of you also wondering about dates, here they are: We have planned for a 3-day meeting August 11-13 (wed -> fri). We also have tentative plans for running an introductory level HOL course Aug 9-10 (mon->tues). As well, we have tentative plans to run a 5-day course on formal hardware verification (theorem proving as well as other approaches) August 2-6. (The formal hardware verification course is a separate event from the HOL workshop but we have scheduled them together for the convenience of those who might like to attend both events.) We expect to post a detailed announcement about HUG 93 in several weeks.