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