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; Tue, 12 Dec 2023 02:08:28 +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; Tue, 12 Dec 2023 02:08:28 +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; Tue, 12 Dec 2023 02:08:28 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3BC28aD3013815 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 12 Dec 2023 02:08:36 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 3BC28TYr013801 for ; Tue, 12 Dec 2023 02:08:29 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Dec 2023 03:08:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1EEFAE0CCF; Tue, 12 Dec 2023 03:08:29 +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 848B3E0AF1 for ; Tue, 12 Dec 2023 03:08:17 +0100 (CET) Received: from mail-pf1-f174.google.com ([209.85.210.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 Dec 2023 03:08:16 +0100 Received: by mail-pf1-f174.google.com with SMTP id d2e1a72fcca58-6ce6d926f76so3569172b3a.1 for ; Mon, 11 Dec 2023 18:08:15 -0800 (PST) From: ICFP Publicity Subject: [Caml-list] ICFP 2024: Call for Workshops and Co-Located Events Thread-Topic: [Caml-list] ICFP 2024: Call for Workshops and Co-Located Events Thread-Index: AQHaLKAYa3vbDr0iAkC6oqjelbjCqA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 12 Dec 2023 02:08:02 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: ICFP Publicity 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: 1142fc11-97b0-407b-9a93-08dbfab73b33 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a05:6a20:b911:b0:18f:97c:3858 with SMTP id fe17-20020a056a20b91100b0018f097c3858mr5028836pzb.50.1702346893665; Mon, 11 Dec 2023 18:08:13 -0800 (PST) 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.04,269,1695679200"; d="scan'208,217";a="74120780" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+Q0FMTCBGT1IgV09SS1NIT1AgQU5EIENPLUxPQ0FURUQgRVZFTlQgUFJPUE9TQUxTPGJyPg0K SUNGUCAyMDI0PGJyPg0KMjl0aCBBQ00gU0lHUExBTiBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ug b24gRnVuY3Rpb25hbCBQcm9ncmFtbWluZzxicj4NCjxicj4NClNlcHRlbWJlciAyIC0gNywgMjAy NDxicj4NCk1pbGFuLCBJdGFseTxicj4NCjxhIGhyZWY9Imh0dHBzOi8vaWNmcDI0LnNpZ3BsYW4u b3JnLyI+aHR0cHM6Ly9pY2ZwMjQuc2lncGxhbi5vcmcvPC9hPjxicj4NCjxicj4NClRoZSAyOXRo IEFDTSBTSUdQTEFOIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBGdW5jdGlvbmFsPGJyPg0K UHJvZ3JhbW1pbmcgd2lsbCBiZSBoZWxkIGluIE1pbGFuLCBJdGFseSBvbiBTZXB0ZW1iZXIgMiAt IDcsPGJyPg0KMjAyNCwgd2l0aCB0aGUgb3B0aW9uIG9mIHZpcnR1YWwgcGFydGljaXBhdGlvbi4g SUNGUCBwcm92aWRlcyBhIGZvcnVtPGJyPg0KZm9yIHJlc2VhcmNoZXJzIGFuZCBkZXZlbG9wZXJz IHRvIGhlYXIgYWJvdXQgdGhlIGxhdGVzdCB3b3JrIG9uIHRoZTxicj4NCmRlc2lnbiwgaW1wbGVt ZW50YXRpb25zLCBwcmluY2lwbGVzLCBhbmQgdXNlcyBvZiBmdW5jdGlvbmFsPGJyPg0KcHJvZ3Jh bW1pbmcuPGJyPg0KPGJyPg0KUHJvcG9zYWxzIGFyZSBpbnZpdGVkIGZvciB3b3Jrc2hvcHMgKGFu ZCBvdGhlciBjby1sb2NhdGVkIGV2ZW50cyw8YnI+DQpzdWNoIGFzIHN5bXBvc2l1bXMpIHRvIGJl IGFmZmlsaWF0ZWQgd2l0aCBJQ0ZQIDIwMjQgYW5kIHNwb25zb3JlZCBieTxicj4NClNJR1BMQU4u IFRoZXNlIGV2ZW50cyBzaG91bGQgYmUgbGVzcyBmb3JtYWwgYW5kIG1vcmUgZm9jdXNlZCB0aGFu PGJyPg0KSUNGUCBpdHNlbGYsIGluY2x1ZGUgc2Vzc2lvbnMgdGhhdCBlbmFibGUgaW50ZXJhY3Rp b24gYW1vbmcgdGhlPGJyPg0KYXR0ZW5kZWVzLCBhbmQgZm9zdGVyIHRoZSBleGNoYW5nZSBvZiBu ZXcgaWRlYXMuIFRoZSBwcmVmZXJlbmNlIGlzPGJyPg0KZm9yIG9uZS1kYXkgZXZlbnRzLCBidXQg b3RoZXIgc2NoZWR1bGVzIGNhbiBhbHNvIGJlIGNvbnNpZGVyZWQuPGJyPg0KPGJyPg0KVGhlIHdv cmtzaG9wcyBhcmUgc2NoZWR1bGVkIHRvIG9jY3VyIG9uIFNlcHRlbWJlciAybmQgKHRoZSBkYXkg YmVmb3JlPGJyPg0KSUNGUCkgYW5kIFNlcHRlbWJlciA2LTd0aCAodGhlIHR3byBkYXlzIGFmdGVy IElDRlApLjxicj4NCjxicj4NCkEgc2VwYXJhdGUgY2FsbCBmb3IgQ2FsbCBmb3IgVHV0b3JpYWws IFBhbmVsLCBhbmQgRGlzY3Vzc2lvbiBQcm9wb3NhbHMgaXMgPGJyPg0KZ29pbmcgdG8gYmUgY2ly Y3VsYXRlZCBsYXRlci48YnI+DQo8YnI+DQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tPGJyPg0KPGJyPg0KU3VibWlz c2lvbiBkZXRhaWxzPGJyPg0KRGVhZGxpbmUgZm9yIHN1Ym1pc3Npb246IEphbnVhcnkgMTEsIDIw MjQ8YnI+DQpOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZTogSmFudWFyeSAxOSwgMjAyNDxicj4N Cjxicj4NClByb3NwZWN0aXZlIG9yZ2FuaXplcnMgb2Ygd29ya3Nob3BzIG9yIG90aGVyIGNvLWxv Y2F0ZWQgZXZlbnRzIGFyZTxicj4NCmludml0ZWQgdG8gc3VibWl0IGEgY29tcGxldGVkIHdvcmtz aG9wIHByb3Bvc2FsIGZvcm0gaW4gcGxhaW4gdGV4dDxicj4NCmZvcm1hdCB0byB0aGUgSUNGUCAy MDI0IHdvcmtzaG9wIGNvLWNoYWlycyAoQ2hhbmRyYWthbmEgTmFuZGk8YnI+DQphbmQgWWFubmlj ayBGb3JzdGVyKSB2aWEgZW1haWwgdG88YnI+DQo8YnI+DQo8YSBocmVmPSJtYWlsdG86Y2hhbmRy YUBjZXJ0b3JhLmNvbSI+Y2hhbmRyYUBjZXJ0b3JhLmNvbTwvYT48YnI+DQo8YSBocmVmPSJtYWls dG86eWFubmljay5mb3JzdGVyQGlucmlhLmZyIj55YW5uaWNrLmZvcnN0ZXJAaW5yaWEuZnI8L2E+ PGJyPg0KPGJyPg0KYnkgSmFudWFyeSAxMSwgMjAyNC4gKEZvciBwcm9wb3NhbHMgb2YgY28tbG9j YXRlZCBldmVudHMgb3RoZXIgdGhhbjxicj4NCndvcmtzaG9wcywgcGxlYXNlIGZpbGwgaW4gdGhl IHdvcmtzaG9wIHByb3Bvc2FsIGZvcm0gYW5kIGp1c3QgbGVhdmU8YnI+DQpibGFuayBhbnkgc2Vj dGlvbnMgdGhhdCBkbyBub3QgYXBwbHkuKSBQbGVhc2Ugbm90ZSB0aGF0IHRoaXMgaXMgYTxicj4N CmZpcm0gZGVhZGxpbmUuPGJyPg0KPGJyPg0KT3JnYW5pemVycyB3aWxsIGJlIG5vdGlmaWVkIHdo ZXRoZXIgdGhlaXIgZXZlbnQgcHJvcG9zYWwgaXMgYWNjZXB0ZWQ8YnI+DQpieSBKYW51YXJ5IDE5 LCAyMDI0LCBhbmQgaWYgc3VjY2Vzc2Z1bCwgZGVwZW5kaW5nIG9uIHRoZSBldmVudCwgdGhleTxi cj4NCndpbGwgYmUgYXNrZWQgdG8gcHJvZHVjZSBhIGZpbmFsIHJlcG9ydCBhZnRlciB0aGUgZXZl bnQgaGFzIHRha2VuPGJyPg0KcGxhY2UgdGhhdCBpcyBzdWl0YWJsZSBmb3IgcHVibGljYXRpb24g aW4gU0lHUExBTiBOb3RpY2VzLjxicj4NCjxicj4NClRoZSBwcm9wb3NhbCBmb3JtIGlzIGF2YWls YWJsZSBhdDo8YnI+DQo8YnI+DQo8YSBocmVmPSJodHRwOi8vd3d3LmljZnBjb25mZXJlbmNlLm9y Zy9pY2ZwMjAyNC1maWxlcy9pY2ZwMjQtd29ya3Nob3BzLWZvcm0udHh0LmRvY3giPmh0dHA6Ly93 d3cuaWNmcGNvbmZlcmVuY2Uub3JnL2ljZnAyMDI0LWZpbGVzL2ljZnAyNC13b3Jrc2hvcHMtZm9y bS50eHQuZG9jeDwvYT48YnI+DQo8YnI+DQpQQyBUZW1wbGF0ZTo8YnI+DQo8YnI+DQo8YSBocmVm PSJodHRwOi8vd3d3LmljZnBjb25mZXJlbmNlLm9yZy9pY2ZwMjAyNC1maWxlcy9wYy10ZW1wbGF0 ZS54bHN4Ij5odHRwOi8vd3d3LmljZnBjb25mZXJlbmNlLm9yZy9pY2ZwMjAyNC1maWxlcy9wYy10 ZW1wbGF0ZS54bHN4PC9hPjxicj4NCjxicj4NCkZ1cnRoZXIgaW5mb3JtYXRpb24gYWJvdXQgU0lH UExBTiBzcG9uc29yc2hpcCBpcyBhdmFpbGFibGUgYXQ6PGJyPg0KPGJyPg0KPGEgaHJlZj0iaHR0 cDovL3d3dy5zaWdwbGFuLm9yZy9SZXNvdXJjZXMvUHJvcG9zYWxzL1Nwb25zb3JlZC8iPmh0dHA6 Ly93d3cuc2lncGxhbi5vcmcvUmVzb3VyY2VzL1Byb3Bvc2Fscy9TcG9uc29yZWQvPC9hPjxicj4N Cjxicj4NCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+DQo8YnI+DQpTZWxlY3Rpb24gY29tbWl0dGVlPGJyPg0K PGJyPg0KVGhlIHByb3Bvc2FscyB3aWxsIGJlIGV2YWx1YXRlZCBieSBhIGNvbW1pdHRlZSBjb21w cmlzaW5nIHRoZTxicj4NCmZvbGxvd2luZyBtZW1iZXJzIG9mIHRoZSBJQ0ZQIDIwMjQgb3JnYW5p emluZyBjb21taXR0ZWUsIHRvZ2V0aGVyPGJyPg0Kd2l0aCB0aGUgbWVtYmVycyBvZiB0aGUgU0lH UExBTiBleGVjdXRpdmUgY29tbWl0dGVlLjxicj4NCjxicj4NCldvcmtzaG9wIENvLUNoYWlyOiBD aGFuZHJha2FuYSBOYW5kaSAoQ2VydG9yYSk8YnI+DQpXb3Jrc2hvcCBDby1DaGFpcjogWWFubmlj ayBGb3JzdGVyIChJbnJpYSk8YnI+DQpHZW5lcmFsIENoYWlyOiBNYXJjbyBHYWJvYXJkaSAoQm9z dG9uIFVuaXZlcnNpdHkpPGJyPg0KUHJvZ3JhbSBDaGFpcjogQnJpZ2l0dGUgUGllbnRrYSAoTWNH aWxsIFVuaXZlcnNpdHkpPGJyPg0KPGJyPg0KPGJyPg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLTxicj4NCjxicj4N CkZ1cnRoZXIgaW5mb3JtYXRpb248YnI+DQo8YnI+DQpBbnkgcXVlcmllcyBzaG91bGQgYmUgYWRk cmVzc2VkIHRvIHRoZSB3b3Jrc2hvcCBjby1jaGFpcnMgPGJyPg0KKENoYW5kcmFrYW5hIE5hbmRp IGFuZCBZYW5uaWNrIEZvcnN0ZXIpLCB2aWEgZW1haWwgdG88YnI+DQo8YSBocmVmPSJtYWlsdG86 Y2hhbmRyYUBjZXJ0b3JhLmNvbSI+Y2hhbmRyYUBjZXJ0b3JhLmNvbTwvYT4gZW5kIDxhIGhyZWY9 Im1haWx0bzp5YW5uaWNrLmZvcnN0ZXJAaW5yaWEuZnIiPg0KeWFubmljay5mb3JzdGVyQGlucmlh LmZyPC9hPjxicj4NCjxicj4NCjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K