Previous Next Contents

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:


Previous Next Contents