Date: Wed, 15 Oct 1997 17:03:13 +0200 From: Inge Bethke Second Workshop Confer II Amsterdam, 20 -- 22 October 1997 CWI, Kruislaan 413 1098 SJ Amsterdam PROGRAMME ----------------------------------------------------------------------- Monday (University of Amsterdam, Kruislaan 403, room F.013; first gate to the left after railway viaduct) 9.15 Welcome 9.30 - 10.10 G.Boudol: Typing the use of resources in a concurrent calculus. 10.10 - 10.50 M.Merro & D.Sangiorgi: The asynchronous pi-calculus, revisited. 11.30 - 12.10 P.Sewell: On implementations and semantics of a concurrent programming language. 12.10 - 12.50 B.Victor: Functions in fusion: A symmetric calculus of mobile processes. 14.30 - 15.10 P.-L.Curien: Abstract Bohm trees, or games as abstract machines. 15.40 - 16.20 I.Bethke & J.W.Klop: Sequentiality in lambda calculus. -------------------------------------------------------------------------- Tuesday 9.30 - 10.10 C.Laneve: Bisimulations in the Join Calculus. 10.10 - 10.50 A.Jeffrey: A graphical presentation of categorical semantics. 11.30 - 12.30 G.Gonthier: On asynchronous barbs, simulations, and fair testing. 14.00 - 15.00 V.Danos: Games semantics and traditional denotational semantics. 15.40 - 16.20 J.Loddo & S.Nicolet: Bisimulations and other games. 19.00 Dinner -------------------------------------------------------------------------- Wednesday 9.30 - 10.30 C.Fournet: Secure implementation of channel abstractions. 11.10 - 11.50 F.Le Fessant: An implementation of distributed garbage collection. 11.50 - 12.30 C.Palamidessi: On the distributed implementation of languages based on the chemical paradigm. -------------------------------------------------------------------------- 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