Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Dave Clarke <Dave.Clarke@cs.kuleuven.be>
To: caml-list@inria.fr
Subject: Call for Papers: COORDINATION 2010
Date: Mon, 25 Jan 2010 17:06:33 +0100	[thread overview]
Message-ID: <201001251606.o0PG6XlC019360@leo.cs.kuleuven.be.> (raw)

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


                 reply	other threads:[~2010-01-25 16:06 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=201001251606.o0PG6XlC019360@leo.cs.kuleuven.be. \
    --to=dave.clarke@cs.kuleuven.be \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox