The 12th International Conference on Coordination Models and Languages (COORDINATION) is part of the IFIP federated event on Distributed Computing Techniques (DisCoTec), together with the 10th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) and the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS & FORTE). The DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal specification techniques to practical considerations. The event will be hosted by the Centrum Wiskunde & Informatica (CWI) in Amsterdam.
Scope

Modern software lives in a concurrent world. The ubiquity of the Internet allows distributed software components to be composed into complex networked systems. At the other end of the spectrum, multicore processors are now the norm. Hence applications are bound to be inherently concurrent and communication centric.

Coordination 2010 seeks high-quality papers on programming languages and coordination models, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verification and analysis techniques.

Past incarnations of Coordination have emphasized foundations. However, given the increasing importance of concurrency in almost every software domain, the organizers of Coordination 2010 are keen to provide a strong forum for high-quality papers that address practical aspects of concurrent programming models; for example, application of concurrency to novel domains, comparisons of alternative programming models on important problems, or domain-specific languages.

See the Call for Papers and the information about the Invited Speaker.
Registration

Details to be provided.
Proceedings

The Coordination 2010 proceedings will be published by Springer-Verlag in its Lecture Notes in Computer Science (LNCS) Series.

See the list of Previous Conferences for a list of proceedings of previous COORDINATION conferences.

Important Dates

The 12th International Conference on Coordination Models and Languages (COORDINATION), the 10th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), and the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS & FORTE) share the same deadlines.

Abstract submission: February 8, 2010
Paper submission: February, 12 2010
Author notification: March 19, 2010
Camera-ready version: April 2, 2010
Early registration: May 17, 2010 (May 27, 2010 for students applying to grants)
Online registration: June 4, 2010
Conferences: June 7-9, 2010
Co-located events: June 10, 2010