How to get to TPHOLs 2001

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]

Directions for Getting to TPHOLs 2001

Edinburgh has its own international airport with connections via London and Amsterdam, and direct flights to many major European cities. Glasgow Airport offers further options including direct flights from North America. Connections from North America are also available via Manchester airport. Edinburgh has good road and rail links with the rest of the United Kingdom. The train journey from London takes about five hours.

Map of Central Edinburgh

Key to Map Locations

Jury's Inn, 43 Jeffrey Street
Hotel Ibis, 6 Hunter Square
Royal Terrace Hotel, 18-22 Royal Terrace
Travel Inn, 1 Morrison Link
Coach stop: Market Street (Fruit Market Gallery) for CHARME attendees
Royal Museum of Scotland, Chambers Street
Old College (South Bridge) and TPHOLs venue (South College Street)

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.

1. Getting to Your Hotel

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).

2. Getting to the TPHOLs Sessions

Apart from the joint session with CHARME 2001 (see below), all the TPHOLs sessions will be held at the University (of Edinburgh) Conference and Training Centre, 15 South College Street. The building is a converted church. It is located to the south of Old College, which is on South Bridge, close to the point at which South Bridge becomes Nicolson Street [map location 7].

3. Getting to the Joint Session with CHARME

The Joint Session with the CHARME conference takes place in Edinburgh on Wednesday 5 September. The venue for the Joint Session is the Lecture Theatre within the Royal Museum of Scotland [Conditions of entry]. The main entrance to the Royal Museum of Scotland is on Chambers Street [map location 6]. Note that there are two museums on Chambers Street. The Royal Museum is the older museum and has a series of stone steps from street level up to the front doors.

4. Getting to the Excursion

The joint conference excursion will take place on the afternoon of Wednesday 5 September. The excursion is to Traquair Castle which lies approximately 27 miles to the south of Edinburgh. Excursion coaches will depart at 12.45pm from the front entrance of the Royal Museum of Scotland on Chambers Street [map location 6]. The visit to Traquair Castle will last around 3 hours; coaches will depart Traquair Castle at 5pm, reaching Edinburgh by 6.30pm at the latest. While the coaches will return to the front of the Royal Museum of Scotland [map location 6], there will be the opportunity to alight earlier, in particular to the south of the city centre where the majority of bed-and-breakfast accommodation is situated.

5. Getting to the Conference Dinner

The joint conference dinner takes place within the Playfair Library Hall on the evening of Wednesday 5 September. The dinner will be preceded by a drinks reception in the Raeburn Room. The reception starts at 7.30pm while dinner is served at 8pm. Both the Raeburn Room and the Playfair Library Hall are located within the University of Edinburgh's Old College which is located on South Bridge, just around the corner from Chambers Street [map location 7].

6. Joint TPHOLs/CHARME Registrants

If you have joint registration then you may like to attend TPHOLs on the morning of Thursday 6 September and CHARME in the afternoon. To enable you to do this a mini-coach service has been arranged between Edinburgh and the ISLI. The service will pick-up joint registrants from outside the TPHOLs conference site in South College Street at 12:30pm on Thursday 6 September. Note that this service is provided on a first-come-first-served basis and will accommodate 16 persons.

7. Getting Around Edinburgh

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.

Central Radio Taxis:	(0131) 229 2468
City Cabs:	(0131) 228 1211