Multilevel Transitive and Intransitive Non-Interference, Causally.- A Game Interpretation of Retractable Contracts.- Where Do Your IoT Ingredients Come from?.- Tuple Spaces Implementations and Their Efficiency.- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination.- Scheduling Games for Concurrent Systems.- ParT: An Asynchronous Parallel Abstraction for Speculative PipelineComputations.- Modelling Ambulance Deployment with CARMA.- On Synchronous and Asynchronous Compatibility of Communicating Components.- A Semantic Theory of the Internet of Things.- A Formal Analysis of the Global Sequence Protocol.- Improving Gossip Dynamics through Overlapping Replicates.- From Modelling to Systematic Deployment of Distributed Active Objects.- An Interference-Free Programming Model for Network Objects.- On Sessions and Infinite Data.- On Dynamical Probabilities, or: How to Learn to Shoot Straight.