Date: Wed, 9 Aug 89 16:51 BST
From: mjcg%cam.sri.com%Warbucks.AI.SRI.COM@murtoa.cs.mu.oz (Mike Gordon)
To: info-hol@clover.ucdavis.edu
Cc: windley@cheetah.ucdavis.edu, info-hol-request@clover.ucdavis.edu
Subject: Re: info-hol
In-Reply-To: windley's message of Wed, 09 Aug 89 084523 -0800
Status: RO



                   SECOND INTERNATIONAL HOL USERS MEETING

                     Third Announcement and Booking Form


The Second International HOL Users Meeting will be held on December 14 and 15
in:

   Trinity Hall
   Trinity Lane
   Cambridge CB2 1TJ
   England

The aims of the meeting are:

   1. To disseminate information about the HOL system and its use
      (copies of the new manual, tutorials and documented case studies
      will be available).

   2. To provide an opportunity for HOL users from around the world
      to meet each other to discuss common interests, problems etc.

   3. To provide a forum for planning future developments of the
      HOL system and its use.

The detailed format of the meeting has not yet been decided, but will include talks
on aspects of HOL, new developments of the system and new applications of it.
Boards will be provided for displaying posters, descriptions of ongoing work etc;
attendees are encouraged to bring material to be pinned on these.

The meeting will be free to students. The cost to others will be 30 pounds
sterling. This will include tea and coffee during the meeting, but not meals or
accomodation. Trinity Hall can provide Bed and Breakfast for 19 pounds a night;
early booking is advised. There will be an optional conference dinner in the
college on December 14; this will cost 20 pounds (everything included).

If you would like to attend, please fill out the form below and send it to:


   Mike Gordon                        |  mjcg%cam.sri.com@Warbucks.ai.sri.com
   University of Cambridge            |
   Computer Laboratory                |  or
   New Museum Site                    |
   Pembroke Street                    |  mjcg@cl.cam.ac.uk
   Cambridge CB2 3QG, UK.             |


...................................cut here...................................


          BOOKING FORM FOR SECOND INTERNATIONAL HOL USERS MEETING
          =======================================================


NAME:

ADDRESS:




EMAIL:

TELEPHONE:

FAX:

I wish to attend the HOL Users Meeting                   YES/NO

I am a full-time student                                 YES/NO
(cost for non-students is 30 pounds)

I would like to book Bed and Breakfast for      13 Dec   YES/NO
(cost 19 pounds a night)                        14 Dec   YES/NO
                                                15 Dec   YES/NO

I would like to attend the Conference Dinner             YES/NO
on 14 December (cost 20 pounds)

I would like to bring .... guests to the Dinner          YES/NO
(20 pounds per guest)

I am able to bring some poster material                  YES/NO

I would like a copy of the new HOL documentation         YES/NO
(this will be sold at cost price)

It would help if you could send in advance (e.g. with your booking):

   (i) the conference fee (non-students),
   (ii) the cost of Bed and Breakfast, and
   (ii) payment for dinner.

Payment on arrival is possible, however.

N.B. Payment must be in pounds sterling please
     (otherwise we lose out on exchange fees).
     Cheques should be made payable to SRI International.

..............................................................................

ENCLOSED:     Conference fee (if applicable)             ........ pounds
--------
              Accomodation                               ........ pounds

              Conference Dinner                          ........ pounds

              Total                                      ........ pounds

..............................................................................