EffTT: Programme

Thursday, 13 December 2007

9.15-10.30 Paul Levy A tutorial on call-by-push-value (1)
Rasmus Møgelberg On effects, recursion and recursive types
11.00-12.30 Hugo Herbelin A uniform framework of delimited control
Sylvain Lebresne System F with exceptions
Christopher Dutchyn Effects for specialized continuations
12.30-14.30Lunch at Olematu Rüütel (Kiriku põik 4a)
14.30-16.00 Aleksandar Nanevski Towards a language design for modular software verification
Peter Hancock Refinement calculus embedded in dependent type theory
16.30-18.00 Lennart Beringer Relational semantics of store access operations
Arthur CharguéraudFunctional translation of a calculus of capabilities
19.30-Dinner at Maikrahv (Raekoja plats 8)

Friday, 14 December 2007

09.15-10.30 Paul Levy A tutorial on call-by-push-value (2)
Thorsten Altenkirch The beauty and the beast: a happy end?
11.00-12.30 Wouter Swierstra A total functional semantics of mutable state
Conor McBride How might effectful programs look?
12.30-14.30Lunch at Olematu Rüütel
14.30-16.00 Diana Fulger Reasoning about effects: tree labelling
Tarmo Uustalu Precise comonads for dataflow computation and tree transformations
16.30-17.30   Discussion
Tarmo Uustalu
Last update 12 December 2007