Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* Call for Papers: COORDINATION 2010
@ 2010-01-25 16:06 Dave Clarke
  0 siblings, 0 replies; only message in thread
From: Dave Clarke @ 2010-01-25 16:06 UTC (permalink / raw)
  To: caml-list

--------------------------------------------------------------------
                          Call for Papers
                           COORDINATION
12th International Conference on Coordination Models and Languages
            http://discotec.project.cwi.nl/COORDINATION

            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


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2010-01-25 16:06 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-01-25 16:06 Call for Papers: COORDINATION 2010 Dave Clarke

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox