Distributed Computing Techniques 2009
9-12 June, 2009
Languages, Models, and Architectures for Concurrent and Distributed Software
The 11th international conference on Coordination Models and Languages (COORDINATION) is part of the IFIP federated event on Distributed Computing Techniques (DisCoTec), together with the 9th 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 Faculty of Sciences of the University of Lisbon.
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 centered.
Coordination 2009 seeks high-quality papers on programming languages, models, and architectures that address the challenge of building robust distributed and concurrent applications. 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, runtime systems, and related verification and analysis techniques.
Online registration is now closed.
The Coordination '09 proceedings are available as Springer-Verlag Lecture Notes in Computer Science (LNCS) volume 5521.