Courses 1999-2000

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