- Tuesday, Sept 20
- Course “Introduction and Combinator Parsers”.
- Thursday, Sept 22
- Exercise session on arithmetic expressions
- Tuesday, Sept 27
- Course “Arithmetic Expressions — Abstract Syntax and Proof Principles”
- Thursday, Sept 29
- Exercise session on arithmetic expressions
- Tuesday, Oct 4
- Course “The Untyped Lambda Calculus (1)”
- Thursday, Oct 6
- Exercise session on untyped lambda calculus
- Tuesday, Oct 11
- Course “The Untyped Lambda Calculus (2)”
- Thursday, Oct 13
- Exercise session on untyped lambda calculus
- Tuesday, Oct 18
- Course “The Simply Typed Lambda Calculus”
- Thursday, Oct 20
- Exercise session on simply-typed lambda calculus
- Tuesday, Oct 25
- Course “Simple Extensions to STLC”
- Thursday, Oct 27
- Exercise session on simply-typed lambda calculus
- Tuesday, Nov 1
- Course “More Extensions to STLC”
- Thursday, Nov 3
- Pen+paper exercise session
- Tuesday, Nov 8
- Course “Recursion, References and Store Typings”
- Thursday, Nov 10
- Mid-term exam
- Tuesday, Nov 15
- Course on type reconstruction
- Thursday, Nov 17
- Exercise session on type reconstruction
- Tuesday, Nov 22
- Course “Subtyping”
- Thursday, Nov 25
- Exercise session on type reconstruction
- Tuesday, Nov 29
- Course “Objects”
- Thursday, Dec 1
- Exercise session on type reconstruction
- Tuesday, Dec 6
- Course “Featherweight Java”
- Thursday, Dec 8
- Exercise session on type reconstruction
- Tuesday, Dec 13
- Course “Featherweight Java”
- Thursday, Dec 15
- Exercise session on "Featherweight Java"
- Tuesday, Dec 20
- Course “Featherweight Scala”
- Course “Dependente types”
- Thursday, Dec 22
- Pen+paper exercise session
- Tuesday, 20 January