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, 30 Mar 2023 14:40:54 +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, 30 Mar 2023 14:40:54 +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, 30 Mar 2023 14:40:54 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 32UDe8lJ012246 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 30 Mar 2023 14:40:08 +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 32UDe1OB012217 for ; Thu, 30 Mar 2023 14:40:01 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Mar 2023 15:39:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 22123E02AD; Thu, 30 Mar 2023 15:39:59 +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 BC402E019F for ; Thu, 30 Mar 2023 15:36:34 +0200 (CEST) Received: from loire.is.ed.ac.uk ([129.215.16.10]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 Mar 2023 15:36:34 +0200 Received: from exseed.ed.ac.uk (hbdat3.is.ed.ac.uk [129.215.235.38]) by loire.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 32UDaGFd005421 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT); Thu, 30 Mar 2023 14:36:21 +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, 30 Mar 2023 14:36:20 +0100 Received: from EUR04-HE1-obe.outbound.protection.outlook.com (104.47.13.59) 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, 30 Mar 2023 14:36:20 +0100 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com (2603:10a6:10:90::18) by DB9PR05MB10451.eurprd05.prod.outlook.com (2603:10a6:10:45f::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6178.41; Thu, 30 Mar 2023 13:36:18 +0000 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::b792:75cb:3e0c:ecc9]) by DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::b792:75cb:3e0c:ecc9%5]) with mapi id 15.20.6222.035; Thu, 30 Mar 2023 13:36:18 +0000 From: =?utf-8?B?RGFuaWVsIEhpbGxlcnN0csO2bQ==?= To: "daniel.hillerstrom@ed.ac.uk" Subject: [Caml-list] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP) Thread-Topic: [Caml-list] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP) Thread-Index: AQHZYw1AHrVmAnOXvEicYDWs1yLKsQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 30 Mar 2023 14:36:16 +0100 Message-ID: <2750ce79-5e56-dfd8-767f-b52dc969c9c2@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: d5e8ed06-bcb8-461d-1208-08db3124627c 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.98,303,1673910000"; d="scan'208";a="99927140" 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: 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 Y2U6ICAgICAgIEp1bmUgMjksIDIwMjIgKFdlZG5lc2RheSkNCg0KV29ya3Nob3A6ICAgICAgICAg U2VwdGVtYmVyIDQsIDIwMjMgKE1vbmRheSkNCg0KVGhlIHN1Ym1pc3Npb24gd2Vic2l0ZSBpcyBu b3cgb3BlbjoNCg0KICAgICAgICAgaHR0cHM6Ly9ob3BlMjMuaG90Y3JwLmNvbQ0KDQoNCi0tLS0t LS0tLS0tLS0tLS0tLS0tLQ0KV29ya3Nob3AgT3JnYW5pemF0aW9uDQotLS0tLS0tLS0tLS0tLS0t LS0tLS0NCg0KUHJvZ3JhbSBDb21taXR0ZWU6DQoNCkNhc3BlciBCYWNoIFBvdWxzZW4gKFRVIERl bGZ0KQ0KQ3JhaWcgTWNMYXVnaGxpbiAoVW5pdmVyc2l0eSBvZiBOZXcgU291dGggV2FsZXMpDQpD cmlzdGluYSBNYXRhY2hlIChUaGUgVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2gpDQpEYW5pZWwgSGls bGVyc3Ryw7ZtIChjby1jaGFpcikgKEh1YXdlaSBadXJpY2ggUmVzZWFyY2ggQ2VudGVyKQ0KRnJl ZHJpayBOb3JkdmFsbCBGb3JzYmVyZyAoVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZSkNCkphbWVz IE5vYmxlDQpNYcWCZ29yemF0YSBCaWVybmFja2EgKFVuaXZlcnNpdHkgb2YgV3JvY2xhdykNCk1h dGlhcyBUb3JvIChVbml2ZXJzaXR5IG9mIENoaWxlKQ0KTWF4IFMuIE5ldyAoY28tY2hhaXIpIChV bml2ZXJzaXR5IG9mIE1pY2hpZ2FuKQ0KU2hpbi15YSBLYXRzdW1hdGEgKE5hdGlvbmFsIEluc3Rp dHV0ZSBvZiBJbmZvcm1hdGljcykNCg0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0NCkdvYWxzIG9m IHRoZSBXb3Jrc2hvcA0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCkEgcmVjdXJyaW5nIHRoZW1l IGluIHRoZSByZXNlYXJjaCBvZiBtYW55IElDRlAgYXR0ZW5kZWVzLCBpcyB0aGUNCmludGVyYWN0 aW9uIG9mIGhpZ2hlci1vcmRlciBwcm9ncmFtbWluZyB3aXRoIHZhcmlvdXMga2luZHMgb2YgZWZm ZWN0czoNCnN0b3JhZ2UgZWZmZWN0cywgSS9PLCBjb250cm9sIGVmZmVjdHMsIGNvbmN1cnJlbmN5 LCBldGMuIFdoaWxlIGVmZmVjdHMNCmFyZSBvZiBjcml0aWNhbCBpbXBvcnRhbmNlIGluIG1hbnkg YXBwbGljYXRpb25zLCB0aGV5IGFsc28gbWFrZSBpdA0KaGFyZCB0byBidWlsZCwgbWFpbnRhaW4s IGFuZCByZWFzb24gYWJvdXQgb25lJ3MgY29kZS4gSGlnaGVyLW9yZGVyDQpsYW5ndWFnZXMgKGJv dGggZnVuY3Rpb25hbCBhbmQgb2JqZWN0LW9yaWVudGVkKSBwcm92aWRlIGEgdmFyaWV0eSBvZg0K YWJzdHJhY3Rpb24gbWVjaGFuaXNtcyB0byBoZWxwICJ0YW1lIiBvciAiZW5jYXBzdWxhdGUiIGVm ZmVjdHMNCihlLmcuIG1vbmFkcywgQURUcywgb3duZXJzaGlwIHR5cGVzLCB0eXBlc3RhdGUsIGZp cnN0LWNsYXNzIGV2ZW50cywNCnRyYW5zYWN0aW9ucywgSG9hcmUgVHlwZSBUaGVvcnksIHNlc3Np b24gdHlwZXMsIHN1YnN0cnVjdHVyYWwgYW5kDQpyZWdpb24tYmFzZWQgdHlwZSBzeXN0ZW1zKSwg YW5kIGEgbnVtYmVyIG9mIGRpZmZlcmVudCBzZW1hbnRpYyBtb2RlbHMNCmFuZCB2ZXJpZmljYXRp b24gdGVjaG5vbG9naWVzIGhhdmUgYmVlbiBkZXZlbG9wZWQgaW4gb3JkZXIgdG8gY29kaWZ5DQph bmQgZXhwbG9pdCB0aGUgYmVuZWZpdHMgb2YgdGhpcyBlbmNhcHN1bGF0aW9uIChlLmcuIGJpc2lt dWxhdGlvbnMsDQpzdGVwLWluZGV4ZWQgS3JpcGtlIGxvZ2ljYWwgcmVsYXRpb25zLCBoaWdoZXIt b3JkZXIgc2VwYXJhdGlvbiBsb2dpYywNCmdhbWUgc2VtYW50aWNzLCB2YXJpb3VzIG1vZGFsIGxv Z2ljcykuIEJ1dCB0aGVyZSByZW1haW4gbWFueSBvcGVuDQpwcm9ibGVtcywgYW5kIHRoZSBmaWVs ZCBpcyBoaWdobHkgYWN0aXZlLg0KDQpUaGUgZ29hbCBvZiB0aGUgSE9QRSB3b3Jrc2hvcCBpcyB0 byBicmluZyByZXNlYXJjaGVycyBmcm9tIGEgdmFyaWV0eQ0Kb2YgZGlmZmVyZW50IGJhY2tncm91 bmRzIGFuZCBwZXJzcGVjdGl2ZXMgdG9nZXRoZXIgdG8gZXhjaGFuZ2UgbmV3IGFuZA0KZXhjaXRp bmcgaWRlYXMgY29uY2VybmluZyB0aGUgZGVzaWduLCBzZW1hbnRpY3MsIGltcGxlbWVudGF0aW9u LCBhbmQNCnZlcmlmaWNhdGlvbiBvZiBoaWdoZXItb3JkZXIgZWZmZWN0ZnVsIHByb2dyYW1zLg0K DQpXZSB3YW50IEhPUEUgdG8gYmUgYXMgaW5mb3JtYWwgYW5kIGludGVyYWN0aXZlIGFzIHBvc3Np YmxlLiBUaGUNCnByb2dyYW0gd2lsbCB0aHVzIGludm9sdmUgYSBjb21iaW5hdGlvbiBvZiBpbnZp dGVkIHRhbGtzLCBjb250cmlidXRlZA0KdGFsa3MgYWJvdXQgd29yayBpbiBwcm9ncmVzcywgYW5k IG9wZW4tZW5kZWQgZGlzY3Vzc2lvbg0Kc2Vzc2lvbnMuIFRoZXJlIHdpbGwgYmUgbm8gcHVibGlz aGVkIHByb2NlZWRpbmdzLCBidXQgcGFydGljaXBhbnRzDQp3aWxsIGJlIGludml0ZWQgdG8gc3Vi bWl0IHdvcmtpbmcgZG9jdW1lbnRzLCB0YWxrIHNsaWRlcywgZXRjLiB0byBiZQ0KcG9zdGVkIG9u IHRoaXMgd2Vic2l0ZS4NCg0KVGhlIFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoIGlzIGEgY2hhcml0 YWJsZSBib2R5LCByZWdpc3RlcmVkIGluIFNjb3RsYW5kLCB3aXRoIHJlZ2lzdHJhdGlvbiBudW1i ZXIgU0MwMDUzMzYuIElzIGUgYnVpZGhlYW5uIGNhcnRoYW5uYWlzIGEgdGjigJkgYW5uIGFuIE9p bHRoaWdoIERow7luIMOIaWRlYW5uLCBjbMOgcmFpY2h0ZSBhbiBBbGJhLCDDoGlyZWFtaCBjbMOg cmFpZGggU0MwMDUzMzYuDQo=