** Next:** Workshop 2
**Up:** Deliverables
** Previous:** Deliverables

At University of Bologna, with more than 30 participants.

2lMonday, March 24 | ||

9.00 | Welcome | |

9.10 - 9.50 | The pi-calculus in direct style | |

G. Boudol | ||

9.50 - 10.30 | Pieces of pi: substitution and scoping | |

J. Parrow | ||

11.10 - 11.50 | A denotational Model for a subset of Core Facile | |

M. Hennessy | ||

11.50 - 12.30 | Encoding Mixed-guarded Choice | |

U. Nestmann | ||

12.45-14.15 | Lunch | |

14.30 - 15.10 | An asynchronous model of locality, failure, and process mobility | |

R. Amadio | ||

15.10 - 15.50 | Distributed Processes and Location failures | |

J. Riely | ||

16.30 - 17.10 | Locality based Linda: programming with explicit localities | |

G. Ferrari | ||

17.10 - 17.50 | From Action Calculi to Linear Logic | |

P. Gardner |

2lTuesday, March 25 | ||

9.10 - 9.50 | Sequentiality in lambda calculus and PCF via origin tracking | |

J.W. Klop | ||

9.50 - 10.30 | A Factorisation Theorem for external derivation | |

P. Mellies | ||

11.10 - 11.50 | Zero Safe Nets | |

R. Bruni | ||

11.50 - 12.30 | Graph rewriting and labelled transition semantics | |

O. H.Jensen | ||

12.45-14.15 | Lunch | |

14.30 - 15.10 | Local Channel Typing for a distributed pi-calculus | |

P. Sewell | ||

15.10 - 15.50 | Interpreting Typed Object calculi into typed pi-calculus | |

D. Sangiorgi | ||

16.30 - 17.10 | Implicit typing a la ML for the join calculus | |

D. Remy | ||

17.10 - 17.50 | The implementation fo the join calculus | |

L. Maranget |

2lWednesday, March 26 | ||

9.10 - 9.50 | Distributed functional evaluation | |

V. Danos | ||

9.50 - 10.30 | GOI and coherent semantic | |

L. Regnier | ||

11.10 - 11.50 | AJM game semantics for classical LL | |

P. Baillot | ||

11.50 - 12.30 | P = NP, up to sharing | |

A. Asperti | ||

12.45-14.15 | Lunch | |

List of Participants: Roberto Amadio, Andrea Asperti, Patrick Baillot, Inge Bethke, Gerard Boudol, Roberto Bruni, Ilaria Castellani, Silvano Dal-Zilio, Vincent Danos, Gianluigi Ferrari, Philippa Gardner, Matthew Hennessy, Ole Hoegh Jensen, Jan Willem Klop, Cosimo Laneve, Carolina Lavatelli, James Leifer, Jean-Jacques Levy, Bjorn Lisper, Luc Maranget, Paul-Andre Mellies, Jean-Francois Monin, Uwe Nestmann, Joachim Parrow, Paola Quaglia, Laurent Regnier, Didier Remy, James Riely, Davide Sangiorgi, Peter Sewell, Jose-Luis Vivas.