From gwinskel@daimi.dk  Thu May 10 09:36:31 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA01843; Thu, 10 May 90 09:36:31 PDT
Received: from daimi.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA05839; Thu, 10 May 90 03:58:05 PDT
Received: from miranda.daimi.dk by daimi.dk with SMTP
        (5.61++/IDA-1.2.8) id AA26056; Thu, 10 May 90 12:53:56 +0200
Date: Thu, 10 May 90 12:53:56 +0200
From: Glynn Winskel <gwinskel@daimi.dk>
Message-Id: <9005101053.AA26056@daimi.dk>
To: info-hol@clover.ucdavis.edu
Subject: Date of the HOL90 meeting

We'd like to fix the dates of the International HOL meeting at Aarhus within
the next few weeks.  One suggestion, and I think a good one, is to have the
meeting close to the Hardware Verification meeting in Oxford from 26-28
September, so giving those from the US and Canada a better chance of attending
the two.  Given that the 29-30 Sep is a weekend, I propose having the meeting
begin Monday 1 October.  Comments (preferably to the HOL bb) are welcome.



