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.