Tuesday

14. Opening: R. De Nicola, G. Meredith, N. De Francesco, G. Ferrari


14: 30 Invited Lecture: Fabio Casati


15,30  16,00 Coffee Break


16 - 18
   An Operational Semantics for StAC, a Language for Modelling Long-running
   Business Transactions
   Michael Butler, Carla Ferreira

   Measuring component adaptation
   Antonio Brogi, Carlos Canal, Ernesto Pimentel
  
   CoorSet: A Development Environment for Associatively Coordinated Components
   Kevin Kane, J. C. Browne

============================================================================

Wednesday

9. Invited Lecture: Gerard Boudol

10-10,40
    O`Klaim: a coordination language with mobile mixins
    Lorenzo Bettini, Viviana Bono, Betti Venneri

10,40  11,10 COFFEE BREAK

11,10 -13,10
   Probabilistic KLAIM
    Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

   Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 
    Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

   Evolving Problem Frames: a Case for Coordination
    Leonor Barroca, Jose Fiadeiro, Michael Jackson, Robin Laney, Bashar Nuseibeh

13,15  14,30 LUNCH

SOCIAL EVENT

============================================================================

Thursday
9.00  Invited Lecture: Paola Inverardi

10-10,40
  Active Coordination in Ad Hoc Networks
   Christine Julien, Gruia-Catalin Roman

10,40  11,10 COFFEE BREAK

11,10 -13,10
    A Lightweight Coordination Middleware for Mobile Computing
    Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann

    Using Coordination Middleware for Location-Aware Computing: A LIME Case
     study
     Amy L. Murphy, Gian Pietro Picco


   On the Expressiveness of Absolute-time Coordination Languages
    Isabelle Linden, Jean-Marie Jacquet

13,15  14,30 LUNCH

14,30  15,50
   On calculi for contex-aware coordination
    Pietro Braione, Gian Pietro Picco

   Optimistic Concurrency Semantics for Coordination Languages
     Suresh Jagannathan, Jan Vitek

15,50-16,20 Coffee Break

16,20-17,50
   Visual Programming of Agents with Agent Factory
     Colm Rooney, Rem Collier, Gregory O`Hare

 A Component-Based Parallel Constraint Solver
    Farhad Arbab, Peter Zoeteweij


20.00 SOCIAL DINNER

============================================================================

Friday

9. Panel Discussion: Global Computing, Coordination and Formal Methods

10-10,40
    Logic Based Coordination for Event-Driven Self-Healing Distributed
     Systems
     C. Montangero, L. Semini, S. Semprini

10,40  11,10 COFFEE BREAK

11,10 -13,10
    Enforcement of Communal Policies for Peer-to-Peer Systems
     Mihail Ionescu, Naftaly Minsky, Thu Nguyen

   An Infrastructure for Building Secure Grid Shared Spaces
     Javier Jaen, Elena Navarro

   From Endogenous to Exogenous Coordination Using Aspect-Oriented
     Programming
     Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro