EEF Foundations school in Deduction and Theorem Proving
Heriot-Watt University, Edinburgh
6-16 April 2000
http://www.cee.hw.ac.uk/~fairouz/ukiischool.html
REMINDER THAT GRANT APPLICATIONS DEADLINE: 15 March '99
APPLICATION FORMS ARE ON ABOVE URL.
DEADLINE FOR TUTORIAL SUBMISSIONS: 15 March '99
In order to guarantee accommodation, it is advisable that your
application is sent as soon as possible.
Questions:
Questions should be sent to [EMAIL PROTECTED]
Organisers:
Fairouz Kamareddine and Alan Mycroft
URL: http://www.cee.hw.ac.uk/~fairouz/ukiischool.html
