- Tuesday 18 September
- Course “Introduction and Combinator Parsers”.
- Friday 21 September
- Exercise session on arithmetic expressions
- Tuesday 25 September
- Course “Arithmetic Expressions — Abstract Syntax and Proof Principles”
- Friday 28 September
- Exercise session on arithmetic expressions
- Tuesday 2 October
- Course “The Untyped Lambda Calculus (1)”
- Friday 5 October
- Exercise session on untyped lambda calculus
- Tuesday 9 October
- Course “The Untyped Lambda Calculus (2)”
- Friday 12 October
- Exercise session on untyped lambda calculus
- Tuesday 16 October
- Course “The Simply Typed Lambda Calculus”
- Friday 19 October
- Exercise session on simply-typed lambda calculus
Tuesday 23 October- -- Moved to
Friday, 26th of October Course “Simple Extensions to STLC”
- Friday 26 October
Exercise session Course on simply-typed lambda calculus- Tuesday 30 October
- Course “More Extensions to STLC”
- Friday 2 November
- Exercise session on extensions
- Tuesday 6 November
- Course “Recursion, References and Store Typings”
- Friday 9 November
- Exercise session on extensions
- Tuesday 13 November
Mid-term examCourse on type reconstruction- Friday 16 November
- Mid-term exam
- Tuesday 20 November
- Course “Subtyping”
- Friday 23 November
- Exercise session on type reconstruction
- Tuesday 27 November
- Course “Objects”
- Friday 30 November
- Exercise session on type reconstruction
- Tuesday 4 December
- Course “Featherweight Java”
- Friday 7 December
- Exercise session on featherweight Java
- Tuesday 11 December
- Course “Featherweight Java”
- Friday 14 December
- Exercise session on featherweight Java
- Tuesday 18 December
- Course “Featherweight Scala”
- Friday 21 December
- Exercise session on featherweight Java
- Tuesday, 22 January
- Final exam, in CM2