Thirty Five years of Automath

• To: types@cis.upenn.edu
• Subject: Thirty Five years of Automath
• From: Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
• Date: Mon, 04 Mar 2002 13:05:55 +0000
• Cc: fairouz@cee.hw.ac.uk

		Thirty Five years of Automath
		Heriot-Watt University, Edinburgh
		Wednesday 10-Saturday 13 April 2002
		http://www.cee.hw.ac.uk/~fairouz/automath2002/

		PROGRAM ANNOUNCEMENT AND CALL FOR REGISTRATION
	http://www.cee.hw.ac.uk/~fairouz/automath2002/program.html
		

Deadline for cheap registration:  10 March 2002

Queries: email fairouz@cee.hw.ac.uk

• Prev: ETAPS 2002: LAST DAYS OF EARLY REGISTRATION
• Next: Flocasa: 1st Call for Paper
• Index(es):
  • Main
  • Thread