next up previous contents
Next: Software deliverables Up: Deliverables Previous: Workshop 1

Workshop 2

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


next up previous contents
Next: Software deliverables Up: Deliverables Previous: Workshop 1

1/10/1998