From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 6D2F6BBAF for ; Wed, 10 Mar 2010 10:52:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoAAAb7lkvRVdzgkGdsb2JhbACSaYgWCBUBAQEBCQkMBxMDH64hAQWOAgEEglSCJQ X-IronPort-AV: E=Sophos;i="4.49,613,1262559600"; d="scan'208";a="46217920" Received: from mail-fx0-f224.google.com ([209.85.220.224]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Mar 2010 10:52:27 +0100 Received: by fxm24 with SMTP id 24so1557553fxm.17 for ; Wed, 10 Mar 2010 01:52:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=XKjm7UnflJD5lMNFywzR2D1ZyZvljrpND/7ond5FzRc=; b=h+ssPkXovv6mIflw/HHEatxf8P2xSU3801u3BY2OjGP7CdL+07yxL+wqKOPqd3sOo0 Ww44JSN6FPSXYUu5hTGyV6ZKVg+Xy2273EDjp8WeSAhHoFFrKBRkUsd7Xlw6kBtHoyfq asRxTx56vTuL/0mWUOyyZpTzlnY3wlQ0T7beE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=fVqCAxUDFQWjmvz80fGV3H+9xb/aqX27DImSfNSIrNTtnv4Y+SytQY2b8yV+4mv4/U Cl+8jURIjL6fiOQTySkdlmv9OmRWzFzwndX9GAYA7gm88vxSY3HSj9QLh1qHrLUw2Lx2 Aq2a7JIZFDBPhHC0sp2KGrsS247nHlCwkbFSA= MIME-Version: 1.0 Received: by 10.102.177.23 with SMTP id z23mr655566mue.129.1268214746771; Wed, 10 Mar 2010 01:52:26 -0800 (PST) In-Reply-To: References: Date: Wed, 10 Mar 2010 09:52:26 +0000 Message-ID: Subject: PLACES'10: call for participation From: Kohei Honda To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; etaps:01 nodes:01 granularity:01 inherently:01 higher-order:01 runtime:01 inference:01 inference:01 haskell:01 sagonas:01 unstructured:01 runtime:01 modular:01 etaps:01 10.:98 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 CALL FOR PARTICIPATION =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0PLACES'1= 0 Programming Language Approaches to Concurrency =A0 =A0 =A0 =A0 =A0 =A0 and communication-cEntric Software =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A021st March 2010, Paphos, Cyprus =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Affiliated with ETAPS 2010 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 http://places10.di.fc.ul.pt/ Dear colleagues, This is the call for participation for PLACES'2010, a workshop for foundations of concurrent and distributed programming. Applications on the web today are built using numerous interacting services; soon off-the-shelf CPUs will host hundreds of cores; and sensor networks will be composed from a large number of processing units. =A0Many normal software, including applications and system-level services, will soon need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems will be inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream- based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures, to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. =A0This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. With these backgrounds, PLACES'10 is held welcoming as an invited speaker William Cook from Texas Austin, and excellent contributions from researchers from divsese fields of programming studies. We cordially invite your participation in this workshop. We attach the basic information below. Very best wishes, Alan and Kohei Co-Chairs of PLACES'10 * Invited Speaker William Cook (University of Texas, Austin) * Programme Morning (a) Type Inference for Communications: 9:00-10:30 Alastair Donaldson, Daniel Kroening and Philipp Ruemmer. Analysing DMA Races in Multicore Software Lu=EDsa Louren=E7o and Luis Caires. Type Inference for Conversation Types Keigo Imai, Shoji Yuen and Kiyoshi Agusa. Session Type Inference in Haskell (b) Controlling Imperative Concurrency: 11:00-12:30 Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas. A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering Francisco Martins, Vasco Vasconcelos and Tiago Cogumbreiro. An Investigation on Types for X10 Clocks Joana Campos and Vasco T. Vasconcelos. Channels as Objects in Concurrent Object-Oriented Programming Lunch 12:30-14:00 Afternoon: invited talk: 14:00-15:00 William Cook (c) Language and Runtime Design: 15:00-16:00 Nuno Alves, Raymond Hu, Nobuko Yoshida and Pierre-Malo Deni=E9lou. Secure Execution of Distributed Session Programs Julien Lange and Emilio Tuosto. A Modular Toolkit for Theories of Distributed Interactions Break 16:00-16:30 (d) Logical and Semantic Foundations of Distributed Programming: 16:30-17:3= 0 Marco Carbone, Thomas Hildebrandt and Hugo A. Lopez. Towards a Modal Logic for the Global Calculus Thomas Hildebrandt and Raghava Rao Mukkamala. Distributed Dynamic Condition Response Structures * Further Information For information on PLACES'10, please see: =A0 http://places10.di.fc.ul.pt/ For information on ETAPS'10, please see: =A0 http://www.etaps10.cs.ucy.ac.cy/ [end]