Monday

09.00-09.45 Introduction - Audience contact
09.45-10.30 l-calculus
11.00-11.45 l-calculus
11.45-12.30 Proof-theoretic foundations
14.30-15.15 Proof-theoretic foundations
15.15-16.00 Virtuous circles
16.30-17.15 Virtuous circles
17.15-18.00 Virtuous circles

Tuesday

09.00-09.45 Proof-theoretic foundations
09.45-10.30 Proof-theoretic foundations
11.00-11.45 The functional language SML
11.45-12.30 The functional language SML
14.30-15.15 The functional Language SML
15.15-16.00 The proof assistant COQ
16.30-17.15 The proof assistant COQ
17.15-18.00 The proof assistant COQ

Wednesday

09.00-09.45 The functional language SML
09.45-10.30 The functional language SML
11.00-11.45 The functional language SML
11.45-12.30 The proof assistant COQ
14.30-15.15 The proof assistant COQ
15.15-16.00 Semantics
16.30-17.15 Semantics
17.15-18.00 Semantics

Thursday

09.00-09.45 The functional language SML
09.45-10.30 The functional language SML
11.00-11.45 The functional language SML
11.45-12.30 The proof assistant COQ
14.30-15.15 The proof assistant COQ
15.15-16.00 Semantics
16.30-17.15 Semantics
17.15-18.00 Semantics

Friday

09.00-09.45 Logical frameworks
09.45-10.30 Logical frameworks
11.00-11.45 Program extraction
11.45-12.30 Program extraction
14.30-18.00 Free