Proofs and programs (13 – 17 February)
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
 Monday 13

Tuesday 14
 Guy McCusker, Strategies and programs
 Alexandre Miquel, Classical realizability – Introduction to classical realizability
 Thomas Streicher, The Classical Realizability Tripos and Topos
 Mauricio Guillermo, Specifying arithmetical formulae in classical realizability
 Guilhem Jaber, Forcing the Calculus of Construction to get Generalized Inductive Types
 Wednesday 15

Thursday 16
 Gordon Plotkin, Introduction to the algebraic theory of effects
 Hugo Herbelin, Proving with delimited control
 Jaap van Oosten, Local Operators in the Effective Topos
 Pierre Boutillier, Delimited Control and Continuation Passing Style in Pure Type Systems
 Jonas Frey, Basic relational objects and partial combinatory algebras
 Friday 17