Birmingham, Autumn 1999 | Manfred Kerber | Introduction to Mechanised Reasoning |
---|---|---|
Eike Ritter | Introduction to Type Theory | |
Mark Ryan /Marta Kwiatkowska | Introduction to Verification | |
Nottingham, Spring 2000 | Graham Hutton | Introduction to Category Theory |
Natasha Alechina | Introduction to Model Theory | |
Roland Backhouse | Mathematics of Program Construction | |
Leicester, Spring/Summer 2000 | Neil Ghani | Rewriting |
Roy Crole | Co-algebras | |
Rick Thomas | Formal Languages and Group Theory |