Workshop on Thirty Five years of Automath
Informal Proceedings
Edited by Fairouz Kamareddine
Heriot-Watt University, Edinburgh
Wednesday 10-Saturday 13 April 2002
http://www.cedar-forest.org/forest/events/automath2002/informal-proceedings/
Editorial by Fairouz Kamareddine.
Program
Table of Contents
Abstracts and list of the invited talks.
Accepted long talks.
Accepted short talks.
Contributed talks.