Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <00983-0@swan.cl.cam.ac.uk>; Thu, 7 May 1992 00:14:06 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA09236; Wed, 6 May 92 15:52:16 -0700 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 AA09232; Wed, 6 May 92 15:52:10 -0700 Received: by grolsch.cs.ubc.ca id AA29322 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Wed, 6 May 1992 15:52:28 -0700 Date: 7 May 92 0:07 +0100 From: Jeffrey Joyce To: info-hol Message-Id: <4670*joyce@cs.ubc.ca> Subject: HUG '93 Even though there's more than a year to go, we have been urged to start booking facilities for the HOL Users Group Meeting in 1993 (which will be held in Vancouver, Canada). We have tentatively booked facilities during the week of August 9th, ie., August 9-13, 1993. Is anyone aware of any other event (eg., conferences) which would conflict with these dates ? If so, I would appreciate hearing about it within the next few days. Even though the facilities need to be booked now, we will try to keep our plans as flexible as possible to allow for input from participants at HUG'92 on the format of HUG'93.