From gwinskel@daimi.aau.dk  Thu Sep  6 06:05:18 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA12083; Thu, 6 Sep 90 06:05:18 PDT
Received: from daimi.aau.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA03375; Thu, 6 Sep 90 06:08:48 PDT
Received: from miranda.daimi.aau.dk by daimi.aau.dk with SMTP
        (5.61++/IDA-1.2.8) id AA06138; Thu, 6 Sep 90 12:26:26 GMT
Date: Thu, 6 Sep 90 12:26:26 GMT
From: Glynn Winskel <gwinskel@daimi.aau.dk>
Message-Id: <9009061226.AA06138@daimi.aau.dk>
To: info-hol@clover.ucdavis.edu
Subject: HOL meeting---a correction



                THIRD INTERNATIONAL HOL USERS MEETING

                  Announcement and Booking Form
                  *******AND CORRECTION*********
(Please note the conference dinner will be on Monday 1 October, instead of the
2 October)


The Third International HOL Users Meeting will be held on October 1 and 2
in:

   The Computer Science Department
   Aarhus University
   Ny Munkegade
   8000 Aarhus C
   Denmark

The aims of the meeting are:

   1. To disseminate information about the HOL system and its use.

   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 displayed.
We will also do our best to provide slots for all those wishing to give
presentations.

The meeting will be free to students. The cost to others will be
300 Danish kroner.
This will include tea and coffee during the meeting,
but not meals or accomodation.  There will be a limited number of on-campus
rooms with breakfast and otherwise hotel
accomodation at 350 kroner a night (breakfast included)---early booking is
advised. There will be  conference dinner in the University
on October 1; this will cost 200 kroner (wine included).

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


   Kirsten Kaadt                        |    kaadt@daimi.dk
   Department of Computer Science       |
   Aarhus University                    |
   Ny Munkegade                         |
   8000 Aarhus C                        |
   Denmark                              |



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


          BOOKING FORM FOR THIRD 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 300 kroner)

I would like to book Bed and Breakfast for      30 Sep   YES/NO
(cost 350 kroner a night)                        1 Oct   YES/NO
                                                 2 Oct   YES/NO

I would like to attend the Conference Dinner             YES/NO
on 1 October (cost 200 kroner)

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

I am able to bring some poster material                  YES/NO

I would like to give a presentation                      YES/NO
If so please include a title and short abstract:
TITLE:
SHORT ABSTRACT:








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.


N.B. Payment must be in Danish kroner please
     (otherwise we lose out on exchange fees).
     Cheques should be made payable to HOL Users Meeting, Computer Science
     Dept., Aarhus University.

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

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

              Conference Dinner                          ........ kroner

              Total                                      ........ kroner

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









