Next: Software deliverables
Up: Deliverables
Previous: Workshop 1
At CWI in Amsterdam, with 30 participants.
2lMonday, October 20 | ||
9.15 | Welcome | |
9.30 - 10.10 | Typing the use of resources in a concurrent calculus | |
G. Boudol | ||
10.10 - 10.50 | The asynchronous pi-calculus, revisited | |
M. Merro & D. Sangiorgi | ||
11.30 - 12.10 | On implementations and semantics of a concurrent | |
P. Sewell | ||
12.10 - 12.50 | Functions in fusion: A symmetric calculus of mobile processes | |
B. Victor | ||
13.00-14.15 | Lunch | |
14.30 - 15.10 | Abstract Bohm trees, or games as abstract machines | |
P.-L. Curien | ||
15.40 - 16.20 | Sequentiality in lambda calculus. | |
I. Bethke & J.W. Klop |
2lTuesday, October 21 | ||
9.30 - 10.10 | Bisimulations in the Join Calculus | |
C. Laneve | ||
10.10 - 10.50 | A graphical presentation of categorical semantics | |
A. Jeffrey | ||
11.30 - 12.30 | On asynchronous barbs, simulations, and fair testing | |
G. Gonthier | ||
12.45-13.45 | Lunch | |
14.00 - 15.00 | Games semantics and traditional denotational semantics | |
V. Danos | ||
15.40 - 16.20 | Bisimulations and other games | |
J. Loddo & S. Nicolet | ||
19.00 | Dinner |
2lWednesday, October 22 | ||
9.30 - 10.30 | Secure implementation of channel abstractions | |
C. Fournet | ||
11.10 - 11.50 | An implementation of distributed garbage collection | |
F. le Fessant | ||
11.50 - 12.30 | On the distributed implementation of languages based on the | |
chemical paradigm, C. Palamidessi | ||
12.45-13.45 | Lunch | |
List of Participants: Andrea Asperti, Inge Bethke, Gerard Boudol, Ilaria Castellani, Pierre Cregut, Pierre-Louis Curien, Silvano Dal-Zilio, Vincent Danos, Roberto Di Cosmo, Fabrice le Fessant, Cedric Fournet, Georges Gonthier, Matthew Hennessy, Alan Jeffrey, Jan Willem Klop, Cosimo Laneve, James Leifer, Jean-Jacques Levy, Jean Loddo, Paul-Andre Mellies, Massimo Merro, Jean-Francois Monin, Uwe Nestmann, Stephane Nicolet, Vincent van Oostrom, Catuscia Palamidessi, Femke van Raamsdonk, Peter Sewell, Lone Thomson, Bent Thomson, Bjorn Victor
1/10/1998