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; Sun, 21 Jan 2024 19:00:31 +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; Sun, 21 Jan 2024 19:00:31 +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; Sun, 21 Jan 2024 19:00:31 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 40LJ0rvI028254 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sun, 21 Jan 2024 19:00:53 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 40LJ0kmR028239 for ; Sun, 21 Jan 2024 19:00:46 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Jan 2024 20:00:45 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3748EE0CF1; Sun, 21 Jan 2024 20:00:44 +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 A1E43E008A for ; Sun, 21 Jan 2024 20:00:37 +0100 (CET) Received: from mail-dbaeur03on2043.outbound.protection.outlook.com (HELO EUR03-DBA-obe.outbound.protection.outlook.com) ([40.107.104.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 21 Jan 2024 20:00:36 +0100 Received: from AM6PR02CA0020.eurprd02.prod.outlook.com (2603:10a6:20b:6e::33) by GV2PR08MB8510.eurprd08.prod.outlook.com (2603:10a6:150:b1::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.32; Sun, 21 Jan 2024 19:00:32 +0000 Received: from AMS0EPF000001A0.eurprd05.prod.outlook.com (2603:10a6:20b:6e:cafe::c7) by AM6PR02CA0020.outlook.office365.com (2603:10a6:20b:6e::33) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.31 via Frontend Transport; Sun, 21 Jan 2024 19:00:32 +0000 Received: from mailz.sdu.dk (130.225.156.128) by AMS0EPF000001A0.mail.protection.outlook.com (10.167.16.230) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.16 via Frontend Transport; Sun, 21 Jan 2024 19:00:31 +0000 Received: from sdu-itrsepo0a.c.sdu.dk (10.136.0.68) by ADM-EXEDGZ0A.adm.c.sdu.dk (10.136.0.128) with Microsoft SMTP Server id 15.1.2507.35; Sun, 21 Jan 2024 20:00:31 +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 146; Sun, 21 Jan 2024 20:00:31 +0100 (CET) Received: from EUR03-DBA-obe.outbound.protection.outlook.com (104.47.51.169) 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; Sun, 21 Jan 2024 20:00:31 +0100 Received: from AM9PR08MB6673.eurprd08.prod.outlook.com (2603:10a6:20b:307::22) by VI1PR08MB5407.eurprd08.prod.outlook.com (2603:10a6:803:132::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.31; Sun, 21 Jan 2024 19:00:28 +0000 Received: from AM9PR08MB6673.eurprd08.prod.outlook.com ([fe80::3c36:51f6:f72f:cac6]) by AM9PR08MB6673.eurprd08.prod.outlook.com ([fe80::3c36:51f6:f72f:cac6%5]) with mapi id 15.20.7202.024; Sun, 21 Jan 2024 19:00:28 +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: AQHaTJGsYaJ/ybmUn0SQDANjwPApoA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Sun, 21 Jan 2024 19:00:00 +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: 23e9f9d5-f241-482e-9578-08dc1ab33db2 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.05,210,1701126000"; d="scan'208";a="77397663" 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="Windows-1252" 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 One-day event, TBD within 24=9628th of June 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: TBD in week 26 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