COORDINATION 2013 Program

MONDAY JUNE 3

  • 9.30: Keynote speaker: Tevfik Bultan
  • 10.30: Coffee break
  • 11.00-12.30: Session 1 – Coordination Models   (Session chair: Dave Clarke)
    • Behrooz Nobakht, Frank S. De Boer and Mohammad Mahdi Jaghoori. The future of a missed deadline.
    • Laure Philips, Dries Harnie, Kevin Pinte and Wolfgang De Meuter. Event Loop Coordination using Meta-Programming.
    • Eva Kühn, Stefan Craß, Gerson Joskowicz, Alexander Marek and Thomas Scheller. Peer-based Programming Model for Coordination Patterns.
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 2 – Session Types and Coordination   (Session chair: Emilio Tuosto)
    • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani and Nobuko Yoshida. Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
    • Hugo Torres Vieira and Vasco T. Vasconcelos. Typing Progress in Communication-Centred Systems.
    • Tiago Cogumbreiro, Francisco Martins and Vasco T. Vasconcelos. Coordinating phased activities while maintaining progress.
  • 16.00-16.30: Coffee break
  • 16.30-18.00: Session 3 – New Directions in Coordination Models and Languages   (Session chair: Farhad Arbab)
    • Rocco De Nicola. Attribute Based Communication for Autonomic Computing.
    • Jean-Marie Jacquet. On Coordinating Tools to Build Programming Environments for Coordination Languages.
    • Mieke Massink. Scalable Coordination in Collective Adaptive Systems.
    • Andrea Omicini. Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems.
    • Emilio Tuosto. Synthesis of Choreographies.
    • Vasco Vasconcelos. Communication-Oriented Computing.
    • Mirko Viroli. Engineering Self-organising Coordination by Computational Fields.

TUESDAY JUNE 4

  • 9.30: Keynote speaker (Session chair: Christine Julien): Gian Pietro Picco
  • 10.30: Coffee break
  • 11.00-12.30: Joint Session    (Session chair: Elie Najm)
    • Andrea Cerone, Matthew Hennessy and Massimo Merro. Modelling Mac-layer communications in wireless systems (COORDINATION).
    • Vinicius V. Cogo, Andrè Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser and Alysson Bessani. FITCH: Supporting Adaptive Replicated Services in the Cloud (DAIS).
    • Andreas Griesmayer and Alessio Lomuscio. Model Checking Distributed Systems against Temporal-Epistemic Specifications (FORTE/FMOODS).
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 4 - Quantitative Modeling    (Session chair: Mirko Viroli)
    • Stefano Mariani and Andrea Omicini. Probabilistic Modular Embedding for Stochastic Coordinated Systems.
    • Luca Bortolussi, Diego Latella and Mieke Massink. Stochastic Process Algebra and Stability Analysis of Collective Systems.
  • 16.00-16.30: Coffee break
  • 16.30-: Social Event and Dinner.

WEDNESDAY JUNE 5

  • 9.30: Keynote speaker: Roberto Baldoni
  • 10.30: Coffee break
  • 11.00-12.30: Session 5 – Coordination Languages   (Session chair: Mieke Massink)
    • Guido Salvaneschi, Joscha Drechsler and Mira Mezini. Towards Distributed Reactive Programming.
    • Soguy Mak Kare Gueye, Eric Rutten and Noel Depalma. Component-based Autonomic Managers for Coordination Control.
    • Ludovic Henrio, Fabrice Huet and Zsolt István. Multi-threaded Active Objects.
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 6 – Transactions and Compensations   (Session chair: Vasco Vasconcelos)
    • Mohamed Mohamedin, Binoy Ravindran and Roberto Palmieri. ByteSTM: Virtual Machine-level Java Software Transactional Memory.
    • Junwhan Kim, Roberto Palmieri and Binoy Ravindran. Scheduling Open-Nested Transactions in Distributed Transactional Memory.
    • Ivan Lanese and Gianluigi Zavattaro. Decidability Results for Dynamic Installation of Compensation Handlers.
  • 16.00-16.30: Coffee break
  • 16.30-17.30: Session 7 – Coordination Patterns   (Session chair: Carolyn Talcott)
    • Thomas Given-Wilson and Daniele Gorla. Pattern Matching and Bisimulation.
    • Jose Proenca and Dave Clarke. Interactive Interaction Constraints.
  • 17.30: Closing