From gwinskel@daimi.dk  Wed Jun 20 06:42:52 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA11266; Wed, 20 Jun 90 06:42:52 PDT
Received: from daimi.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA09392; Wed, 20 Jun 90 06:45:51 PDT
Received: from miranda.daimi.dk by daimi.dk with SMTP
        (5.61++/IDA-1.2.8) id AA02131; Wed, 20 Jun 90 15:40:23 +0200
Date: Wed, 20 Jun 90 15:40:23 +0200
From: Glynn Winskel <gwinskel@daimi.dk>
Message-Id: <9006201340.AA02131@daimi.dk>
To: info-hol@clover.ucdavis.edu
Subject: International HOL meeting

Just to let people know that the HOL meeting at Aarhus will take place
the 1-2 October 1990.  A formal announcement with application details
will appear shortly.


