From windley@cheetah  Wed Feb 28 14:34:34 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA17504; Wed, 28 Feb 90 14:34:34 PST
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA19500; Wed, 28 Feb 90 14:39:23 PST
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA00382; Wed, 28 Feb 90 14:34:15 PST
Message-Id: <9002282234.AA00382@cheetah.ucdavis.edu>
To: info-hol@clover
Subject: HOL 90
Date: Wed, 28 Feb 90 14:34:14 -0800
From: Phil Windley <windley@cheetah>


Hi all,

At the 1989 HOL User's Group meeting I volunteered to head up figuring out
where the meeting should be held in 90.  This message is intended to
solicit responses from organizations that wish to sponsor the meeting (that
is, host all of us for a few days next fall).  Later, I will have a vote on
where YOU would like it to be.

So far, we have the following entries:

Aarhus University, Denmark
Univeristy of British Columbia, Vancouver
University of California, Davis

If you would like to sponsor the event, please send me the name of the
sponsoring organization, the times when you would be able to sponsor it,
and any advertising that you would like included in the call for votes  (I
need this info from Aarhus and UBC as well).

Thanks.

--phil--

Phil Windley                          |  windley@cheetah.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!cheetah!windley
University of California, Davis       |
Davis, CA 95616                       |  (916) 752-6452 (or 3168)

