Coordination

Day 1: Monday, June 6

08:30 – 09:30: Registration
09:30 – 10:30: Keynote Speaker: Vijay Saraswat, (Logical and Imperative) Calculi for Distributed Coordination
10:30 – 11:00: Break
11:00 – 12:30:
- Chiara Bodei, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta
  Where do your IoT ingredients come from?
- Ruggero Lanotte and Massimo Merro
  A Semantic Theory of the Internet of Things (extended abstract)
- Paolo Baldan and Alessandro Beggiato
  Multilevel Transitive and Intransitive Non-Interference, Causally
12:30 – 14:30: Lunch
14:30 – 16:00:
- Danilo Pianini, Jacob Beal and Mirko Viroli
  Improving gossip dynamics through overlapping replicates
- Herbert Wiklicky
  On Dynamical Probabilities, or: How to learn to shoot straight
- Vincenzo Ciancia, Diego Latella and Mieke Massink
  On-the-Fly Mean-field Model-checking for Attribute-based Coordination
16:00 – 16:30: Break
16:30 – 18:00:
- Kasper Dokter, Sung-Shik T.Q. Jongmans and Farhad Arbab
  Scheduling Games for Concurrent Systems
- Rolf Hennicker, Michel Bidoit and Thanh-Son Dang
  On Synchronous and Asynchronous Compatibility of Communicating Components
- Vashti Galpin
  Modelling ambulance deployment with CARMA

08:30 – 09:30: Registration
09:30 – 10:30: Keynote Speaker: Tim Harris, What does the operating system ever do for me? System challenges in graph analytics
10:30 – 11:00: Break
11:00 – 12:30: Joint Session
- Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini
  On Sessions and Infinite Data
- Yaroslav Hayduk, Anita Sobe and Pascal Felber
  Enhanced Energy Efficiency with the Actor Model on Heterogeneous Architectures
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros and Yunyun Zhu
  Fencing Programs with Self-Invalidation and Self-Downgrade
12:30 – 14:30: Lunch
14:30 – 16:00:
- Justine Rochas and Ludovic Henrio
  From Modelling to Systematic Deployment of Distributed Active Objects
- Kiko Fernandez-Reyes, Dave Clarke and Daniel S. McCain
  ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations
- Mischael Schill, Christopher M. Poskitt and Bertrand Meyer
  An Interference-Free Programming Model for Network Objects
16:00 – 16:30: Break
18:00: Social Event

08:30 – 09:30: Registration
09:30 – 10:30: Keynote Speaker: Catuscia Palamidessi, Verifying Generalized Differential Privacy in Concurrent Systems
10:30 – 11:00: Break
11:00 – 12:30:
- Franco Barbanera and Ugo De' Liguoro
  A game interpretation of retractable contracts
- Vitaly Buravlev, Rocco De Nicola and Claudio Antares Mezzina
  Tuple spaces implementations and their efficiency
- Hernan Melgratti and Christian Roldan
  A Formal Analysis of the Global Sequence Protocol