From cr@daimi.aau.dk  Fri Sep 21 05:06:10 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA01942; Fri, 21 Sep 90 05:06:10 PDT
Received: from daimi.aau.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA14352; Fri, 21 Sep 90 05:14:23 PDT
Received: from jaaren.daimi.aau.dk by daimi.aau.dk with SMTP
        (5.61++/IDA-1.2.8) id AA22353; Fri, 21 Sep 90 14:09:51 +0200
Date: Fri, 21 Sep 90 14:09:51 +0200
From: Carsten Rickers <cr@daimi.aau.dk>
Message-Id: <9009211209.AA22353@daimi.aau.dk>
To: info-hol@clover.ucdavis.edu
Subject: HOL Meeting



To the participants in the HOL Meeting 1990 in Aarhus


Here is just some practical information.

We have made the following Hotel reservations:


At

Hotel Ansgar
Banegaardsplads 14
8100 Aarhus C
tlph. 86124122

Andersen, Flemming
Archer, Myla M.
Arthan, R.D.
Blackburn, Kevin
Curzon, Paul
Gordon, M.J.C.
Gunter, Elsa L.
Hale, Roger
Herbert, John
Kars, Pim
MacEwen, Glenn
Melham, Tom
Newey, Malcolm
Nyblad, Karsten
Petersen Dam, Kim
Von Wright, Joakim
Woodcock, Mark E.



At

Pressens Uddanelses Center (PUC)
Vennelystparken
Hoegh-Guldbergs Gade 4
8000 Aarhus C
tlph 86136233

Boulton, J. Richard
Cardell-Oliver, Rachel
Graham, Brian
Joyce, Jeff
Leonard, Tim
Marcondes, Catia Angelo
Slind, Konrad
Van Tassen, John
Wim, Ploegaerts


At

Ringgaden 68
8200 Aarhus N

Camilleri, Juanito
Kalvala, Saraswati



If you arriving with plane

Just take the airport coach to the railway station.


If you are by Train

The Hotel Ansgar is located just left to the railway station.
The easiest way to get to the other accomodations are with taxis
(about 40 - 50 kr to get to PUC and a little to get to Ringgaden 68)


To get to the conference:

The conference is held at The Mathematical Institute on Aarhus University
at Ny Munkegade.
Registration will be ouside rooms D3 and D4 on the second floor in the
Mathematical Institute.

There will be maps and other information ready for you when
you arrive at your hotel.



Looking forward to meeting you.



       Yours sincerly

       Brian Andersen and Carsten Rickers

