From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32 via Mailbox Transport; Mon, 11 Mar 2024 10:14:18 +0000 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32; Mon, 11 Mar 2024 10:14:18 +0000 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.32 via Frontend Transport; Mon, 11 Mar 2024 10:14:18 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 42BAET6Y011198 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 11 Mar 2024 10:14:29 GMT Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 42BAEMBq011181 for ; Mon, 11 Mar 2024 10:14:22 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2024 11:14:20 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id DA407E0CEA; Mon, 11 Mar 2024 11:14:19 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 00A76E0035; Mon, 11 Mar 2024 11:14:13 +0100 (CET) Received: from mail-vi1eur04on2103.outbound.protection.outlook.com (HELO EUR04-VI1-obe.outbound.protection.outlook.com) ([40.107.8.103]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 11 Mar 2024 11:14:08 +0100 Received: from AM6P195CA0033.EURP195.PROD.OUTLOOK.COM (2603:10a6:209:81::46) by VE1PR08MB5711.eurprd08.prod.outlook.com (2603:10a6:800:1ae::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.35; Mon, 11 Mar 2024 10:14:04 +0000 Received: from AMS1EPF0000004E.eurprd04.prod.outlook.com (2603:10a6:209:81:cafe::a1) by AM6P195CA0033.outlook.office365.com (2603:10a6:209:81::46) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.34 via Frontend Transport; Mon, 11 Mar 2024 10:14:04 +0000 Received: from mailz.sdu.dk (130.225.156.129) by AMS1EPF0000004E.mail.protection.outlook.com (10.167.16.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.12 via Frontend Transport; Mon, 11 Mar 2024 10:14:02 +0000 Received: from sdu-itrsepo0a.c.sdu.dk (10.136.0.67) by ADM-EXEDGZ0B.adm.c.sdu.dk (10.136.0.129) with Microsoft SMTP Server id 15.1.2507.35; Mon, 11 Mar 2024 11:14:02 +0100 Received: from sepoin.adm.c.sdu.dk ([10.136.0.81]) by sdu-itrsepo0a.c.sdu.dk (JAMES SMTP Server 2.3.2-1) with SMTP ID 926; Mon, 11 Mar 2024 11:14:02 +0100 (CET) Received: from EUR04-DB3-obe.outbound.protection.outlook.com (104.47.12.51) by maily.sdu.dk (10.136.0.113) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.2507.35; Mon, 11 Mar 2024 11:14:02 +0100 Received: from AM9PR08MB6673.eurprd08.prod.outlook.com (2603:10a6:20b:307::22) by DU0PR08MB9608.eurprd08.prod.outlook.com (2603:10a6:10:448::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.35; Mon, 11 Mar 2024 10:13:59 +0000 Received: from AM9PR08MB6673.eurprd08.prod.outlook.com ([fe80::ddb4:d372:f46f:5c8a]) by AM9PR08MB6673.eurprd08.prod.outlook.com ([fe80::ddb4:d372:f46f:5c8a%3]) with mapi id 15.20.7362.035; Mon, 11 Mar 2024 10:13:59 +0000 From: Marco Peressotti Subject: [Caml-list] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Thread-Topic: Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Thread-Index: AQHac5iAM5lYoZoqHUOjjiXe0SK24w== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 11 Mar 2024 10:13:59 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Marco Peressotti Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: f1ddcce4-f369-4929-cb13-08dc41b40307 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="6.07,116,1708383600"; d="scan'208";a="81776823" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes x-ms-publictraffictype: Email msip_labels: Content-Type: text/plain; charset="iso-8859-1" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Choreographic Programming: Call for Contributions =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D First International Workshop on Choreographic Programming co-located with P= LDI 2024 June 24th 2024, Copenhagen, Denmark https://pldi24.sigplan.org/home/cp-2024 Important dates=20 --------------- - Submission deadline: March 22nd, 2024 (AoE) - Notification to authors: May 3rd, 2024 (AoE) - Workshop day: June 24th, 2024 Theme and Topics ---------------- Choreographies are coordination plans for concurrent and distributed system= s, which define the roles of the involved participants and how they are sup= posed to work together. In the paradigm of choreographic programming (CP), = choreographies are programs that can be compiled to executable implementati= ons. CP originated primarily in the context of process calculi, with preliminary= work done to establish its foundations and experiment with implementations= . Recently, several proposals have shown that one can adapt CP to work in s= ynergy with mainstream programming paradigms, such as object-oriented and f= unctional programming. These works substantiate the interest of a growing c= ommunity of researchers and practitioners in evolving CP into a mature para= digm, able to improve the productivity and reliability of programming concu= rrent and distributed systems. The aim of this workshop is to catalyse the community around CP by soliciti= ng contributions in the following topics: - Theory and models of choreographic programming. - Design and implementation of choreographic programming languages, encomp= assing both standalone and library-based implementations. - Design and implementation of runtime systems for choreographic programmi= ng. - Verification and testing of choreographic programs. - Type systems for choreographic languages. - Interactions with software engineering (e.g., software requirements, des= ign, construction, testing, analysis, and maintenance and software developm= ent methodologies). - Fault tolerance and reliability in the context of choreographic programm= ing. - Synergies and comparisons with adjacent approaches for concurrent and di= stributed programming (e.g., multitier programming). Contributions and Evaluation ---------------------------- Contributions can be work in progress, scientific work published or submitt= ed for publication, tutorials, or practical experience reports.=20 Submissions should be no more than 6 pages excluding bibliography, using th= e ACM Proceedings format. Templates for Microsoft Word and LaTeX can be fou= nd at the SIGPLAN author information page.=20 Submissions will be evaluated following a lightweight double-blind review p= rocess.=20 For further details, refer to the workshop website and for any further quer= ies, please contact the chairs. Program Chairs -------------- Saverio Giallorenzo, University of Bologna, IT (saverio.giallorenzo2@unibo.= it) Lindsey Kuper, University of California, Santa Cruz, US (lkuper@ucsc.edu) Marco Peressotti, University of Southern Denmark, DK (peressotti@sdu.dk) Program Committee ----------------- Owen Arden, UC Santa Cruz, US Marco Carbone, IT University of Copenhagen, DK Ethan Cecchetti, University of Wisconsin-Madison, US Lu=EDs Cruz-Filipe, University of Southern Denmark, DK Eva Graversen, University of Southern Denmark, DK Andrew K. Hirsch, University at Buffalo, SUNNY, US Sung-Shik Jongmans, Open University of the Netherlands; CWI, NL Ivan Lanese, University of Bologna, IT Hugo A. L=F3pez, Technical University of Denmark, DK Rumyana Neykova, Brunel University London, UK Larisa Safina, INRIA Lillle, FR Guido Salvaneschi, University of St. Gallen, CH Ian Sweet, Galois, Inc., US