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.00 | Coffee |
| 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.30 | Lunch 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.30 | Coffee |
| 16.30-18.00 |
Lennart Beringer | Relational semantics of store access operations |
| Arthur Charguéraud | Functional 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.00 | Coffee |
| 11.00-12.30 |
Wouter Swierstra | A total functional
semantics of mutable state |
| Conor McBride | How might effectful programs look? |
| | Discussion |
| 12.30-14.30 | Lunch 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.30 | Coffee |
| 16.30-17.30 |
| Discussion |
| |