The 12th Workshop on Automated Reasoning
Bridging the gap between theory and practice

29th and 30th July 2005

[Home Page] [Previous Workshops] [Call for Papers] [Guide for Authors] [Programme]
[Related Event] [How to Get There] [Weather and Tourism] [Registration] [Accommodation
[Sponsors] [Student Bursaries]


Directions for Getting to ARW 2005

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

Map of Central Edinburgh

Key to Map Locations

  1. Jury's Inn, 43 Jeffrey Street
  2. Hotel Ibis, 6 Hunter Square
  3. Royal Terrace Hotel, 18-22 Royal Terrace
  4. Travel Inn, 1 Morrison Link
  5. Royal Museum of Scotland, Chambers Street
  6. Old College (South Bridge) and ARW 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.

Getting to Your Hotel

Getting to NeSC

The National e-Science Centre also maintains contact information about travel to Edinburgh, directions to the centre, and accommodation, which you may find convenient when planning your trip.

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