• 9.30: Keynote speaker: Frank Leymann. Orchestrating Management Behavior of Cloud Applications.
  • 10.30: Coffee break
  • 11.00-12.30: Session 1 – Cloud Computing
    • Mario Macias and Jordi Guitart. 
      A Risk-based Model for Service Level Agreement Differentiation in Cloud Market Providers.
    • Stefan Brenner, Benjamin Garbers and Rüdiger Kapitza. 
      Adaptive and Scalable High Availability for Infrastructure Clouds.
    • Mario Macias and Jordi Guitart. 
      Trust-aware Operation of Providers in Cloud Markets (short paper).
  • 12.30-14.00: Lunch
  • 14.00-16:00: Session 2 – Storage
    • Kamal Hakimzadeh, Hooman Peiro Sajjad and Jim Dowling. 
      Scaling HDFS with a Strongly Consistent Relational Model for Metadata.
    • João Paulo and José Pereira. 
      Distributed Exact Deduplication for Primary Storage Infrastructures.
    • Ricardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero, Nuno Preguica and Victor Fonte. 
      Scalable and Accurate Causality Tracking for Eventually Consistent Stores.
    • Neil Donnelly, Mark Roantree and Kate Irving. 
      Cooperation Across Multiple Healthcare Clinics on the Cloud (short paper).
  • 16.00-16.30: Coffee break
  • 16.30-18.00: Session 3 – Web and peer-to-peer systems
    • Davide Frey, Mathieu Goessens and Anne-Marie Kermarrec. 
      Behave: Behavioral Cache for Web Content.
    • Kent Inge Fagerland Simonsen and Lars Kristensen. 
      Implementing the Web Socket Protocol based on Formal Modelling and Automated Code Generation.
    • Gonçalo Avelar and Luís Veiga. 
      GreenBrowsing (short paper).


  • 9.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
    • Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker. 
      Making Operation-based CRDTs Operation-based (DAIS).
    • Paolo Baldan, Filippo Bonchi, Fabio Gadducci and Giacoma Monreale. 
      Encoding Synchronous Interactions using Labelled Petri Nets (COORDINATION).
    • David Romero-Hernández, David de Frutos Escrig.
      Coinductive Definition of Distances Between Processes: Beyond Bisimulation Distances (FORTE).
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 4 - Large-scale systems
    • Mathieu Pasquet, Francisco Maia, Etienne Rivière and Valerio Schiavoni. A
      utonomous Multi-Dimensional Slicing for Large-Scale Distributed Systems
    • Andreas Benzing, Boris Koldehofe and Kurt Rothermel. 
      Bandwidth-Minimized Distribution of Measurements in Global Sensor Networks.
    • Abdulrahman Azab, Hein Meling and Reggie Davidrajuh. 
      A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-Grid Architectures.
  • 16.00-16.30: Coffee break
  • 16.30-17.30: Session 5 - Distributed algorithms
    • Fatemeh Rahimian, Amir Payberah, Sarunas Girdzijauskas and Seif Haridi. 
      Distributed Vertex-Cut Partitioning.
    • Marino Miculan, Marco Peressotti and Alessio Mansutti. 
      Multi-agent systems design and prototyping with bigraphical reactive systems (short paper).
  • 19.00-: Social Dinner.


  • 9.30: Keynote speaker: Joachim Parrow. The right stuff.
  • 10.30: Coffee break