Previous Next Contents

Chapter 4:   Deliverables

4.1   Workshop 5

The Fifth workshop was held in Pisa, organized by University of Pisa, with more than 30 participants.

Monday, March 29th
        
9:30 -- 10:15      Klaim: An Overview
       R. De Nicola
      
10:15 -- 11:00      On Behavioural Equivalence in Ambient Calculus
       F. Levi
      
11:00 -- 11:30      Coffee-Break
      
11:30 -- 12:15      An Interpretation of Extensible Objects
       S. Dal Zilio
      
12:15 -- 13:00      Mobile Objects as Mobile Processes
       M. Merro
      
      
13:00 -- 15:00      Lunch
        
15:00 -- 15:45      Symmetric Action Calculi
       P. Gardner
      

Monday, March 29th
15:45 -- 16:30      Comparing Logics for Rewritings: Rewriting Logic, Action
       Calculi and Tile Logic
       F. Gadducci
      
16:30 -- 17:00      Coffee-Break
      
17:00 -- 17:45      Demo X-Klaim Pogramming
       L. Bettini
      


Tuesday, March 30th
        
9:30 -- 10:15      Static Analysis for Security of Processes
       P. Degano
      
10:15 -- 11:00      Secure Composition of Insecure Components
       P. Sewell
      
11:00 -- 11:30      Coffee-Break
      
11:30 -- 12:15      Security Types for Mobile Agents
       M. Hennessy
      
12:15 -- 13:00      Mobility Types for Mobile Ambients
       G. Ghelli
      
      
13:00 -- 15:00      Lunch
        

15:00
     Security for Mobile Agents (Panel Discussion)
       Moderator G. Ferrari
      
      
20:00      Social Dinner
        


Wednesday, March 31th
        
9:30 -- 10:15      Cartesian Closed Double Categories
       R. Bruni
      
10:15 -- 11:00      Weak Bisimulation and Open Maps
       G. Cattani
      

Monday, March 29th
11:00 -- 11:30      Coffee-Break
      
11:30 -- 12:15      Origing Tracking in the Lambda Calculus
       J.W. Klop
      
12:15 -- 13:00      Hypercoherence as Polarized Games
       P-A. Mellies


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 6

The Fourth workshop was held in Nice, organized 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.

Thursday, November 25th
        
9h - 9h30      Registration
9h30 - 10h15      Structured Coalgebras, SOS Specifications and Tiles for
       Open Systems
       Ugo Montanari (Pisa)
       (with Andrea Corradini, Pisa, and Reiko Heckel, Paderborn)
        
10h15 - 10h45      Coffee Break
        
10h45 - 11h30      The pF-calculus: a p-calculus with fusions
       Philippa Gardner (Cambridge)
       (with Lucian Wischik)
        
11h30 - 12h15      Assigning Types to Processes
       Matthew Hennessy (Sussex)
       (with Nobuko Yoshida)
        

Monday, March 29th
      
12:15 -- 14h00      Lunch
        

2h - 2h45
     On the duality of call-by-name and call-by-value
       Pierre-Louis Curien (Paris)
       (with Hugo Herbelin)
      
2h45 - 3h30      Observational Equivalences for a Mobile Process Calculus
       Asis Unyapoth (Cambridge)
      
3:30 - 4h00      Coffee Break
      
4h00 - 4h45      Secure Composition of Untrusted Code: Wrappers and
       Causality Types
       Peter Sewell (Cambridge)
       (with Jan Vitek, Purdue University)
      
4h45 - 5h30      A Logical Framework for the spi calculus
       Emilio Tuosto (Pisa)
      


Friday, November 26th
        
9:30 - 10:15      Double categories for calculi with name passing and name creation
       Roberto Bruni (Pisa)
      
10:15 - 10:45      Coffee Break
      
10:45 - 11:30      A translation of Ambients in the distributed Join calculus
       Alan Schmitt (INRIA)
      
11:30 - 12:15      Authentication primitives and their compilation
       Georges Gonthier (INRIA)
      
      
12:15 -- 14h00      Lunch
        
2:00 - 2:45      Closed Reductions in the Lambda Calculus
       Ian Mackie (Paris)
      
2:45 - 3:30      The lambda-sigma calculus enjoys finite normalization cones
       Paul-Andre Mellies (Paris)
      


3:30 - 4:00      Coffee Break
      
4:00 - 4:45      Verifying arbitrary temporal formulas in the Temporal Logic
       of Actions
       Lucian Wischik (Cambridge)
      
4:45 - 5:30      Games theory and linear logic
       Vincent Danos (Paris)


List of Participants: Gerard Boudol, Roberto Bruni, Guiseppe Castagna, Ilaria Castellani, Sylvain Conchon, Vincent Danos, Philippa Gardner, Georges Gonthier, Matthew Hennessy, Hugo Herbelin, Jan Jürjens, Jean-Louis Krivine, Cosimo Laneve, Fabrice le Fessant, Jean-Jacques Lévy, Lone Leth, Ian Mackie, Luc Maranget, Paul-André Mellies, Massimo Merro, Ugo Montanari, Bent Thomsen, Emilio Tuosto, Peter Sewell, Asis Unyapoth, Alan Schmitt, Asis Unyapoth, Lucian Wischik

4.3   Software deliverables

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


Previous Next Contents