From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id B9E5FBC37 for ; Mon, 25 Jan 2010 17:06:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucDAK9QXUuGOigCgWdsb2JhbACQEQGMAQEBFiS+H4I2ggUE X-IronPort-AV: E=Sophos;i="4.49,340,1262559600"; d="scan'208";a="42438603" Received: from hermes2.cs.kuleuven.be ([134.58.40.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jan 2010 17:06:37 +0100 Received-SPF: pass (hermes2.cs.kuleuven.be.: domain of Dave.Clarke@cs.kuleuven.be designates 134.58.41.21 as permitted sender) receiver=hermes2.cs.kuleuven.be.; client-ip=134.58.41.21; helo=dr-zook2.cs.kuleuven.be.; envelope-from=Dave.Clarke@cs.kuleuven.be; x-software=spfmilter 0.97 http://www.acme.com/software/spfmilter/ with libspf-unknown; Received: from dr-zook2.cs.kuleuven.be. (dr-zook2.cs.kuleuven.be [134.58.41.21]) by hermes2.cs.kuleuven.be. with ESMTP id o0PG6ZQE026226 for ; Mon, 25 Jan 2010 17:06:35 +0100 Received: from localhost (localhost [127.0.0.1]) by dr-zook2.cs.kuleuven.be. (8.14.2/8.14.2/Debian-2build1) with ESMTP id o0PG6ZIg023582 for ; Mon, 25 Jan 2010 17:06:35 +0100 X-Virus-Scanned: Debian amavisd-new at dr-zook2.cs.kuleuven.be. Received: from dr-zook2.cs.kuleuven.be. ([127.0.0.1]) by localhost (dr-zook2.cs.kuleuven.be [127.0.0.1]) (amavisd-new, port 10024) with LMTP id Oc1iA+TI5cFO for ; Mon, 25 Jan 2010 17:06:35 +0100 (CET) Received: from hel.cs.kuleuven.be (hel.cs.kuleuven.be [134.58.41.12]) by dr-zook2.cs.kuleuven.be. (8.14.2/8.14.2/Debian-2build1) with ESMTP id o0PG6Yar023580 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Mon, 25 Jan 2010 17:06:34 +0100 Received: from leo.cs.kuleuven.be (leo.cs.kuleuven.be [134.58.42.20]) by hel.cs.kuleuven.be (A_Good_MTA/8.14.2/Debian-2build1) with ESMTP id o0PG6X0g026606 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Mon, 25 Jan 2010 17:06:34 +0100 Received: from leo.cs.kuleuven.be. (localhost [127.0.0.1]) by leo.cs.kuleuven.be (A_Good_MTA/8.14.2/Debian-2build1) with ESMTP id o0PG6XtO019361 for ; Mon, 25 Jan 2010 17:06:33 +0100 Received: (from dave@localhost) by leo.cs.kuleuven.be. (8.14.2/8.14.2/Submit) id o0PG6XlC019360 for caml-list@inria.fr; Mon, 25 Jan 2010 17:06:33 +0100 Date: Mon, 25 Jan 2010 17:06:33 +0100 From: Dave Clarke Message-Id: <201001251606.o0PG6XlC019360@leo.cs.kuleuven.be.> To: caml-list@inria.fr Subject: Call for Papers: COORDINATION 2010 X-Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm Content-Type: text/plain MIME-Version: 1.0 Content-Disposition: inline X-Spam: no; 0.00; run-time:01 lncs:01 universiteit:01 abstract:01 behaviour:01 modularity:02 proceedings:02 interaction:02 strong:96 algorithms:03 languages:03 languages:03 programming:03 programming:03 concurrent:04 -------------------------------------------------------------------- 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