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.