Program

9:15 - 9:30 Opening

9:30 - 10:00 Session 1: Adaptation (session chair: Gwen Salaun)

Formalizing Adaptation On-the-Fly
      Suzana Andova, Luuk Groenewegen, Jasper Stafleu and Erik de Vink

10:00 - 10:30 Coffee Break

10:30 - 12:00 Session 2: Choreography and Orchestration (session chair: Farhad Arbab)

Analyzing Chor Specifications by Translation into FSP
      Nima Roohi, Gwen Salaun and Seyyed Hassan Mirian

Implementation of an Orchestration Language as a Haskell Domain Specific Language
      Marco Devesas Campos and Luis S. Barbosa

A model checking approach for verifying BP-calculus specifications
      Faisal Abouzaid and John Mullins

12:00 - 14:00 Lunch

14:00 - 16:00 Session 3: Reo and Verification (session chair: Carlos Canal)

Connectors as Designs
      Meng Sun and Farhad Arbab

Automated Analysis of Reo Circuits using Symbolic Execution
      Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat and Farhad Arbab

SAT-based Verification for Timed Component Connectors
      Stephanie Kemper

Checking Protocol Compatibility using Maude
      Francisco Duran, Meriem Ouederni and Gwen Salaun

16:00 - 16:30 Coffee Break

16:30 - 17:30 Session 4: Semantics (session chair: Marjan Sirjani)

Functional Active Objects: Typing and Formalisation
      Ludovic Henrio and Florian Kammueller

Byzantine Fault-Tolerant Transactional Semantics for Dependable Tuple Spaces
      Fabio Favarim, Eduardo Alchieri, Joni da Silva Fraga, Lau Lung and Alysson Neves Bessani

17:30 - 18:00 Discussion and Closing