Activities 1998 2018

Filter
Workshop, seminar, course or exhibition

Workshop: Thirty Five years of Automath, Edinburgh

Michael Franssen (Organiser)
10 Apr 2002

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

Workshop on Proof Search in Type-Theoretic Languages, Lindau, Germany

Michael Franssen (Organiser)
5 Jul 1998

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific