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.
1/10/1998