Coordination
The proceedings are available online at: http://link.springer.com/book/10.1007%2F978-3-319-39519-7
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
- Chiara Bodei, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta
- 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
- Danilo Pianini, Jacob Beal and Mirko Viroli
- 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
- Kasper Dokter, Sung-Shik T.Q. Jongmans and Farhad Arbab
Day 2: Tuesday, June 7
- 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
- Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini
- 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
- Justine Rochas and Ludovic Henrio
- 16:00 – 16:30: Break
- 18:00: Social Event
Day 3: Wednesday, June 8
- 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
- Franco Barbanera and Ugo De' Liguoro