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.
- 10:00 - 11:00 Matt Fairtlough/Gerald Luettgen (Sheffield): Intuitionistic Logic
- 11:00 - 12:00 Louise Dennis:
Mechanised Proof/Theorem Proving
- 13:00 - 14:00 Thorsten Altenkirch: Logic and Proof Theory