School of Deduction and Theorem Proving (DTP'00)

Heriot-Watt (Edinburgh), April 5-16, 2000
ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UK Institute of Informatics,


The school of Deduction and Theorem Proving takes place at Heriot-Watt University, Edinburgh, 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 school's location. They will have your details, room number and other necessary information.

The school takes place at the Department of Computing and Electrical Engeneering, Mountbatten building, Room 2.44 (on the second floor). Here is a coloured Map of Heriot-Watt University Riccarton Campus Here is a Tour of Edinburgh.