Schedule

Friday, September, 12th
9:30-10:30 Invited talk (shared with FACS) - Sala Affrescata:

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

10:30-11:00 Coffee break
11:00-12:30 Morning Session - Sala Rossa:

Silvio Ghilardi (Invited talk). Monotonic Abstraction Techniques: from Parametric to Software Model Checking

Mohammad Ghafari. A Safe Stopping Protocol to Enable Reliable Adaptations for Component-based Distributed Systems

12:30-14:00 Lunch
14:00-16:00 Afternoon Session - Sala Rossa:

Mario Bravetti (Invited talk). Choreographies and Behavioural Contracts in Multiparty Interactions

Masaya Suzuki and Takuo Watanabe. A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

Natalia Garanina, Evgeny Bodin and Elena Sidorova. An Approach to Model Checking of Multi-agent Data Analysis