[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Papers: COORDINATION 2010

                          Call for Papers
12th International Conference on Coordination Models and Languages

            Amsterdam, The Netherlands, 7-10 June 2010

* Scope *

Coordination 2010 seeks high-quality papers on programming languages
and coordination models, middleware, services, and algorithms that
separate behaviour 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 emphasised foundations.
However, given the increasing importance of concurrency in almost
every software domain, the organisers 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.

* Invited Speaker

Joe Armstrong (Ericsson Telecom AB)	Erlang-style Concurrency

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

Dave Clarke   Katholieke Universiteit Leuven, Belgium
Gul Agha      University of Illinois at Urbana-Champaign, USA

* Important Dates *

February 08, 2010   Abstract Submission
February 12, 2010   Paper Submission
March 19, 2010      Notification of Acceptance
April 02, 2010      Camera ready version
June 07-09, 2010    Conference

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm