The 14th International Conference on Theorem Proving in Higher Order Logics
3-6 September 2001, Edinburgh, Scotland
[Home Page][Conference History][Call for Papers][Guide for Authors][Programme]
[Related Events][How to Get There][Weather and Tourism][Registration][Accommodation]
[Sponsors][Student Bursaries][Proceedings][Photos][Business Meeting][TPHOLs 2002]
CAUTION: Edinburgh is built on more than one level, so a flat map can be deceptive. For example, North Bridge does not intersect with Market Street; rather North Bridge goes over Market Street.
The four recommended conference hotels [map locations 1-4] are all located in and around the centre of Edinburgh.
Arriving by Train: The main railway station is called Edinburgh Waverley. The exit on the south side of the station (near platforms 20 and 21) brings you onto Market Street and a two-minute walk to the Jury's Inn in Jeffrey Street [map location 1]. For the other three conference hotels a short taxi ride is recommended. Note that Haymarket railway station (four minutes by train west of Edinburgh Waverley) is within walking distance of the Travel Inn [map location 4].
Arriving by Air (Edinburgh): Taxis and a regular bus service operate between Edinburgh airport and the centre of Edinburgh. A taxi ride from the airport to the centre of Edinburgh will cost around 15 pounds sterling. The airport buses (about 5 pounds sterling for an open return ticket) terminate on Waverley Bridge opposite the main entrance to Edinburgh Waverley train station. A two-minute walk from Waverley Bridge via Market Street will bring you to the Jury's Inn in Jeffrey Street [map location 1]. For the Royal Terrace Hotel and Hotel Ibis, a short taxi ride is recommended. Note that the airport bus will make a stop at Haymarket, which is within walking distance of the Travel Inn [map location 4] -- just ask the driver to let you know when to get off.
Arriving by Air (Glasgow): There is a frequent bus service (No. 905) to Glasgow city centre with drop off points at various locations in the city including close to Queen Street railway station and at Buchanan Bus Station.
From Buchanan Bus Station take a coach to Edinburgh. Two companies operate the Glasgow to Edinburgh route: Scottish Citylink (Service 900) and M8 Motorvator. The Citylink coach usually departs from just around the corner (Stand 48) in the bus station from where the airport bus arrives (Stand 46). (The bus station has stands on four sides around a quadrangle.) The M8 Motorvator usually departs from the same side of the station (Stand 45) as the airport bus. Citylink sometimes borrow other companies' vehicles, so the coach may not be in their usual blue and yellow livery.
Both services get on the M8 motorway almost immediately and stop at one or two places on the way to Edinburgh. There are also several stopping places on the way into Edinburgh if passengers request them. You will probably want to go to the end of the line at St Andrews Square, but if you are staying at the Travel Inn you might find it better to ask the driver to let you off at Haymarket. A short taxi ride will take you from St Andrews Square (or Haymarket) to the conference hotels.
The Citylink coach runs more often than the M8 Motorvator, especially in the evening. Be aware that some of the Motorvator buses do not go all the way to Edinburgh. There is also an X14 service (Stand 40 at Buchanan Bus Station) that follows a similar route but only operates during the day (i.e. not in the evenings). Another alternative is to take a ScotRail train from Glasgow city centre to Edinburgh. The fast trains leave from Glasgow Queen Street station. However, the train is more expensive, only marginally faster (45 rather than 60-70 minutes for the coach, ignoring delays), and may involve a walk with your luggage through Glasgow city centre (not recommended at night).
Here are the telephone numbers of a couple of taxi companies:
|Central Radio Taxis:||(0131) 229 2468|
|City Cabs:||(0131) 228 1211|
Apart from taxis, there is a reasonable bus service in Edinburgh. Most buses within the city are operated by Lothian Buses. There are frequent buses for getting into and out of the city centre but getting across the city (i.e. not via the centre) can be more difficult. See the bus timetable for more information. Most journeys for adults cost 80 pence (one way) with other prices for unusually short and unusually long journeys, etc. The buses do not give change, so it is worth keeping a stash of silver coins.
For further travel information in and around Edinburgh, see the City of Edinburgh Council's travel information page.