Chapter 4 Deliverables

4.1 Workshop 3

The Third workshop was held in Brighton, organised by University of Sussex, with more than 30 participants. Luca Cardelli and Andrew Gordon, Microsoft Research, were invited.

Tuesday, April 17th

9.30 - 10.10		Resource access control in systems of mobile agents,
		Matthew Hennessy
10.30 - 11.10		Origin tracking in orthogonal term rewriting systems,
		J.W. Klop
11.10 - 11.50		Tile Formats for Located and Mobile Systems,
		Gianluigi Ferrari

12.45-14.00		Lunch

14.00 - 14.40		A Concurrent Object Calculus,
		Andy Gordon
14.40 - 15.20		Bisimulation congruences for Action Calculi,
		James Leifer
15.40 - 16.20		From Rewrite Rules to Bisimulation Congruences,
		Peter Sewell
16.20 - 17.00		A conceptual view of weak bisimulation,
		Marcelo Fiore

Wednesday, April 18th

9.30 - 10.10		Type systems for Ambients,
		Luca Cardelli
10.30 - 11.10		Compilation of Higher-Order Languages in Graphical Form,
		Ralf Schweimeier
11.10 - 11.50		Concurrent objects in the blue calculus,
		Silvano Dal-Zilio

12.00-14.00		Lunch

14.00 - 14.40		Modelling IP Mobility,
		Roberto Amadio
14.40 - 15.20		Verifying Mobile Processes in the HAL Environment,
		Marco Pistore
15.40 - 16.20		tba,
		Ugo Montanari
16.20 - 17.00		Semantics of active networks
		Alan Jeffrey

Wednesday, April 19th

9.30 - 10.10		The fusion calculus
		Joachim Parrow
10.30 - 11.10		Games semantics for call-by-value computation,
		Kohei Honda
11.10 - 11.50		Resource based models for asynchrony,
		Julian Rathke

12.00-14.00		Lunch

List of Participants: Roberto Amadio, Andrea Asperti, Inge Bethke, Gerard Boudol, Pascal Brisset, Roberto Bruni, Ilaria Castellani, Silvano Dal-Zilio, Vincent Danos, Gianluigi Ferrari, Marcelo Fiore, Philippa Gardner, Matthew Hennessy, Kohei Honda, Alan Jeffrey, Ole Hoegh Jensen, Jan Willem Klop, Cosimo Laneve, Carolina Lavatelli, James Leifer, Fabrice le Fessant, Lone Leth, Jean-Jacques Lévy, Luc Maranget, Paul-Andre Melliès, Jean-Francois Monin, Uwe Nestmann, Martin Odersky, Catuscia Palamidesi, Joachim Parrow, Marco Pistore, Femke van Raamsdonk, Paola Quaglia, Julian Rathke, Didier Remy, Peter Sewell, Bent Thomsen.

4.2 Workshop 4

The Fourth workshop was held in Nice, organised by INRIA Sophia Antipolis, with 30 participants, at the end of a long week with Express, Concur, HLCL and CONFER-2. Martin Odersky, University of South Wales, was invited.

Monday, September 14

9h - 9h45		The Join Calculus from a Functional Perspective
		Martin Odersky
9h45 - 10h30		From the Join-Calculus to a Class-Based, Concurrent OO Language
		Didier Remy

10h30 - 11h		pause

11h - 11h30		Communication Infrastructure for Mobile Agents: Calculi for Algorithms
		Peter Sewell
11h30 - 12h		Fusion Particles: Symmetrically Asynchronous Mobile Processes
		Bjorn Victor

12.00-14.00		Lunch

14h - 14h45		Static Analysis of Concurrent Programs, with Applications
		(application to the Ariane 5 on-board programs)
		Alain Deutsch
14h45 - 15h30		Final Semantics for the Pi-Calculus
		Ugo Montanari

15h30 - 16h		pause

16h - 16h45		Towards Certified Byte-Code Verification and Proof-Carrying Code
		Pascal Brisset

Tuesday, September 15

9h - 9h45		Finite State Verification for the Asynchronous Pi-Calculus
		Marco Pistore
9h45 - 10h30		Bisimulation and Confluence
		Cedric Fournet

10h30 - 11h		pause

11h - 11h30		A stability theorem with games
		Paul-Andre Mellies

List of Participants: Andrea Asperti, Inge Bethke, Gerard Boudol, Pascal Brisset, Ilaria Castellani, Sylvain Conchon, Pierre-Louis Curien, Silvano Dal-Zilio, Vincent Danos, Fabrice le Fessant, Gianluigi Ferrari, Cedric Fournet, Georges Gonthier, Matthew Hennessy, Alan Jeffrey, Jan Willem Klop, Cosimo Laneve, Carolina Lavatelli, James Leifer, Fabrice le Fessant, Lone Leth, Jean-Jacques Levy, Jean Loddo, Luc Maranget, Paul-André Melliès, Massimo Merro, Jean-Francois Monin, Raja Nagarajan, Uwe Nestmann, Femke van Raamsdonk, Peter Sewell, Bjorn Victor

4.3 Software deliverables

The following is a listing of software constructed during the second year of CONFER-2:

PICT
Cambridge --- Typed higher-order programming language based on p-calculus
University of Cambridge and Edinburgh --- B. Pierce, D. Turner.
A distributed version is under construction by P. Sewell, P. Wojciechowski.
Available at http://www.cs.indiana.edu/hyplan/pierce/ftp/pict
The Join-Calculus
INRIA-Rocquencourt --- C. Fournet, L. Maranget.
Also with contributions of G. Gonthier, J.-J. Lévy, D. Rémy.
Available at http://join.inria.fr
jocaml
INRIA-Rocquencourt --- F. le Fessant.
Available at http://join.inria.fr