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 Pipeline Computations -- 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.