International Conference on
Coordination Models and Languages
information systems rely increasingly on combining concurrent,
distributed, mobile, reconfigurable and heterogenous components.
New models, architectures, languages, verification techniques
are necessary to cope with the complexity induced by the demands
of today's software development. Coordination languages have emerged
as a successful approach, in that they provide abstractions that
cleanly separate behavior from communication, therefore increasing
modularity, simplifying reasoning, and ultimately enhancing software
on the success of the previous editions, this conference provides
a well-established forum for the growing community of researchers
interested in models, languages, architectures, and implementation
techniques for coordination.