From windley%cheetah.ucdavis.edu Thu, 29 Jun 89
To: info-hol@clover.ucdavis.edu
Subject: HOL User's group meeting
Date: Thu, 29 Jun 89 08:33:41 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu>
Status: RO


Mike asked me to post this message to the list.  There seems to be some
kind of problem posting.  I'm working on it and hope to have it cleared up
in the next little while.

--phil--

-------------------------------------------------------------------------


                 SECOND INTERNATIONAL HOL USERS MEETING

                      Preliminary Announcement


The result of the questionaire about the HOL users meeting  (sent to info-hol
a couple months ago) was that West Coast USA and Cambridge UK were equally
popular venues. The most popular month was September, with December a close
second (one less vote).  There was no time that suited everyone.

After discussing the topic with various people, it has been decided to hold
the meeting in December in Cambridge. By this time the new manual and
tutorials will be finished.


The exact time of the meeting is still to be decided, but it is expected to
last two full days: 14 and 15 December is a possibility currently being
explored. It is hoped to hold the event in a Cambridge college, as was done
last year.  SRI International have agreed to organise the meeting. If you are
interested in further details please send your postal address to:

   Jane Gardiner
   Cambridge Research Centre
   SRI International
   Suite 23, Millers Yard
   Mill Lane
   Cambridge CB2 1RQ

Suggestions on the format of the meeting, nature of the presentations etc. are
requested. Please send these to me.

Mike Gordon




