Coordination


From Discotec09
Jump to: navigation, search

Distributed Computing Techniques 2009
9-12 June, 2009
Lisbon, Portugal
http://discotec09.di.fc.ul.pt

Contents

11th international conference on Coordination Models and Languages

Coordination 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.

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 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.

See the Call for Papers, the accepted paper list, and information about the Invited Speaker.

Registration

Online registration is now closed.

Proceedings

The Coordination '09 proceedings are available as Springer-Verlag Lecture Notes in Computer Science (LNCS) volume 5521.

Personal tools