Winter Workshop of Logic, Types and Rewriting

Cedar Room, Heriot-Watt University (Edinburgh)

February 1-3, 2000 HEIGHT=43 WIDTH=89>
ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UK Institute of Informatics,



The workshop of Logic, types and rewriting takes place at Heriot-Watt University, Edinburgh, the capital of Scotland. Heriot-Watt University is situated in the Riccarton Campus.

A Taxi from Edinburgh airport (which is situated to the west of the city of Edinburgh and which is not far from the Riccarton campus), takes about 10 minutes and costs around 12 pounds. An alternative (but longer route) is to take the bus (which runs frequently) from the airport to the city centre and then take a bus from the city centre to Heriot-Watt University. This costs about 3.5 pounds but takes up to two hours.

The bus to Heriot-Watt (Riccarton-Campus) will stop you at the James-Watt Centre where the university RECEPTION (OPEN 24 HOURS a DAY) is located. If coming by taxi and have booked accommodation with us, ask the driver to stop you at James-Watt Centre. The RECEPTIONIST (OPEN 24 HOURS A DAY) at James-Watt centre can direct you either to your accommodation or to the workshop's location.

The school takes place in the cedar room in the Hugh Nisbet building.