From mjcg%cam.sri.com@ai.sri.com  Tue Oct 10 02:36:01 1989
Received: by iris (5.57/3.14)
        id AA09856; Tue, 10 Oct 89 02:36:01 PDT
Received: from Warbucks.AI.SRI.COM by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA28123; Tue, 10 Oct 89 02:19:35 PDT
Received: from drakes.ai.sri.com by Warbucks.AI.SRI.COM with INTERNET ;
          Tue, 10 Oct 89 02:17:09 PDT
Received: from cam.sri.com by drakes.ai.sri.com (4.1/4.16)
        id AA22973 for info-hol@clover.ucdavis.edu; Tue, 10 Oct 89 02:18:25 PDT
Received: from gwyndir.cam.sri.com by cam.sri.com (4.0/4.16)
        id AA24251 for info-hol@clover.ucdavis.edu; Tue, 10 Oct 89 10:17:55 BST
Received: by gwyndir.cam.sri.com (4.0/4.16)
        id AA25419 for info-hol@clover.ucdavis.edu; Tue, 10 Oct 89 10:17:53 BST
Date: Tue, 10 Oct 89 10:03 BST
From: mjcg%cam.sri.com@Warbucks.AI.SRI.COM (Mike Gordon)
To: info-hol@clover.ucdavis.edu
Subject: HOL Meeting
Message-Id: <mjcg.89.10.10.10:03.040@gwyndir>

                               HOL MEETING
                               ===========

We have already lined up a selection of interesting speakers for the HOL Users
Meeting (some familiar, some new). However, since HOL is now distributed from
several sources, there may be users that we at Cambridge don't know about
doing interesting new research. If you are a member of such a group, please
feel free to volunteer to give a presentation of your work with HOL.

During the meeting, it is planned to have a discussion session on system
issues.  If you have any topics you would like discussed, please send me
details. If you can produce material to circulate (e.g. via info-hol), then it
will be possible to develop views on the issues before the meeting.

Mike Gordon

P.S. The new manual is behind schedule .. but it is getting there slowly.



