The first course of lectures was given in Birmingham starting on the 31st of
October and running for 5 weeks:
- Martin Escardo: Domain Theory
- Uday Reddy: Reasoning Principles for OO programs
- Achim Jung: Denotational Semantics
- Eike Ritter: Typed lambda calculus
- Marta Kwiatkowska: Probabilistic modelling and verification

The second course was given
in Leicester starting on the 23rd of January 2002:
- Neil Ghani: Elementary Category Theory
- Irek Ulidowski: Concurrency
- Rajeev Raman: The Mathematics of Web Searching

The third course is given in Nottingham starting 27 February 2002.