Wednesday April 20th
| 12:00 - 14:00 | Registration | |
| with lunch provided in the form of a buffet
|
||
| 14:00 - 14:30 | Opening
|
|
| 14:30 - 16:00 | Session 1 - Coordination models: mechanisms (Chair: F. Arbab) | |
| 14:30 - 15:00 | Nur Izura Udzir, Alan M. Wood and Jeremy L. Jacob
Coordination with Multicapabilities |
|
| 15:00 - 15:30 | Rocco De Nicola, Daniele Gorla and Rosario Pugliese
Global Computing in a Dynamic Network of Tuple Spaces |
|
| 15:30 - 16:00 | Andrea Omicini, Alessandro Ricci and Mirko Viroli
Time-aware Coordination in ReSpecT |
|
| 16:00 - 16:30 | Coffee break
|
|
| 16:30 - 18:00 | Session 2 - Coordination and software engineering (Chair: A. Omicini) | |
| 16:30 - 17:00 | Alan Colman and Jun Han
Coordination systems in role-based software |
|
| 17:00 - 17:30 | Luuk Groenewegen, Niels van Kampenhout, and Erik de Vink
Delegation Modeling with Paradigm |
|
| 17:30 - 18:00 | Arnab Ray
Enforcing Distributed Information Flow Policies Architecturally: the SAID Approach |
|
| 18:00 | Reception at the "Palais Provincial" |
Thursday April 21st
| 8:30 - 9:30 | Registration
|
|
| 9:30 - 10:30 | Invited talk (Chair: J.-M. Jacquet) | |
| Jayadev Misra
A programming model for wide-area computing |
||
| 10:30 - 11:00 | Coffee break
|
|
| 11:00 - 12:30 | Session 3 - Code generation and verification (Chair: A. Porto) | |
| 11:00 - 11:30 | Agostino Cortesi and Francesco Logozzo
Abstract Interpretation-based Verification of Non-functional Requirements |
|
| 11:30 - 12:00 | Marco Bernardo and Edoardo Bonta
Preserving Architectural Properties in Multithreaded Code Generation |
|
| 12:00 - 12:30 | Farhad Arbab, Christel Baier, Frank de Boer, Jan Rutten and Marjan Sirjani
Synthesis of Reo Connector Circuits for Implementation of Component-Connector Automata Specifications |
|
| 12:30 - 14:00 | Lunch
|
|
| 14:00 - 16:00 | Session 4 - Coordination and web services (Chair: G. Zavattaro) | |
| 14:00 - 14:30 | Manuel Mazzara and Sergio Govoni
A Case Study of Web Services Orchestration |
|
| 14:30 - 15:00 | Rocco De Nicola, Gianluigi Ferrari, Ugo Montanari,
Rosario Pugliese, and Emilio Tuosto
A Process Calculus for QoS-Aware Applications |
|
| 15:00 - 15:30 | Laura Bocchi, Paolo Ciancarini and Davide Rossi
Transactional Aspects in Semantic Based Discovery of Services |
|
| 15:30 - 16:00 | Lindsay Bradford, Stephen Milliner, and Marlon Dumas
Experience using a Coordination-based Architecture for Adaptive Web Content Provision |
|
| 16:00 - 17:15 | Coffee break and poster session
|
|
| 17:30 - 19:30 | Guided visit of the old Namur
|
|
| 19:30 | Conference dinner at the Arsenal |
Friday April 22nd
| 9:30 - 10h30 | Invited talk (Chair: G.-P. Picco) | |
| Toby Lehman
Whither Coordination Systems: Lessons Learned from the TSpaces Project |
||
| 10:30 - 11:00 | Coffee break
|
|
| 11:00 - 12:30 | Session 5 - Coordination models: foundations (Chair: A. Wood) | |
| 11:00 - 11:30 | Daniel Hirschkoff, Damien Pous, and Davide Sangiorgi
An efficient abstract machine for Safe Ambients |
|
| 11:30 - 12:00 | Nadia Busi and Gianluigi Zavattaro
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages |
|
| 12:00 - 12:30 | Ivan Lanese and Emilio Tuosto
Synchronized Hyperedge Replacement for Heterogeneous Systems |
|
| 12:30 - 14:00 | Lunch
|
|
| 14:00 - 15:30 | Session 6 - Security and fault-tolerance (Chair: C. Talcott) | |
| 14:00 - 14:30 | Manuel Oriol and Michael Hicks
Tagged Sets: a Secure and Transparent Coordination Medium |
|
| 14:30 - 15:00 | Giovanni Russello, Michel Chaudron, and Maarten van Steen
Dynamically Adapting Tuple Replication for High Availability in a Shared Data Space |
|
| 15:00 - 15:30 | Taesoon Park and Jaehwan Youn
Mobile Agent based Fault-Tolerance Support for the Reliable Mobile Computing Systems |
|
| 15:30 - 15:45 | Closing
|
|
| 15:45 - 16:00 | Coffee break
|
|
| 16:00 - 19:00 | Visit of the Laboratories of the Perfumes Delforge
and of the Citadel
|
|
| 19:00 | Dinner at the Espieglerie |
Saturday April 23rd
Workshops. See the workshop web sites for the programmes.