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.23 via Mailbox Transport; Tue, 23 May 2023 08:14:11 +0100 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.23; Tue, 23 May 2023 08:14:11 +0100 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.23 via Frontend Transport; Tue, 23 May 2023 08:14:11 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34N7DQgL021676 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 23 May 2023 08:13:26 +0100 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 34N7DJbS021662 for ; Tue, 23 May 2023 08:13:19 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 May 2023 09:13:17 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CF7DFE0298; Tue, 23 May 2023 09:13:17 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5DD55E00A8 for ; Tue, 23 May 2023 09:13:11 +0200 (CEST) Received: from seine.is.ed.ac.uk ([129.215.17.202]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 23 May 2023 09:13:09 +0200 Received: from exseed.ed.ac.uk (hbdkb3.is.ed.ac.uk [129.215.235.37]) by seine.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 34N7DAhh025383 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Tue, 23 May 2023 08:13:10 +0100 Received: from hbdat3.is.ed.ac.uk (129.215.235.38) by hbdkb3.is.ed.ac.uk (129.215.235.37) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Tue, 23 May 2023 08:13:09 +0100 Received: from EUR03-AM7-obe.outbound.protection.outlook.com (104.47.51.240) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Frontend Transport; Tue, 23 May 2023 08:13:09 +0100 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com (2603:10a6:10:90::18) by AS8PR05MB7669.eurprd05.prod.outlook.com (2603:10a6:20b:251::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6411.28; Tue, 23 May 2023 07:13:08 +0000 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::f477:76e7:a46a:e4dd]) by DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::f477:76e7:a46a:e4dd%3]) with mapi id 15.20.6411.028; Tue, 23 May 2023 07:13:08 +0000 From: =?utf-8?B?RGFuaWVsIEhpbGxlcnN0csO2bQ==?= To: "caml-list@inria.fr" Subject: [Caml-list] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP) Thread-Topic: [Caml-list] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP) Thread-Index: AQHZjUYsa2sKRf7Yk0W7BK0AWBsX9A== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 23 May 2023 08:13:06 +0100 Message-ID: <3856cca8-7003-be2a-0e36-9426da7802bd@ed.ac.uk> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: =?utf-8?B?RGFuaWVsIEhpbGxlcnN0csO2bQ==?= Content-Language: en-US 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: ff040941-2095-4a38-77de-08db5b5d4eb2 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.00,185,1681164000"; d="scan'208";a="109160427" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes x-ms-publictraffictype: Email Content-Type: text/plain; charset="utf-8" Content-ID: <3ADE7B3217F7B2488738D8BF1A6A43F2@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 VEw7RFINCiAgICAgRGVhZGxpbmUgZm9yIEhPUEUgMjAyMyBhYnN0cmFjdHMgaXMgb24gTWF5IDMx LCAyMDIzLg0KICAgICBEZXRhaWxzIGJlbG93Lg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQogICAgICAgICAg ICAgICAgICAgICAgICAgICAgSE9QRSAyMDIzDQoNCiAgICAgICAgICAgICAgICAgVGhlIDExdGgg QUNNIFNJR1BMQU4gV29ya3Nob3Agb24NCiAgICAgICAgICAgICAgIEhpZ2hlci1PcmRlciBQcm9n cmFtbWluZyB3aXRoIEVmZmVjdHMNCg0KICAgICAgICAgICAgICAgICAgICAgICAgIFNlcHRlbWJl ciA0LCAyMDIzDQogICAgICAgICAgICAgICAgICAgICAgIFNlYXR0bGUsIFdhc2hpbmd0b24sIFVT QQ0KICAgICAgICAgICAgICAgICAgICAodGhlIGRheSBiZWZvcmUgSUNGUCAyMDIzKQ0KDQogICAg ICAgICAgICAgICBodHRwczovL2ljZnAyMy5zaWdwbGFuLm9yZy9ob21lL2hvcGUtMjAyMw0KDQpI T1BFIDIwMjMgYWltcyBhdCBicmluZ2luZyB0b2dldGhlciByZXNlYXJjaGVycyBpbnRlcmVzdGVk IGluIHRoZQ0KZGVzaWduLCBzZW1hbnRpY3MsIGltcGxlbWVudGF0aW9uLCBhbmQgdmVyaWZpY2F0 aW9uIG9mIGhpZ2hlci1vcmRlcg0KZWZmZWN0ZnVsIHByb2dyYW1zLiBJdCB3aWxsIGJlICppbmZv cm1hbCosIGNvbnNpc3Rpbmcgb2YgY29udHJpYnV0ZWQNCnRhbGtzIG9uIHdvcmsgaW4gcHJvZ3Jl c3MsIGFuZCBvcGVuLWVuZGVkIGRpc2N1c3Npb24gc2Vzc2lvbnMuDQoNCi0tLS0tLS0tLS0tLS0t LS0tLS0tLS0NCkNhbGwgZm9yIFRhbGsgUHJvcG9zYWxzDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0t LQ0KDQpXZSBzb2xpY2l0IHByb3Bvc2FscyBmb3IgY29udHJpYnV0ZWQgdGFsa3MuIFdlIHJlY29t bWVuZCBwcmVwYXJpbmcNCnByb3Bvc2FscyBvZiBhdCBtb3N0IDIgcGFnZXMgZXhjbHVkaW5nIHJl ZmVyZW5jZXMsIGluIGVpdGhlciBwbGFpbg0KdGV4dCBvciBQREYgZm9ybWF0LiBIb3dldmVyLCB3 ZSB3aWxsIGFjY2VwdCBsb25nZXIgcHJvcG9zYWxzIG9yDQpzdWJtaXNzaW9ucyB0byBvdGhlciBj b25mZXJlbmNlcywgdW5kZXIgdGhlIHVuZGVyc3RhbmRpbmcgdGhhdCBQQw0KbWVtYmVycyBhcmUg b25seSBleHBlY3RlZCB0byByZWFkIHRoZSBmaXJzdCB0d28gcGFnZXMgb2Ygc3VjaCBsb25nZXIN CnN1Ym1pc3Npb25zLiBXaGVuIHN1Ym1pdHRpbmcgdGFsayBwcm9wb3NhbHMsIGF1dGhvcnMgc2hv dWxkIHNwZWNpZnkNCmhvdyBsb25nIGEgdGFsayB0aGUgc3BlYWtlciB3aXNoZXMgdG8gZ2l2ZS4g QnkgZGVmYXVsdCwgY29udHJpYnV0ZWQNCnRhbGtzIHdpbGwgYmUgMzAgbWludXRlcyBsb25nLCBi dXQgcHJvcG9zYWxzIGZvciBzaG9ydGVyIG9yIGxvbmdlcg0KdGFsa3Mgd2lsbCBhbHNvIGJlIGNv bnNpZGVyZWQuIFNwZWFrZXJzIG1heSBhbHNvIHN1Ym1pdCBzdXBwbGVtZW50YXJ5DQptYXRlcmlh bCAoZS5nLiBhIGZ1bGwgcGFwZXIsIHRhbGsgc2xpZGVzKSBpZiB0aGV5IGRlc2lyZSwgd2hpY2gg UEMNCm1lbWJlcnMgYXJlIGZyZWUgKGJ1dCBub3QgZXhwZWN0ZWQpIHRvIHJlYWQuDQoNCldlIGFy ZSBpbnRlcmVzdGVkIGluIHRhbGtzIG9uIGFsbCB0b3BpY3MgcmVsYXRlZCB0byB0aGUgaW50ZXJh Y3Rpb24gb2YNCmhpZ2hlci1vcmRlciBwcm9ncmFtbWluZyBhbmQgY29tcHV0YXRpb25hbCBlZmZl Y3RzLiBUYWxrcyBhYm91dCB3b3JrDQppbiBwcm9ncmVzcyBhcmUgcGFydGljdWxhcmx5IGVuY291 cmFnZWQuIElmIHlvdSBoYXZlIGFueSBxdWVzdGlvbnMNCmFib3V0IHRoZSByZWxldmFuY2Ugb2Yg YSBwYXJ0aWN1bGFyIHRvcGljLCBwbGVhc2UgY29udGFjdCB0aGUgUEMNCmNoYWlycywgRGFuaWVs IEhpbGxlcnN0csO2bSAoZGFuaWVsLmhpbGxlcnN0cm9tQGVkLmFjLnVrKSBhbmQgTWF4DQpTLiBO ZXcgKG1heHNuZXdAdW1pY2guZWR1KS4NCg0KDQpEZWFkbGluZSBmb3IgdGFsayBwcm9wb3NhbHM6 ICAgICBNYXkgMzEsIDIwMjMgKFdlZG5lc2RheSkNCg0KTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFu Y2U6ICAgICAgIEp1bmUgMjksIDIwMjMgKFRodXJzZGF5KQ0KDQpXb3Jrc2hvcDogICAgICAgICBT ZXB0ZW1iZXIgNCwgMjAyMyAoTW9uZGF5KQ0KDQpUaGUgc3VibWlzc2lvbiB3ZWJzaXRlIGlzIG5v dyBvcGVuOg0KDQogICAgICAgICBodHRwczovL2hvcGUyMy5ob3RjcnAuY29tDQoNCg0KLS0tLS0t LS0tLS0tLS0tLS0tLS0tDQpXb3Jrc2hvcCBPcmdhbml6YXRpb24NCi0tLS0tLS0tLS0tLS0tLS0t LS0tLQ0KDQpQcm9ncmFtIENvbW1pdHRlZToNCg0KQ2FzcGVyIEJhY2ggUG91bHNlbiAoVFUgRGVs ZnQpDQpDcmFpZyBNY0xhdWdobGluIChVbml2ZXJzaXR5IG9mIE5ldyBTb3V0aCBXYWxlcykNCkNy aXN0aW5hIE1hdGFjaGUgKFRoZSBVbml2ZXJzaXR5IG9mIEVkaW5idXJnaCkNCkRhbmllbCBIaWxs ZXJzdHLDtm0gKGNvLWNoYWlyKSAoSHVhd2VpIFp1cmljaCBSZXNlYXJjaCBDZW50ZXIpDQpGcmVk cmlrIE5vcmR2YWxsIEZvcnNiZXJnIChVbml2ZXJzaXR5IG9mIFN0cmF0aGNseWRlKQ0KSmFtZXMg Tm9ibGUNCk1hxYJnb3J6YXRhIEJpZXJuYWNrYSAoVW5pdmVyc2l0eSBvZiBXcm9jbGF3KQ0KTWF0 aWFzIFRvcm8gKFVuaXZlcnNpdHkgb2YgQ2hpbGUpDQpNYXggUy4gTmV3IChjby1jaGFpcikgKFVu aXZlcnNpdHkgb2YgTWljaGlnYW4pDQpTaGluLXlhIEthdHN1bWF0YSAoTmF0aW9uYWwgSW5zdGl0 dXRlIG9mIEluZm9ybWF0aWNzKQ0KDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KR29hbHMgb2Yg dGhlIFdvcmtzaG9wDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KQSByZWN1cnJpbmcgdGhlbWUg aW4gdGhlIHJlc2VhcmNoIG9mIG1hbnkgSUNGUCBhdHRlbmRlZXMsIGlzIHRoZQ0KaW50ZXJhY3Rp b24gb2YgaGlnaGVyLW9yZGVyIHByb2dyYW1taW5nIHdpdGggdmFyaW91cyBraW5kcyBvZiBlZmZl Y3RzOg0Kc3RvcmFnZSBlZmZlY3RzLCBJL08sIGNvbnRyb2wgZWZmZWN0cywgY29uY3VycmVuY3ks IGV0Yy4gV2hpbGUgZWZmZWN0cw0KYXJlIG9mIGNyaXRpY2FsIGltcG9ydGFuY2UgaW4gbWFueSBh cHBsaWNhdGlvbnMsIHRoZXkgYWxzbyBtYWtlIGl0DQpoYXJkIHRvIGJ1aWxkLCBtYWludGFpbiwg YW5kIHJlYXNvbiBhYm91dCBvbmUncyBjb2RlLiBIaWdoZXItb3JkZXINCmxhbmd1YWdlcyAoYm90 aCBmdW5jdGlvbmFsIGFuZCBvYmplY3Qtb3JpZW50ZWQpIHByb3ZpZGUgYSB2YXJpZXR5IG9mDQph YnN0cmFjdGlvbiBtZWNoYW5pc21zIHRvIGhlbHAgInRhbWUiIG9yICJlbmNhcHN1bGF0ZSIgZWZm ZWN0cw0KKGUuZy4gbW9uYWRzLCBBRFRzLCBvd25lcnNoaXAgdHlwZXMsIHR5cGVzdGF0ZSwgZmly c3QtY2xhc3MgZXZlbnRzLA0KdHJhbnNhY3Rpb25zLCBIb2FyZSBUeXBlIFRoZW9yeSwgc2Vzc2lv biB0eXBlcywgc3Vic3RydWN0dXJhbCBhbmQNCnJlZ2lvbi1iYXNlZCB0eXBlIHN5c3RlbXMpLCBh bmQgYSBudW1iZXIgb2YgZGlmZmVyZW50IHNlbWFudGljIG1vZGVscw0KYW5kIHZlcmlmaWNhdGlv biB0ZWNobm9sb2dpZXMgaGF2ZSBiZWVuIGRldmVsb3BlZCBpbiBvcmRlciB0byBjb2RpZnkNCmFu ZCBleHBsb2l0IHRoZSBiZW5lZml0cyBvZiB0aGlzIGVuY2Fwc3VsYXRpb24gKGUuZy4gYmlzaW11 bGF0aW9ucywNCnN0ZXAtaW5kZXhlZCBLcmlwa2UgbG9naWNhbCByZWxhdGlvbnMsIGhpZ2hlci1v cmRlciBzZXBhcmF0aW9uIGxvZ2ljLA0KZ2FtZSBzZW1hbnRpY3MsIHZhcmlvdXMgbW9kYWwgbG9n aWNzKS4gQnV0IHRoZXJlIHJlbWFpbiBtYW55IG9wZW4NCnByb2JsZW1zLCBhbmQgdGhlIGZpZWxk IGlzIGhpZ2hseSBhY3RpdmUuDQoNClRoZSBnb2FsIG9mIHRoZSBIT1BFIHdvcmtzaG9wIGlzIHRv IGJyaW5nIHJlc2VhcmNoZXJzIGZyb20gYSB2YXJpZXR5DQpvZiBkaWZmZXJlbnQgYmFja2dyb3Vu ZHMgYW5kIHBlcnNwZWN0aXZlcyB0b2dldGhlciB0byBleGNoYW5nZSBuZXcgYW5kDQpleGNpdGlu ZyBpZGVhcyBjb25jZXJuaW5nIHRoZSBkZXNpZ24sIHNlbWFudGljcywgaW1wbGVtZW50YXRpb24s IGFuZA0KdmVyaWZpY2F0aW9uIG9mIGhpZ2hlci1vcmRlciBlZmZlY3RmdWwgcHJvZ3JhbXMuDQoN CldlIHdhbnQgSE9QRSB0byBiZSBhcyBpbmZvcm1hbCBhbmQgaW50ZXJhY3RpdmUgYXMgcG9zc2li bGUuIFRoZQ0KcHJvZ3JhbSB3aWxsIHRodXMgaW52b2x2ZSBhIGNvbWJpbmF0aW9uIG9mIGludml0 ZWQgdGFsa3MsIGNvbnRyaWJ1dGVkDQp0YWxrcyBhYm91dCB3b3JrIGluIHByb2dyZXNzLCBhbmQg b3Blbi1lbmRlZCBkaXNjdXNzaW9uDQpzZXNzaW9ucy4gVGhlcmUgd2lsbCBiZSBubyBwdWJsaXNo ZWQgcHJvY2VlZGluZ3MsIGJ1dCBwYXJ0aWNpcGFudHMNCndpbGwgYmUgaW52aXRlZCB0byBzdWJt aXQgd29ya2luZyBkb2N1bWVudHMsIHRhbGsgc2xpZGVzLCBldGMuIHRvIGJlDQpwb3N0ZWQgb24g dGhpcyB3ZWJzaXRlLg0KDQpUaGUgVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2ggaXMgYSBjaGFyaXRh YmxlIGJvZHksIHJlZ2lzdGVyZWQgaW4gU2NvdGxhbmQsIHdpdGggcmVnaXN0cmF0aW9uIG51bWJl ciBTQzAwNTMzNi4gSXMgZSBidWlkaGVhbm4gY2FydGhhbm5haXMgYSB0aOKAmSBhbm4gYW4gT2ls dGhpZ2ggRGjDuW4gw4hpZGVhbm4sIGNsw6ByYWljaHRlIGFuIEFsYmEsIMOgaXJlYW1oIGNsw6By YWlkaCBTQzAwNTMzNi4NCg==