| Time | Speaker | Title |
|---|
| Wednesday |
| 19.00-21.30 | Buffet at the Moller |
| Thursday |
| 8.55 | | Welcome |
| 9.00 | Femke van Raamsdonk | Constructor subtyping
in the calculus of inductive constructions |
| JW Klop | Sequentiality in the lambda calculus |
| Silvano Dal-Zilio | Garbage Collection Theorems
for Free |
| 10.30 | Coffee/tea |
| 11.00 | Ilaria CASTELLANI | Noninterference for concurrent programs |
| Sylvain CONCHON | NonInterference in the Join-Calculus |
| Fabio Gadducci | Graphs for
Ambients (tentative) |
| 12.30 | Lunch |
| 2.00 | Matthew Hennessy or Julian Rathke | tba |
| Peter Sewell | Modules, Abstract Types, and Distributed Versioning |
| the cast | Confer 3 ? |
| 3.30 | Coffee/tea |
| 4.15 | Cosimo Laneve | (tentative) Interaction Diagrams of Solos |
| Lucian Wischik | (tentative) Explicit fusions; and a fully abstract embedding of the Fusion Calculus |
| Philippa Gardner | (tentative) Explicit
fusions and graphs 0.5 |
| 5.30 | Bjorn Victor | the art of interaction diagrams 0.5 see here |
| 7.15 | Workshop banquet at St Johns College |
| Friday |
| 9.00 | Ugo Montanari | (tentative) Permutation algebras for mobility |
| Roberto Bruni | Tile bisimilarity congruences for open systems |
| Giuseppe Castagna | Safe secure ambients |
| 10.30 | Coffee/tea |
| 11.00 | James Leifer | Deriving operational congruences for reactive systems |
| Luca Cattani | Contexts and embeddings for a class of action graphs |
| Robin Milner | Graphical reasoning about linear action graphs |
| 12.30 | Lunch |
| 2.00 | Pawel Wojciechowski and Asis Unyapoth | Nomadic Pict: Correct communication Infrastructure for mobile computation |
| CRÉGUT Pierre | (tentative) modelling workflow engines with JoCaml |
| 3.30 | Coffee/tea |