Program

9:30 - 10:30 Sala Affrescata: Invited Speaker (in common with FACS)

A process calculus framework for dynamic component structures with sharing, Jean-Bernard Stefani

11:00-12:30 Sala Guarnigione: Morning Session

Behavioral Interfaces of Services

14:30-15:30 Sala Guarnigione: Invited Speaker

Service-Level Agreements for Collective Adaptive Systems, Stephen Gilmore

16:00-17:00 Sala Guarnigione: Afternoon Session

Service Contracts and SLAs

Monitoring Add-ons