Modern information systems rely increasingly on combining concurrent, distributed,
real-time, reconfigurable, and heterogeneous components. New models,
architectures, languages, and verification techniques are necessary to cope with
the complexity induced by the demands of today’s software development. COORDINATION
aims to explore the spectrum of languages, middleware, services, and
algorithms that separate behavior from interaction, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software development.