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; Thu, 20 Apr 2023 13:54:27 +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; Thu, 20 Apr 2023 13:54:27 +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; Thu, 20 Apr 2023 13:54:27 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 33KCrfZZ004035 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 20 Apr 2023 13:53:41 +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 33KCrXlK004020 for ; Thu, 20 Apr 2023 13:53:33 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Apr 2023 14:53:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7C712E03A8; Thu, 20 Apr 2023 14:53:32 +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 C0BAEE019E for ; Thu, 20 Apr 2023 14:53:29 +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; 20 Apr 2023 14:53:29 +0200 Received: from exseed.ed.ac.uk (hbdat3.is.ed.ac.uk [129.215.235.38]) by seine.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 33KCrNrj016267 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Thu, 20 Apr 2023 13:53:28 +0100 Received: from hbdat3.is.ed.ac.uk (129.215.235.38) 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; Thu, 20 Apr 2023 13:53:27 +0100 Received: from EUR03-AM7-obe.outbound.protection.outlook.com (104.47.51.234) 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; Thu, 20 Apr 2023 13:53:27 +0100 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com (2603:10a6:10:90::18) by PR3PR05MB7066.eurprd05.prod.outlook.com (2603:10a6:102:6d::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6319.22; Thu, 20 Apr 2023 12:53:26 +0000 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::a396:e991:4f36:661b]) by DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::a396:e991:4f36:661b%6]) with mapi id 15.20.6319.021; Thu, 20 Apr 2023 12:53:26 +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 (2nd CFP) Thread-Topic: [Caml-list] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP) Thread-Index: AQHZc4c9NqGDvkNTSUeBlm7+vN3L6g== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 20 Apr 2023 13:53:24 +0100 Message-ID: <4a73dd5c-4330-f297-41cf-973a2781af94@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: ab5eedb5-1c95-4ce4-12f0-08db419e601b 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="5.99,212,1677538800"; d="scan'208";a="103988804" 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: <13F76680009A5F4F843031CC5BA1954A@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 VEw7RFINCiAgICAgRGVhZGxpbmUgZm9yIEhPUEUgMjAyMyBhYnN0cmFjdHMgaXMgb24gTWF5IDMx LCAyMDIzLg0KICAgICBEZXRhaWxzIGJlbG93Lg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQogICAgICAgICAg ICAgICAgICAgICAgICAgICAgSE9QRSAyMDIzDQoNCiAgICAgICAgICAgICAgICAgVGhlIDExdGgg QUNNIFNJR1BMQU4gV29ya3Nob3Agb24NCiAgICAgICAgICAgICAgIEhpZ2hlci1PcmRlciBQcm9n cmFtbWluZyB3aXRoIEVmZmVjdHMNCg0KICAgICAgICAgICAgICAgICAgICAgICAgIFNlcHRlbWJl ciA0LCAyMDIzDQogICAgICAgICAgICAgICAgICAgICAgIFNlYXR0bGUsIFdhc2hpbmd0b24sIFVT QQ0KICAgICAgICAgICAgICAgICAgICAodGhlIGRheSBiZWZvcmUgSUNGUCAyMDIzKQ0KDQpodHRw czovL2ljZnAyMy5zaWdwbGFuLm9yZy9ob21lL2hvcGUtMjAyMw0KDQpIT1BFIDIwMjMgYWltcyBh dCBicmluZ2luZyB0b2dldGhlciByZXNlYXJjaGVycyBpbnRlcmVzdGVkIGluIHRoZQ0KZGVzaWdu LCBzZW1hbnRpY3MsIGltcGxlbWVudGF0aW9uLCBhbmQgdmVyaWZpY2F0aW9uIG9mIGhpZ2hlci1v cmRlcg0KZWZmZWN0ZnVsIHByb2dyYW1zLiBJdCB3aWxsIGJlICppbmZvcm1hbCosIGNvbnNpc3Rp bmcgb2YgY29udHJpYnV0ZWQNCnRhbGtzIG9uIHdvcmsgaW4gcHJvZ3Jlc3MsIGFuZCBvcGVuLWVu ZGVkIGRpc2N1c3Npb24gc2Vzc2lvbnMuDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCkNhbGwg Zm9yIFRhbGsgUHJvcG9zYWxzDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQpXZSBzb2xpY2l0 IHByb3Bvc2FscyBmb3IgY29udHJpYnV0ZWQgdGFsa3MuIFdlIHJlY29tbWVuZCBwcmVwYXJpbmcN CnByb3Bvc2FscyBvZiBhdCBtb3N0IDIgcGFnZXMgZXhjbHVkaW5nIHJlZmVyZW5jZXMsIGluIGVp dGhlciBwbGFpbg0KdGV4dCBvciBQREYgZm9ybWF0LiBIb3dldmVyLCB3ZSB3aWxsIGFjY2VwdCBs b25nZXIgcHJvcG9zYWxzIG9yDQpzdWJtaXNzaW9ucyB0byBvdGhlciBjb25mZXJlbmNlcywgdW5k ZXIgdGhlIHVuZGVyc3RhbmRpbmcgdGhhdCBQQw0KbWVtYmVycyBhcmUgb25seSBleHBlY3RlZCB0 byByZWFkIHRoZSBmaXJzdCB0d28gcGFnZXMgb2Ygc3VjaCBsb25nZXINCnN1Ym1pc3Npb25zLiBX aGVuIHN1Ym1pdHRpbmcgdGFsayBwcm9wb3NhbHMsIGF1dGhvcnMgc2hvdWxkIHNwZWNpZnkNCmhv dyBsb25nIGEgdGFsayB0aGUgc3BlYWtlciB3aXNoZXMgdG8gZ2l2ZS4gQnkgZGVmYXVsdCwgY29u dHJpYnV0ZWQNCnRhbGtzIHdpbGwgYmUgMzAgbWludXRlcyBsb25nLCBidXQgcHJvcG9zYWxzIGZv ciBzaG9ydGVyIG9yIGxvbmdlcg0KdGFsa3Mgd2lsbCBhbHNvIGJlIGNvbnNpZGVyZWQuIFNwZWFr ZXJzIG1heSBhbHNvIHN1Ym1pdCBzdXBwbGVtZW50YXJ5DQptYXRlcmlhbCAoZS5nLiBhIGZ1bGwg cGFwZXIsIHRhbGsgc2xpZGVzKSBpZiB0aGV5IGRlc2lyZSwgd2hpY2ggUEMNCm1lbWJlcnMgYXJl IGZyZWUgKGJ1dCBub3QgZXhwZWN0ZWQpIHRvIHJlYWQuDQoNCldlIGFyZSBpbnRlcmVzdGVkIGlu IHRhbGtzIG9uIGFsbCB0b3BpY3MgcmVsYXRlZCB0byB0aGUgaW50ZXJhY3Rpb24gb2YNCmhpZ2hl ci1vcmRlciBwcm9ncmFtbWluZyBhbmQgY29tcHV0YXRpb25hbCBlZmZlY3RzLiBUYWxrcyBhYm91 dCB3b3JrDQppbiBwcm9ncmVzcyBhcmUgcGFydGljdWxhcmx5IGVuY291cmFnZWQuIElmIHlvdSBo YXZlIGFueSBxdWVzdGlvbnMNCmFib3V0IHRoZSByZWxldmFuY2Ugb2YgYSBwYXJ0aWN1bGFyIHRv cGljLCBwbGVhc2UgY29udGFjdCB0aGUgUEMNCmNoYWlycywgRGFuaWVsIEhpbGxlcnN0csO2bSAo ZGFuaWVsLmhpbGxlcnN0cm9tQGVkLmFjLnVrKSBhbmQgTWF4DQpTLiBOZXcgKG1heHNuZXdAdW1p Y2guZWR1KS4NCg0KDQpEZWFkbGluZSBmb3IgdGFsayBwcm9wb3NhbHM6ICAgICBNYXkgMzEsIDIw MjMgKFdlZG5lc2RheSkNCg0KTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6ICAgICAgSnVuZSAy OSwgMjAyMyAoVGh1cnNkYXkpDQoNCldvcmtzaG9wOiAgICAgICAgIFNlcHRlbWJlciA0LCAyMDIz IChNb25kYXkpDQoNClRoZSBzdWJtaXNzaW9uIHdlYnNpdGUgaXMgbm93IG9wZW46DQoNCmh0dHBz Oi8vaG9wZTIzLmhvdGNycC5jb20NCg0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0NCldvcmtzaG9w IE9yZ2FuaXphdGlvbg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNClByb2dyYW0gQ29tbWl0dGVl Og0KDQpDYXNwZXIgQmFjaCBQb3Vsc2VuIChUVSBEZWxmdCkNCkNyYWlnIE1jTGF1Z2hsaW4gKFVu aXZlcnNpdHkgb2YgTmV3IFNvdXRoIFdhbGVzKQ0KQ3Jpc3RpbmEgTWF0YWNoZSAoVGhlIFVuaXZl cnNpdHkgb2YgRWRpbmJ1cmdoKQ0KRGFuaWVsIEhpbGxlcnN0csO2bSAoY28tY2hhaXIpIChIdWF3 ZWkgWnVyaWNoIFJlc2VhcmNoIENlbnRlcikNCkZyZWRyaWsgTm9yZHZhbGwgRm9yc2JlcmcgKFVu aXZlcnNpdHkgb2YgU3RyYXRoY2x5ZGUpDQpKYW1lcyBOb2JsZQ0KTWHFgmdvcnphdGEgQmllcm5h Y2thIChVbml2ZXJzaXR5IG9mIFdyb2NsYXcpDQpNYXRpYXMgVG9ybyAoVW5pdmVyc2l0eSBvZiBD aGlsZSkNCk1heCBTLiBOZXcgKGNvLWNoYWlyKSAoVW5pdmVyc2l0eSBvZiBNaWNoaWdhbikNClNo aW4teWEgS2F0c3VtYXRhIChOYXRpb25hbCBJbnN0aXR1dGUgb2YgSW5mb3JtYXRpY3MpDQoNCg0K LS0tLS0tLS0tLS0tLS0tLS0tLS0tDQpHb2FscyBvZiB0aGUgV29ya3Nob3ANCi0tLS0tLS0tLS0t LS0tLS0tLS0tLQ0KDQpBIHJlY3VycmluZyB0aGVtZSBpbiB0aGUgcmVzZWFyY2ggb2YgbWFueSBJ Q0ZQIGF0dGVuZGVlcywgaXMgdGhlDQppbnRlcmFjdGlvbiBvZiBoaWdoZXItb3JkZXIgcHJvZ3Jh bW1pbmcgd2l0aCB2YXJpb3VzIGtpbmRzIG9mIGVmZmVjdHM6DQpzdG9yYWdlIGVmZmVjdHMsIEkv TywgY29udHJvbCBlZmZlY3RzLCBjb25jdXJyZW5jeSwgZXRjLiBXaGlsZSBlZmZlY3RzDQphcmUg b2YgY3JpdGljYWwgaW1wb3J0YW5jZSBpbiBtYW55IGFwcGxpY2F0aW9ucywgdGhleSBhbHNvIG1h a2UgaXQNCmhhcmQgdG8gYnVpbGQsIG1haW50YWluLCBhbmQgcmVhc29uIGFib3V0IG9uZSdzIGNv ZGUuIEhpZ2hlci1vcmRlcg0KbGFuZ3VhZ2VzIChib3RoIGZ1bmN0aW9uYWwgYW5kIG9iamVjdC1v cmllbnRlZCkgcHJvdmlkZSBhIHZhcmlldHkgb2YNCmFic3RyYWN0aW9uIG1lY2hhbmlzbXMgdG8g aGVscCAidGFtZSIgb3IgImVuY2Fwc3VsYXRlIiBlZmZlY3RzDQooZS5nLiBtb25hZHMsIEFEVHMs IG93bmVyc2hpcCB0eXBlcywgdHlwZXN0YXRlLCBmaXJzdC1jbGFzcyBldmVudHMsDQp0cmFuc2Fj dGlvbnMsIEhvYXJlIFR5cGUgVGhlb3J5LCBzZXNzaW9uIHR5cGVzLCBzdWJzdHJ1Y3R1cmFsIGFu ZA0KcmVnaW9uLWJhc2VkIHR5cGUgc3lzdGVtcyksIGFuZCBhIG51bWJlciBvZiBkaWZmZXJlbnQg c2VtYW50aWMgbW9kZWxzDQphbmQgdmVyaWZpY2F0aW9uIHRlY2hub2xvZ2llcyBoYXZlIGJlZW4g ZGV2ZWxvcGVkIGluIG9yZGVyIHRvIGNvZGlmeQ0KYW5kIGV4cGxvaXQgdGhlIGJlbmVmaXRzIG9m IHRoaXMgZW5jYXBzdWxhdGlvbiAoZS5nLiBiaXNpbXVsYXRpb25zLA0Kc3RlcC1pbmRleGVkIEty aXBrZSBsb2dpY2FsIHJlbGF0aW9ucywgaGlnaGVyLW9yZGVyIHNlcGFyYXRpb24gbG9naWMsDQpn YW1lIHNlbWFudGljcywgdmFyaW91cyBtb2RhbCBsb2dpY3MpLiBCdXQgdGhlcmUgcmVtYWluIG1h bnkgb3Blbg0KcHJvYmxlbXMsIGFuZCB0aGUgZmllbGQgaXMgaGlnaGx5IGFjdGl2ZS4NCg0KVGhl IGdvYWwgb2YgdGhlIEhPUEUgd29ya3Nob3AgaXMgdG8gYnJpbmcgcmVzZWFyY2hlcnMgZnJvbSBh IHZhcmlldHkNCm9mIGRpZmZlcmVudCBiYWNrZ3JvdW5kcyBhbmQgcGVyc3BlY3RpdmVzIHRvZ2V0 aGVyIHRvIGV4Y2hhbmdlIG5ldyBhbmQNCmV4Y2l0aW5nIGlkZWFzIGNvbmNlcm5pbmcgdGhlIGRl c2lnbiwgc2VtYW50aWNzLCBpbXBsZW1lbnRhdGlvbiwgYW5kDQp2ZXJpZmljYXRpb24gb2YgaGln aGVyLW9yZGVyIGVmZmVjdGZ1bCBwcm9ncmFtcy4NCg0KV2Ugd2FudCBIT1BFIHRvIGJlIGFzIGlu Zm9ybWFsIGFuZCBpbnRlcmFjdGl2ZSBhcyBwb3NzaWJsZS4gVGhlDQpwcm9ncmFtIHdpbGwgdGh1 cyBpbnZvbHZlIGEgY29tYmluYXRpb24gb2YgaW52aXRlZCB0YWxrcywgY29udHJpYnV0ZWQNCnRh bGtzIGFib3V0IHdvcmsgaW4gcHJvZ3Jlc3MsIGFuZCBvcGVuLWVuZGVkIGRpc2N1c3Npb24NCnNl c3Npb25zLiBUaGVyZSB3aWxsIGJlIG5vIHB1Ymxpc2hlZCBwcm9jZWVkaW5ncywgYnV0IHBhcnRp Y2lwYW50cw0Kd2lsbCBiZSBpbnZpdGVkIHRvIHN1Ym1pdCB3b3JraW5nIGRvY3VtZW50cywgdGFs ayBzbGlkZXMsIGV0Yy4gdG8gYmUNCnBvc3RlZCBvbiB0aGlzIHdlYnNpdGUuDQoNClRoZSBVbml2 ZXJzaXR5IG9mIEVkaW5idXJnaCBpcyBhIGNoYXJpdGFibGUgYm9keSwgcmVnaXN0ZXJlZCBpbiBT Y290bGFuZCwgd2l0aCByZWdpc3RyYXRpb24gbnVtYmVyIFNDMDA1MzM2LiBJcyBlIGJ1aWRoZWFu biBjYXJ0aGFubmFpcyBhIHRo4oCZIGFubiBhbiBPaWx0aGlnaCBEaMO5biDDiGlkZWFubiwgY2zD oHJhaWNodGUgYW4gQWxiYSwgw6BpcmVhbWggY2zDoHJhaWRoIFNDMDA1MzM2Lg0K