| 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 |