From agt@daimi.dk  Fri Mar 23 05:58:02 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA29434; Fri, 23 Mar 90 05:58:02 PST
Received: from daimi.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA05364; Fri, 23 Mar 90 06:01:47 PST
Received: from uranus.daimi.dk by daimi.dk via EUnet with SMTP
        (5.61++/IDA-1.2.8) id AA02018; Thu, 22 Mar 90 11:39:13 GMT
Date: Thu, 22 Mar 90 11:39:13 GMT
From: Ann Grete Tan <agt@daimi.dk>
Message-Id: <9003221139.AA02018@daimi.dk>
To: info-hol@clover.ucdavis.edu
Subject: HOL90 - Aarhus University, Denmark


        Here's the information requested about Aarhus.  We are keen to
        host the meeting in order to give our students the opportunity to attend.
        They are presently doing MSc's and obtaining funding for them to visit the
        US or Canada is impossible:


        Proposal to Host the 1990 HOL User's Group Meeting
        ==================================================

        Venue:          Aarhus University, Aarhus, Denmark

                        The university is situated in a park, a walk away from the
                        centre of Aarhus.  Aarhus started out as a small Viking town
                        and is now the second largest town in Denmark, after
                        Copenhagen, with around a third of a million
                        inhabitants.  It is by the sea and has an attractive old
                        centre with a lively night life and colourful Caf\'es.
                        Aarhus is well known in Denmark for it's music - ranging
                        from rock to symphonic.

        Organizer:      Glynn Winskel, Computer Science Department,
                        Aarhus University

        Airport:        Tirstrup Airport is 30 minutes (by airport bus)
                        from the university.  Most flights come via
                        Copenhagen, though there are daiy flights direct
                        from London Gatwick (at a very good APEX rate).

        Seaport:        DFDS ferries sail daily from Harwich to Esbjerg
                        which is 2-3 hours train ride to Aarhus.  The boat
                        trip is overnight, takes 18 hours and is generally pleasant
                        (modulo the weather, of course).

        Accommodation:  Some self-catering rooms (75 kroner/ 7 pounds a night)
                        and two bedroom apartments can be had in the university
                        park. Cheaper hotel rooms, with breakfast, cost around
                        350 kroner (about 32 pounds) a night.
                        There is also a youth hostel situated near a small wood,
                        less than 20 minutes walk away.

        Meals:          A variety of places to eat in the university park
                        and nearby town centre.  A conference dinner could be
                        arranged.

        Dates:          Open to discussion

        Local Interest: Nearby woods and sandy  beaches. The botanical gardens, within
                        walking distance, includes "Den Gamle By" an old village
                        reconstructed from old buildings from around Denmark.
                        The local museum, Moesgaard, has recontructed Viking
                        houses, the Grauballe man (a 2,000 year old mumified
                        bog man). Possibility of visiting local science park.



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

PS. Apologies to those who have seen this before - the message was not
    fully circulated last time it was sent. - Ann-Grete Tan.







