From Avra.Cohn@uk.ac.cambridge.computer-lab Tue Nov 27 05:47:21 1990
Received: from [+JANET.000040010160/FTP.MAIL] by eagle.eng.warwick.ac.uk; Tue, 27 Nov 90 05:47:19 GMT
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <12795-34@sun2.nsfnet-relay.ac.uk>;
          Tue, 27 Nov 1990 02:23:38 +0000
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa25589; 26 Nov 90 23:32 GMT
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0) id AA17850;
          Mon, 26 Nov 90 13:51:02 -0800
Received: from sun2.nsfnet-relay.ac.uk
          by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11) id AA13265;
          Mon, 26 Nov 90 13:53:10 PST
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <4778-10@sun2.nsfnet-relay.ac.uk>;
          Mon, 26 Nov 1990 15:59:20 +0000
Received: from sun2.nsfnet-relay.ac.uk by vax.NSFnet-Relay.AC.UK via Janet
          with NIFTP id aa11442; 26 Nov 90 14:51 GMT
Received: from cl.cam.ac.uk by gannet.cl.cam.ac.uk with SMTP (PP)
          id <21265-0@gannet.cl.cam.ac.uk>; Mon, 26 Nov 1990 15:17:13 +0000
Received: by uk.ac.cam.cl.dipper (4.0/SMI-3.0DEV3) id AA01450;
          Mon, 26 Nov 90 15:17:04 GMT
Date: Mon, 26 Nov 90 15:17:04 GMT
From: Avra.Cohn@uk.ac.cambridge.computer-lab
Message-Id: <9011261517.AA01450@uk.ac.cam.cl.dipper>
To: info-hol@edu.ucdavis.clover
Cc: Avra.Cohn@uk.ac.cambridge.computer-lab
Subject: HOL Users Group Mtg 1991
Status: R



             * * * HOL USERS GROUP MEETING 1991 * * *

At the last meeting, I agreed to coordinate the selection of the venue
for the 1991 meeting.  As a first step, could anyone willing to host
the next meeting please send me their proposal?  Any time constraints
should be included, too.

Replies by the end of December, please, if possible.  I will then send
out the list of choices early in January.  We hope to conduct the poll
by the end of Jan.

Thanks!                                                    - Avra Cohn





