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
10.30-11.00Coffee
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.00-16.30Coffee
16.30-18.00 Lennart Beringer Relational semantics of store access operations
Arthur CharguéraudFunctional translation of a calculus of capabilities
 Discussion
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?
10.30-11.00Coffee
11.00-12.30 Wouter Swierstra A total functional semantics of mutable state
Conor McBride How might effectful programs look?
  Discussion
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
  Discussion
16.00-16.30Coffee
16.30-17.30   Discussion
 
Tarmo Uustalu
Last update 12 December 2007