EEF Foundations School of Deduction and Theorem Proving

PROGRAMME AND CALL FOR PARTICIPATION
EEF Foundations School of Deduction and Theorem Proving
Heriot-Watt (Edinburgh), April 6-16, 2000
-------------------------------------------------------
The above school gives good training into:
1) the provers Coq and Isabelle
2) Algorithmic proofs, Modal and Temporal Logic
3) Type Theory and Lambda Calculus (both basic and advanced)
4) The system ELAN
In addition, the school touches on the provers Nuprl, AUTOMATH and
Lego and other relevant issues to automation.
The programme is now available on
http://www.cee.hw.ac.uk/~fairouz/ukiiprogram.html
Information on registration and accommodation is on
http://www.cee.hw.ac.uk/~fairouz/ukiischool.html
For questions, contact fairouz@cee.hw.ac.uk