EEF Foundations school in Deduction and Theorem Proving

Heriot-Watt University, Edinburgh

6-16 April 2000

http://www.macs.hw.ac.uk/~fairouz/ukiischool2000/ukiischool.html