SAT 2005 Travel Information Eighth International Conference on Theory and Applications of Satisfiability Testing

June 19th-23rd 2005 University of St. Andrews Conference Centre St. Andrews, Scotland

Traveling to St. Andrews

The conference meetings and accommodation will be located on the University campus.

• Click here for information about getting to St. Andrews. Please note that if flying into Edinburgh and you want to travel to St. Andrews by train to Leuchars the appropriate rail station is Haymarket Station. (Read the first paragraph in the getting to St. Andrews link)
• For maps of the campus (including the halls of residence were conference participants will be staying) click here. (See bottom of page for a scrollable map of the campus).
• For some about the type of accommodation available click here.
• For a PDF map of the campus is here.

Some Updated Travel Information (courtesy of our local arrangements chair Ian Miguel).

These details augment the above pages with some more specific  information.

From Edinburgh Airport:

The easiest option is the airport bus, which travels from the airport to Waverley Bridge (the location of Waverley railway station) every 10 mins at a cost of 3GBP. It is also possible to buy a return ticket, which would be useful if also leaving by Edinburgh airport.

By taxi, there are three sensible destinations:

1. Waverley railway station, as above.
2. St Andrew Square bus station.
3. Haymarket railway station.

Time by taxi is estimated at 25 mins, with fares varying by distance travelled (it will be significantly more expensive than the bus). It is likely that a taxi to Haymarket would be the cheapest, but this is only useful if you want to travel from Edinburgh by rail. The other two are very close together.

Travel from Edinburgh to St Andrews:
From Haymarket or Waverley railway stations you should buy a ticket for Leuchars station. The trains are very frequent and are operated by Scotrail, Virgin, and GNER. From Leuchars, there are frequent buses to St Andrews, or you can take a taxi.

If you would prefer to travel to St Andrews by bus, you need to get to St Andrews Square bus station. This is close to Waverley railway station. From the entrance to Waverley Station looking across
the road towards the park, turn right and walk to the corner of Waverley Bridge and Princes street. Turn right and cross Princes Street in front of the Princes Mall, and continue walking up the hill on South
St Andrew St into St Andrew Square. The bus station is on your right. You then need to take the X60 bus to St Andrews bus station (this is a bus journey of just over 2 hours). NB Pay the driver of the bus.

From St Andrews bus station to John Burnet Hall:
Leave by the main entrance to the bus station. Turn left down the hill. At the roundabout turn left and follow the road down the hill and around the corner. John Burnet Hall is on the left.

Rental Cars from the airport.
See: http://www.baa.com/main/airports/edinburgh/ for details.
 

Information about St. Andrews

Here are some websites for local attractions:

http://www.fifeattractions.com/pages/index.asp (gives an overview of Fife, but omits the Old Course and St. Andrews Cathedral)

http://www.saint-andrews.co.uk/ (a comprehensive site about Fife itself).
 

Campus Map

Click here for a map of the campus. Accommodation will be in John Burnet (No. 18, square F2) while the conference meetings will be in the Gateway Building (No. 12, square E2).