How to get to the Scottish Theorem Proving Seminar

By train

There are regular direct trains to Stirling from Edinburgh and Glasgow, and a less frequent service from Dundee. A taxi is the easiest way to get from the train station to the University. Taxis are available at the station itself. The fare is about 5-6. Alternatively, there is a bus stop (NOT the bus station) about 3 minutes walk from the train station, from which you can take a bus to the university. These busses are frequent (every 10 mins or so) and cost about 1. The bus goes right into the University campus. You should get off at Queens Court (the roundabout at the top of the hill).

By car

Stirling is well served by the Motorway from the south, or by the A9 from the North. Leave the Motorway at its junction with the A9 near Dunblane, and take the road to Bridge of Allan. Drive through Bridge of Allan. The University is just at the end of Bridge of Allan on the left.

...And where do I go to on campus?

Maps of the campus (and other useful travel information) are available here. The meeting is in room 2B74, which is on the ground floor of the Cottrell Building.