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.27 via Mailbox Transport; Thu, 3 Aug 2023 07:27:09 +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.27; Thu, 3 Aug 2023 07:27:09 +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.27 via Frontend Transport; Thu, 3 Aug 2023 07:27:09 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3736QSjx004922 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 3 Aug 2023 07:26:28 +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 3736QLO1004905 for ; Thu, 3 Aug 2023 07:26:22 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Aug 2023 08:26:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 79DA6E0BE9; Thu, 3 Aug 2023 08:26:19 +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 54B2EE0133 for ; Thu, 3 Aug 2023 08:26:16 +0200 (CEST) Received: from mail-pj1-f49.google.com ([209.85.216.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Aug 2023 08:26:15 +0200 Received: by mail-pj1-f49.google.com with SMTP id 98e67ed59e1d1-267fabc8465so274042a91.1 for ; Wed, 02 Aug 2023 23:26:15 -0700 (PDT) From: ICFP Publicity Subject: [Caml-list] ICFP 2023: Call for Participation Thread-Topic: [Caml-list] ICFP 2023: Call for Participation Thread-Index: AQHZxdOIqAJdGDeAkk6dbHPK6jXr3A== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 3 Aug 2023 07:26:03 +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: b73a6650-c7fa-450c-99e3-08db93eaaaa8 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:a17:90a:640f:b0:259:10a8:2389 with SMTP id g15-20020a17090a640f00b0025910a82389mr14150421pjj.35.1691043973681; Wed, 02 Aug 2023 23:26:13 -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="6.01,251,1684792800"; d="scan'208";a="120029984" 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: <515A4718407EC04C9C9698E037F8C488@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09DQogICAgICAgICAgICAgICAgICAgICAgICBDYWxsIGZvciBQYXJ0aWNpcGF0 aW9uDQoNCiAgICAgICAgICAgIFRoZSAyOHRoIEFDTSBTSUdQTEFOIEludGVybmF0aW9uYWwgQ29u ZmVyZW5jZQ0KICAgICAgICAgICAgICBvbiBGdW5jdGlvbmFsIFByb2dyYW1taW5nIChJQ0ZQIDIw MjMpIGFuZA0KICAgICAgICAgICAgICAgICAgICAgICAgICBhZmZpbGlhdGVkIGV2ZW50cw0KDQog ICAgICAgICAgICAgICAgICAgICAgaHR0cHM6Ly9pY2ZwMjMuc2lncGxhbi5vcmcNCiAgICAgICAg ICAgICAgICAgICAgIFNlYXR0bGUsIFVTQTsgU2VwIDQtOSwgMjAyMw0KPT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQoN CklDRlAgaXMgYSBjZWxlYnJhdGlvbiBvZiB0aGUgYXJ0IGFuZCBzY2llbmNlIG9mIGZ1bmN0aW9u YWwNCnByb2dyYW1taW5nLCBwcm92aWRpbmcgYSBmb3J1bSBmb3IgcmVzZWFyY2hlcnMgYW5kIGRl dmVsb3BlcnMgdG8NCmVuZ2FnZSBvbiBhIHZhcmlldHkgb2YgdG9waWNzLCBmcm9tIGZvdW5kYXRp b25zIHRvIGZlYXR1cmVzLCBhbmQgZnJvbQ0KYWJzdHJhY3Rpb24gdG8gYXBwbGljYXRpb24uDQoN CllvdSBhcmUgaW52aXRlZCB0byBwYXJ0aWNpcGF0ZSBpbiBhIGZ1bGwgd2VlayBkZWRpY2F0ZWQg dG8gZnVuY3Rpb25hbA0KcHJvZ3JhbW1pbmcsIGZlYXR1cmluZyB0aGUgSUNGUCBtYWluIGNvbmZl cmVuY2UgYXMgd2VsbCBhcyBzZXZlcmFsDQpvdGhlciByZWxhdGVkIGV2ZW50cy4NCg0KICogQWNj ZXB0ZWQgUGFwZXJzOg0KICAgaHR0cHM6Ly9pY2ZwMjMuc2lncGxhbi5vcmcvdHJhY2svaWNmcC0y MDIzLXBhcGVycyNldmVudC1vdmVydmlldw0KDQogKiBSZWdpc3RyYXRpb246DQogICBodHRwczov L2ljZnAyMy5zaWdwbGFuLm9yZy9hdHRlbmRpbmcvcmVnaXN0cmF0aW9uDQogICBUaGUgZWFybHkt YmlyZCBkZWFkbGluZSBpcyBBdWd1c3QgNSwgMjAyMw0KDQogKiBIb3RlbDogVGhlIFdlc3RpbiBT ZWF0dGxlDQogICBodHRwczovL2ljZnAyMy5zaWdwbGFuLm9yZy92ZW51ZS9pY2ZwLTIwMjMtdmVu dWUNCiAgIENvbmZlcmVuY2UgaG90ZWwgcmVzZXJ2YXRpb24gY3V0b2ZmOiBBdWd1c3QgMTEsIDIw MjMNCg0KVGhlcmUgYXJlIHNldmVyYWwgZXZlbnRzIGFmZmlsaWF0ZWQgd2l0aCBJQ0ZQOg0KDQog U2VwdGVtYmVyIDQNCiAgIEVybGFuZw0KICAgICAtIGh0dHBzOi8vaWNmcDIzLnNpZ3BsYW4ub3Jn L2hvbWUvZXJsYW5nLTIwMjMNCiAgIEZIUE4NCiAgICAgLSBodHRwczovL2ljZnAyMy5zaWdwbGFu Lm9yZy9ob21lL0ZIUE5DLTIwMjMNCiAgIEhJVw0KICAgICAtIGh0dHBzOi8vaWNmcDIzLnNpZ3Bs YW4ub3JnL2hvbWUvaGl3LTIwMjMNCiAgIEhPUEUNCiAgICAgLSBodHRwczovL2ljZnAyMy5zaWdw bGFuLm9yZy9ob21lL2hvcGUtMjAyMw0KICAgUExNVw0KICAgICAtIGh0dHBzOi8vaWNmcDIzLnNp Z3BsYW4ub3JnL3RyYWNrL3BsbXctaWNmcC0yMDIzDQogICBUeURlDQogICAgIC0gaHR0cHM6Ly9p Y2ZwMjMuc2lncGxhbi5vcmcvaG9tZS9UeURlLTIwMjMNCg0KIFNlcHRlbWJlciA1LTcNCiAgIElD RlAgLSBNYWluIGNvbmZlcmVuY2UNCg0KIFNlcHRlbWJlciA4DQogICBIYXNrZWxsDQogICAgIC0g aHR0cHM6Ly9pY2ZwMjMuc2lncGxhbi5vcmcvaG9tZS9oYXNrZWxsc3ltcC0yMDIzDQogICBGQVJN DQogICAgIC0gaHR0cHM6Ly9pY2ZwMjMuc2lncGxhbi5vcmcvaG9tZS9mYXJtLTIwMjMNCiAgIEZV TkFSQ0gNCiAgICAgLSBodHRwczovL2ljZnAyMy5zaWdwbGFuLm9yZy9ob21lL0ZVTkFSQ0gtMjAy Mw0KICAgTUwNCiAgICAgLSBodHRwczovL2ljZnAyMy5zaWdwbGFuLm9yZy9ob21lL21sd29ya3No b3AtMjAyMw0KICAgbWluaUthbnJlbg0KICAgICAtIGh0dHBzOi8vaWNmcDIzLnNpZ3BsYW4ub3Jn L2hvbWUvbWluaWthbnJlbi0yMDIzDQogICBUdXRvcmlhbDogVmVoaWNsZSwgQSBTcGVjaWZpY2F0 aW9uIExhbmd1YWdlIGZvciBOZXVyYWwgTmV0d29yayBQcm9wZXJ0aWVzDQogICBUdXRvcmlhbDog UG9ydGluZyBMd3QgYXBwbGljYXRpb25zIHRvIE9DYW1sIDUgYW5kIEVpbw0KDQogU2VwdGVtYmVy IDkNCiAgIEhhc2tlbGwNCiAgICAgLSBodHRwczovL2ljZnAyMy5zaWdwbGFuLm9yZy9ob21lL2hh c2tlbGxzeW1wLTIwMjMNCiAgIFNjaGVtZQ0KICAgICAtIGh0dHBzOi8vaWNmcDIzLnNpZ3BsYW4u b3JnL2hvbWUvc2NoZW1lLTIwMjMNCiAgIE9DYW1sDQogICAgIC0gaHR0cHM6Ly9pY2ZwMjMuc2ln cGxhbi5vcmcvaG9tZS9vY2FtbC0yMDIzDQogICBEZWNsTWVkDQogICAgIC0gaHR0cHM6Ly9pY2Zw MjMuc2lncGxhbi5vcmcvaG9tZS9kZWNsbWVkLTIwMjMNCiAgIFR1dG9yaWFsOiBUZWFjaGluZyBh bmQgTGVhcm5pbmcgQ29tcGlsZXJzIEluY3JlbWVudGFsbHkNCiAgIFR1dG9yaWFsOiBUZWFjaGlu ZyBmdW5jdGlvbmFsIHByb2dyYW1taW5nDQoNCkNvbmZlcmVuY2Ugb3JnYW5pemVyczoNCg0KICBo dHRwczovL2ljZnAyMy5zaWdwbGFuLm9yZy9jb21taXR0ZWUvaWNmcC0yMDIzLW9yZ2FuaXppbmct Y29tbWl0dGVlDQoNCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PQ0K