Papers

• Dreams: A Framework for Distributed Synchronous Coordination
  José Proença, Dave Clarke (K.U.Leuven, Belgium), Erik de Vink (T.U. Eindhoven, Netherlands), Farhad Arbab (Centrum Wiskunde & Informatica, Netherlands)
• Programming Urban-area Applications
  Dries Harnie, Elisa Gonzalez Boix, Wolfgang De Meuter, Theo D'Hondt (Vrije Universiteit Brussel, Belgium)
• Modeling Adaptation with a Tuple-based Coordination Language
  Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese (Università degli Studi di Firenze, Italy), Francesco Tiezzi (IMT, Institute for Advanced Studies, Lucca, Italy)
• Passive Conformance Testing of Service Choreographies
  Huu Nghia Nguyen (LRI and Université Paris-Sud, France), Pascal Poizat (LRI and Université d'Evry, France), Fatiha Zaïdi (LRI and Université Paris-Sud, France)
• A Buchi Automata Based Model Checking Framework for Reo Connectors
  Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar (Sharif University of Technology, Islamic Republic of Iran)
• Expressing Global Priorities by Best-matching
  Igor Cappello, Paola Quaglia (DISI, University of Trento, Italy)

Poster Papers

• A Secure Coordination of Agents with Nonmonotonic Soft Concurrent Constraint Programming
  Stefano Bistarelli (Università di Perugia, Italy), Paola Campli (Università G. d'Annunzio, Italy), Francesco Santini (Centrum Wiskunde & Informatica Amsterdam, Netherlands)
• Instance-aware Assemblies of Services in Pervasive Computing
  Linus Åkesson, Sven Gestegård Robertz, Görel Hedin, Boris Magnusson (Lund University, Sweden)
• Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
  Ronaldo Menezes (Florida Institute of Technology, United States), Andrea Omicini, Mirko Viroli (Alma Mater Studiorum-Università di Bologna, Italy)
• A Coordination-Based Access Control Model for Space-Based Computing
  Stefan Craß, Eva Kühn (Vienna University of Technology, Austria)