09:30 Keynote speaker: Frank Leymann
Orchestrating Management Behavior of Cloud Applications
10:30 Coffee break
11:00 - 12:30

Session 1 - Cloud Computing

A Risk-based Model for Service Level Agreement Differentiation in Cloud Market Providers
Mario Macias and Jordi Guitart

Adaptive and Scalable High Availability for Infrastructure Clouds
Stefan Brenner, Benjamin Garbers and Rüdiger Kapitza

Trust-aware Operation of Providers in Cloud Markets (short paper)
Mario Macias and Jordi Guitart

12:30 - 14:00 Lunch
14:00 - 16:00

Session 2 - Storage

Scaling HDFS with a Strongly Consistent Relational Model for Metadata
Kamal Hakimzadeh, Hooman Peiro Sajjad and Jim Dowling

Distributed Exact Deduplication for Primary Storage Infrastructures
João Paulo and José Pereira

Scalable and Accurate Causality Tracking for Eventually Consistent Stores
Ricardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero, Nuno Preguica and Victor Fonte

Cooperation Across Multiple Healthcare Clinics on the Cloud (short paper)
Neil Donnelly, Mark Roantree and Kate Irving

16:00 - 16:30 Coffee break
16:30 - 18:00

Session 3 - Web and peer-to-peer systems

Behave: Behavioral Cache for Web Content
Davide Frey, Mathieu Goessens and Anne-Marie Kermarrec

Implementing the Web Socket Protocol based on Formal Modelling and Automated Code Generation
Kent Inge Fagerland Simonsen and Lars Kristensen

GreenBrowsing (short paper)
Gonçalo Avelar and Luís Veiga


09:30 Keynote speaker: Maarten van Steen
A perspective on the future of computer sciences (through a technical example)
10:30 Coffee break
11:00 - 12:30

Joint Session

Making Operation-based CRDTs Operation-based (DAIS)
Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker

Encoding Synchronous Interactions using Labelled Petri Nets (COORDINATION)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci and Giacoma Monreale

Coinductive Definition of Distances Between Processes: Beyond Bisimulation Distances (FORTE)
Romero Hernández, Frutos Escrig

12:30 - 14:30 Lunch
14:30 - 16:00

Session 4 - Large-scale systems

Autonomous Multi-Dimensional Slicing for Large-Scale Distributed Systems
Mathieu Pasquet, Francisco Maia, Etienne Rivière and Valerio Schiavoni

Bandwidth-Minimized Distribution of Measurements in Global Sensor Networks
Andreas Benzing, Boris Koldehofe and Kurt Rothermel

A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-Grid Architectures
Abdulrahman Azab, Hein Meling and Reggie Davidrajuh

16:00 - 16:30 Coffee break
16:30 - 18:00

Session 5 - Distributed algorithms

Distributed Vertex-Cut Partitioning
Fatemeh Rahimian, Amir Payberah, Sarunas Girdzijauskas and Seif Haridi

Multi-agent systems design and prototyping with bigraphical reactive systems (short paper)
Marino Miculan, Marco Peressotti and Alessio Mansutti

19:00 - Social Dinner


09:30 Keynote speaker:Joachim Parrow
The right stuff
10:30 Coffee break