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; Mon, 15 May 2023 18:59:02 +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; Mon, 15 May 2023 18:59:02 +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; Mon, 15 May 2023 18:59:02 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34FHwGr1001422 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 15 May 2023 18:58:16 +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 34FHw9SI001402 for ; Mon, 15 May 2023 18:58:09 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 May 2023 19:58:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0E5B8E0D69; Mon, 15 May 2023 19:58:07 +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 CB4DCE0D4C for ; Mon, 15 May 2023 19:57:58 +0200 (CEST) Received: from mail-pg1-f173.google.com ([209.85.215.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 May 2023 19:57:57 +0200 Received: by mail-pg1-f173.google.com with SMTP id 41be03b00d2f7-53063897412so5724301a12.0 for ; Mon, 15 May 2023 10:57:57 -0700 (PDT) From: ICFP Publicity Subject: [Caml-list] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals Thread-Topic: [Caml-list] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals Thread-Index: AQHZh1bunOeq+ZWZjkyUx5xPasMNrA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 15 May 2023 18:57:44 +0100 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: dd7a2512-01bc-41f9-ec01-08db556e10df 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:840f:b0:106:8b:99cc with SMTP id c15-20020a056a20840f00b00106008b99ccmr5719154pzd.45.1684173475812; Mon, 15 May 2023 10:57:55 -0700 (PDT) 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,277,1677538800"; d="scan'208";a="108121848" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="utf-8" Content-ID: <4E611F6F1DC8A840B2D6C14902F466CF@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 SUNGUCAyMDIzDQpDQUxMIEZPUiBUVVRPUklBTCwgUEFORUwsIEFORCBESVNDVVNTSU9OIFBST1BP U0FMUw0KMjh0aCBBQ00gU0lHUExBTiBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gRnVuY3Rp b25hbCBQcm9ncmFtbWluZw0KDQoNClNlcHRlbWJlciA0IC0gOSwgMjAyMw0KU2VhdHRsZSwgV0Es IFVTQQ0KaHR0cHM6Ly9pY2ZwMjMuc2lncGxhbi5vcmcvDQoNCg0KVGhlIDI4dGggQUNNIFNJR1BM QU4gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEZ1bmN0aW9uYWwNClByb2dyYW1taW5nIHdp bGwgYmUgaGVsZCBpbiBTZWF0dGxlLCBXQSwgVVNBIG9uIFNlcHRlbWJlciA0IC0gOSwNCjIwMjMs IHdpdGggdGhlIG9wdGlvbiBvZiB2aXJ0dWFsIHBhcnRpY2lwYXRpb24uIElDRlAgcHJvdmlkZXMg YSBmb3J1bQ0KZm9yIHJlc2VhcmNoZXJzIGFuZCBkZXZlbG9wZXJzIHRvIGhlYXIgYWJvdXQgdGhl IGxhdGVzdCB3b3JrIG9uIHRoZQ0KZGVzaWduLCBpbXBsZW1lbnRhdGlvbnMsIHByaW5jaXBsZXMs IGFuZCB1c2VzIG9mIGZ1bmN0aW9uYWwNCnByb2dyYW1taW5nLg0KDQpQcm9wb3NhbHMgYXJlIGlu dml0ZWQgZm9yIHR1dG9yaWFscywgbGFzdGluZyBhcHByb3hpbWF0ZWx5IDMgaG91cnMgZWFjaCwN CnRvIGJlIHByZXNlbnRlZCBkdXJpbmcgSUNGUCBhbmQgaXRzIGNvLWxvY2F0ZWQgd29ya3Nob3Bz IGFuZCBvdGhlciBldmVudHMuDQpUaGUgdHV0b3JpYWxzIG1heSB0YXJnZXQgYW4gYXVkaWVuY2Ug d2hvIGlzIGludGVyZXN0ZWQgaW4gY29tbWVyY2lhbCB1c2VzDQpvZiBmdW5jdGlvbmFsIHByb2dy YW1taW5nLCBidXQgd2UgYWxzbyB3ZWxjb21lIHR1dG9yaWFscyB3aG9zZSBwcmltYXJ5DQphdWRp ZW5jZSBpcyByZXNlYXJjaGVycyByYXRoZXIgdGhhbiBwcmFjdGl0aW9uZXJzLiBUdXRvcmlhbHMg bWF5IGZvY3VzIGVpdGhlcg0Kb24gYSBjb25jcmV0ZSB0ZWNobm9sb2d5IG9yIG9uIGEgdGhlb3Jl dGljYWwgb3IgbWF0aGVtYXRpY2FsIHRvb2wuIElkZWFsbHksDQp0dXRvcmlhbHMgd2lsbCBoYXZl IGEgY29uY3JldGUgcmVzdWx0LCBzdWNoIGFzICJMZWFybiB0byBkbyBYIHdpdGggWSINCnJhdGhl ciB0aGFuICJMZWFybiBsYW5ndWFnZSBZIi4NCg0KSnVzdCBsaWtlIGxhc3QgeWVhciwgZm9sbG93 aW5nIHRoZSBzdWNjZXNzIG9mIHRoZSAjU2h1dERvd25QTCBldmVudCwgd2UgYXJlIGFsc28NCmlu dml0aW5nIHByb3Bvc2FscyBmb3IgcGFuZWxzIGFuZCBkaXNjdXNzaW9ucyBvbiB0b3BpY3Mgb2Yg YnJvYWRlciBpbnRlcmVzdA0KdG8gdGhlIFBMIGNvbW11bml0eS4NCg0KVHV0b3JpYWxzLCBwYW5l bHMsIGFuZCBkaXNjdXNzaW9ucyBtYXkgb2NjdXIgYmVmb3JlIG9yIGFmdGVyIElDRlAsDQpjby1s b2NhdGVkIHdpdGggdGhlIGFzc29jaWF0ZWQgd29ya3Nob3BzLCBvbiBTZXB0ZW1iZXIgNCBvciBT ZXB0ZW1iZXIgOC05Lg0KDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KU3VibWlzc2lvbiBkZXRhaWxzDQoN CkRlYWRsaW5lIGZvciBzdWJtaXNzaW9uOiBNYXkgMjNyZCwgMjAyMw0KTm90aWZpY2F0aW9uIG9m IGFjY2VwdGFuY2U6IE1heSAyNnRoLCAyMDIzDQoNClByb3NwZWN0aXZlIG9yZ2FuaXplcnMgb2Yg dHV0b3JpYWxzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCBhIGNvbXBsZXRlZA0KdHV0b3JpYWwgcHJv cG9zYWwgZm9ybSBpbiBwbGFpbiB0ZXh0IGZvcm1hdCB0byB0aGUgSUNGUCAyMDIzIHdvcmtzaG9w DQpjby1jaGFpcnMgKEFydGh1ciBBemV2ZWRvIGRlIEFtb3JpbSBhbmQgWWFubmljayBGb3JzdGVy KSwgdmlhIGVtYWlsIHRvDQoNCmljZnAtd29ya3Nob3BzLTIwMjMgQVQgZ29vZ2xlZ3JvdXBzLmNv bQ0KDQpieSBNYXkgMjNyZCwgMjAyMy4gUGxlYXNlIG5vdGUgdGhhdCB0aGlzIGlzIGEgZmlybSBk ZWFkbGluZS4NCg0KVGhlIHByb3Bvc2FsIGZvcm0gaXMgYXZhaWxhYmxlIGF0Og0KDQpodHRwOi8v d3d3LmljZnBjb25mZXJlbmNlLm9yZy9pY2ZwMjAyMy1maWxlcy9pY2ZwMjMtcGFuZWwtZm9ybS50 eHQNCmh0dHA6Ly93d3cuaWNmcGNvbmZlcmVuY2Uub3JnL2ljZnAyMDIzLWZpbGVzL2ljZnAyMy10 dXRvcmlhbHMtZm9ybS50eHQNCg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQpTZWxlY3Rpb24gY29tbWl0dGVl DQoNClRoZSBwcm9wb3NhbHMgd2lsbCBiZSBldmFsdWF0ZWQgYnkgYSBjb21taXR0ZWUgY29tcHJp c2luZyB0aGUNCmZvbGxvd2luZyBtZW1iZXJzIG9mIHRoZSBJQ0ZQIDIwMjMgb3JnYW5pemluZyBj b21taXR0ZWUsIHRvZ2V0aGVyDQp3aXRoIHRoZSBtZW1iZXJzIG9mIHRoZSBTSUdQTEFOIGV4ZWN1 dGl2ZSBjb21taXR0ZWUuDQoNCldvcmtzaG9wIENvLUNoYWlyOiBBcnRodXIgQXpldmVkbyBkZSBB bW9yaW0gKEJvc3RvbiBVbml2ZXJzaXR5KQ0KV29ya3Nob3AgQ28tQ2hhaXI6IFlhbm5pY2sgRm9y c3RlciAoSW5yaWEgTmFudGVzKQ0KR2VuZXJhbCBDaGFpcjogTmlraGlsIFN3YW15IChNaWNyb3Nv ZnQgUmVzZWFyY2gpDQpQcm9ncmFtIENoYWlyOiBTYW0gTGluZGxleSAoVW5pdmVyc2l0eSBvZiBF ZGluYnVyZ2gpDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KRnVydGhlciBpbmZvcm1hdGlvbg0KDQpBbnkg cXVlcmllcyBzaG91bGQgYmUgYWRkcmVzc2VkIHRvIHRoZSB3b3Jrc2hvcCBjby1jaGFpcnMgKEFy dGh1cg0KQXpldmVkbyBkZSBBbW9yaW0gYW5kIFlhbm5pY2sgRm9yc3RlciksIHZpYSBlbWFpbCB0 bw0KaWNmcC13b3Jrc2hvcHMtMjAyMyBBVCBnb29nbGVncm91cHMuY29tDQo=