EEF Foundations School of Deduction and Theorem Proving

• To: types@cis.upenn.edu
• Subject: EEF Foundations School of Deduction and Theorem Proving
• From: Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
• Date: Fri, 24 Mar 2000 14:51:45 +0000

			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

• Prev: FICS 2000, change in submission guidleines
• Next: HLCL 00 -- call for papers
• Index(es):
  • Main
  • Thread