Workshop 1

At University of Bologna, with more than 30 participants.

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

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

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.