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; Mon, 31 Jul 2023 13:15:36 +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; Mon, 31 Jul 2023 13:15:36 +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; Mon, 31 Jul 2023 13:15:36 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 36VCEt5p026042 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 31 Jul 2023 13:14:55 +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 36VCElpv026021 for ; Mon, 31 Jul 2023 13:14:48 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 31 Jul 2023 14:14:47 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id F30AFE0146; Mon, 31 Jul 2023 14:14:46 +0200 (CEST) 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 E893DE004E for ; Mon, 31 Jul 2023 14:14:44 +0200 (CEST) Received: from mail-yw1-f174.google.com ([209.85.128.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 31 Jul 2023 14:14:40 +0200 Received: by mail-yw1-f174.google.com with SMTP id 00721157ae682-583c48a9aa1so45574537b3.1 for ; Mon, 31 Jul 2023 05:14:39 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 31 Jul 2023 05:14:37 -0700 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 31 Jul 2023 05:14:37 -0700 From: Pieter Koopman To: Caml-List Subject: [Caml-list] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages Thread-Topic: [Caml-list] IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages Thread-Index: AQHZw6i2CxnOtepS7kymyNVPQYsHPg== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 31 Jul 2023 13:14:37 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Pieter Koopman 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: 2288dbdc-f506-4b72-b6f5-08db91bfd8a0 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:a25:b986:0:b0:d13:5114:101d with SMTP id r6-20020a25b986000000b00d135114101dmr6904113ybg.56.1690805678001; Mon, 31 Jul 2023 05:14:38 -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,244,1684792800"; d="scan'208,217";a="62704816" 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+RGVhciBhbGwsDQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5vbiBzcGVjaWFsIHJlcXVlc3Qs IHRoZSBkZWFkbGluZSBmb3IgZHJhZnQgcGFwZXIgc3VibWlzc2lvbnMgaXMgZXh0ZW5kZWQgdW50 aWwNCjxiPkF1Z3VzdCA3dGg8L2I+LCAyMDIzLjwvZGl2Pg0KPGRpdj4NCjxwcmUgc3R5bGU9ImNv bG9yOnJnYigwLDAsMCkiPjxiPlNjb3BlPC9iPg0KDQpUaGUgZ29hbCBvZiB0aGUgSUZMIHN5bXBv c2lhIGlzIHRvIGJyaW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJzIGFjdGl2ZWx5DQplbmdhZ2VkIGlu IHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQgYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBhbmQNCmZ1 bmN0aW9uLWJhc2VkIHByb2dyYW1taW5nIGxhbmd1YWdlcy4gSUZMIDIwMjIgd2lsbCBiZSBhIHZl bnVlIGZvcg0KcmVzZWFyY2hlcnMgdG8gcHJlc2VudCBhbmQgZGlzY3VzcyBuZXcgaWRlYXMgYW5k IGNvbmNlcHRzLCB3b3JrIGluDQpwcm9ncmVzcywgYW5kIHB1YmxpY2F0aW9uLXJpcGUgcmVzdWx0 cyByZWxhdGVkIHRvIHRoZSBpbXBsZW1lbnRhdGlvbg0KYW5kIGFwcGxpY2F0aW9uIG9mIGZ1bmN0 aW9uYWwgbGFuZ3VhZ2VzIGFuZCBmdW5jdGlvbi1iYXNlZA0KcHJvZ3JhbW1pbmcuDQoNClRvcGlj cyBvZiBpbnRlcmVzdCB0byBJRkwgaW5jbHVkZSwgYnV0IGFyZSBub3QgbGltaXRlZCB0bzoNCg0K KiBsYW5ndWFnZSBjb25jZXB0cw0KKiB0eXBlIHN5c3RlbXMsIHR5cGUgY2hlY2tpbmcsIHR5cGUg aW5mZXJlbmNpbmcNCiogY29tcGlsYXRpb24gdGVjaG5pcXVlcw0KKiBzdGFnZWQgY29tcGlsYXRp b24NCiogcnVuLXRpbWUgZnVuY3Rpb24gc3BlY2lhbGl6YXRpb24NCiogcnVuLXRpbWUgY29kZSBn ZW5lcmF0aW9uDQoqIHBhcnRpYWwgZXZhbHVhdGlvbg0KKiBhYnN0cmFjdCBpbnRlcnByZXRhdGlv bg0KKiBtZXRhcHJvZ3JhbW1pbmcNCiogZ2VuZXJpYyBwcm9ncmFtbWluZw0KKiBhdXRvbWF0aWMg cHJvZ3JhbSBnZW5lcmF0aW9uDQoqIGFycmF5IHByb2Nlc3NpbmcNCiogY29uY3VycmVudC9wYXJh bGxlbCBwcm9ncmFtbWluZw0KKiBjb25jdXJyZW50L3BhcmFsbGVsIHByb2dyYW0gZXhlY3V0aW9u DQoqIGVtYmVkZGVkIHN5c3RlbXMNCiogd2ViIGFwcGxpY2F0aW9ucw0KKiBlbWJlZGRlZCBkb21h aW4gc3BlY2lmaWMgbGFuZ3VhZ2VzDQoqIHNlY3VyaXR5DQoqIG5vdmVsIG1lbW9yeSBtYW5hZ2Vt ZW50IHRlY2huaXF1ZXMNCiogcnVuLXRpbWUgcHJvZmlsaW5nIHBlcmZvcm1hbmNlIG1lYXN1cmVt ZW50cw0KKiBkZWJ1Z2dpbmcgYW5kIHRyYWNpbmcNCiogdmlydHVhbC9hYnN0cmFjdCBtYWNoaW5l IGFyY2hpdGVjdHVyZXMNCiogdmFsaWRhdGlvbiwgdmVyaWZpY2F0aW9uIG9mIGZ1bmN0aW9uYWwg cHJvZ3JhbXMNCiogdG9vbHMgYW5kIHByb2dyYW1taW5nIHRlY2huaXF1ZXMNCiogaW5kdXN0cmlh bCBhcHBsaWNhdGlvbnMNCg0KPGI+U3VibWlzc2lvbnMgYW5kIHBlZXItcmV2aWV3PC9iPg0KDQpG b2xsb3dpbmcgSUZMIHRyYWRpdGlvbiwgSUZMIDIwMjMgd2lsbCB1c2UgYSBwb3N0LXN5bXBvc2l1 bSByZXZpZXcNCnByb2Nlc3MgdG8gcHJvZHVjZSB0aGUgZm9ybWFsIHByb2NlZWRpbmdzLg0KDQpC ZWZvcmUgdGhlIHN5bXBvc2l1bSBhdXRob3JzIHN1Ym1pdCBkcmFmdCBwYXBlcnMuIFRoZXNlIGRy YWZ0IHBhcGVycw0Kd2lsbCBiZSBzY3JlZW5lZCBieSB0aGUgcHJvZ3JhbSBjaGFpciB0byBtYWtl IHN1cmUgdGhhdCB0aGV5IGFyZQ0Kd2l0aGluIHRoZSBzY29wZSBvZiBJRkwuIFRoZSBkcmFmdCBw YXBlcnMgd2lsbCBiZSBtYWRlIGF2YWlsYWJsZSB0bw0KYWxsIHBhcnRpY2lwYW50cyBhdCB0aGUg c3ltcG9zaXVtLiBFYWNoIGRyYWZ0IHBhcGVyIGlzIHByZXNlbnRlZCBieQ0Kb25lIG9mIHRoZSBh dXRob3JzIGF0IHRoZSBzeW1wb3NpdW0uIE5vdGljZSB0aGF0IGl0IGlzIGEgcmVxdWlyZW1lbnQN CnRoYXQgYWNjZXB0ZWQgZHJhZnQgcGFwZXJzIGFyZSBwcmVzZW50ZWQgcGh5c2ljYWxseSBhdCB0 aGUgc3ltcG9zaXVtLg0KDQpBZnRlciB0aGUgc3ltcG9zaXVtLCBhIGZvcm1hbCByZXZpZXcgcHJv Y2VzcyB3aWxsIHRha2UgcGxhY2UsDQpjb25kdWN0ZWQgYnkgdGhlIHByb2dyYW0gY29tbWl0dGVl LiAgUmV2aWV3aW5nIGlzIHNpbmdsZSBibGluZC4gVGhlcmUNCndpbGwgYmUgYXQgbGVhc3QgMyBy ZXZpZXdzIHBlciBwYXBlci4gVGhlIHJldmlld2VycyBoYXZlIDYgd2Vla3MgdG8NCndyaXRlIHRo ZWlyIHJldmlld3MuIEZvciB0aGUgY2FtZXJhLXJlYWR5IHZlcnNpb24gdGhlIGF1dGhvcnMgY2Fu IG1ha2UNCm1pbm9yIHJldmlzaW9ucyB3aGljaCBhcmUgYWNjZXB0ZWQgd2l0aG91dCBmdXJ0aGVy IHJldmlld2luZy4NCg0KQ29udHJpYnV0aW9ucyBzdWJtaXR0ZWQgZm9yIHRoZSBkcmFmdCBwYXBl ciBkZWFkbGluZSBtdXN0IGJlIGJldHdlZW4NCnR3byBhbmQgdHdlbHZlIHBhZ2VzIGxvbmcuIEZv ciBzdWJtaXNzaW9uIGRldGFpbHMsIHBsZWFzZSBjb25zdWx0IHRoZQ0KSUZMIDIwMjMgd2Vic2l0 ZSBhdCA8YSBocmVmPSJodHRwczovL2lmbDIxLXB1YmxpY2l0eS1kb3QteWFtbS10cmFjay5hcHBz cG90LmNvbS8ycXgtTDUzVnRmV1dIU00yYmk4RlRQaVVsMzlwNGNnQVMxei1ERFhGbzFDeDVMTi1y aVFFelZmZGd4YTk2bXJsNUFQd3ZVcEtsdGVCOW1UX0xOSUlYMy1fRjg2VDhLWE9ka08xMnFVSHk5 eDd4SUJQdmRfaXVNOGtkbkNMWW5IRUc3NEtuUzZYWTlwdW54WWVZWmVDcDBTOWZJa01JYVZMbUF5 dzNjNnJkWVhabU1OSWNsOWJ6ZlJFIiByZWw9Im5vZm9sbG93Ij5odHRwczovL2lmbDIzLmdpdGh1 Yi5pby88L2E+IC4NCg0KPGI+V2hlcmU8L2I+DQoNCklGTCAyMDIzIHdpbGwgYmUgaGVsZCBwaHlz aWNhbGx5IGluIEJyYWdhLCBQb3J0dWdhbCwgYXJyYW5nZWQgYnkNClVuaXZlcnNpdHkgb2YgTWlu aG8uDQoNClNlZSB0aGUgSUZMIDIwMjMgd2Vic2l0ZSBhdCA8YSBocmVmPSJodHRwczovL2lmbDIx LXB1YmxpY2l0eS1kb3QteWFtbS10cmFjay5hcHBzcG90LmNvbS8yM0NNN1lJR29OZXI1Um1XYlRz RGltWFl1ZEMzV25MQ01xeHVqdVo5S212bDlMTi1yaVFHQUtQZ2tPdnZtZkw4OHpvSGVwalpwclBV bzRzQlZBM1ZjaUlTV1RpTDJVQUNxRFBObmlZczZKaGZHTUVnWnpXa2swN3d0Umlidk5KZy16U2FN UmJBbFVnSEpqSzRNdGlCeU9WSHI5SUFEbnY2UjVGRnFQZUZuMzI4UXpNWnV3XzdyZVF3IiByZWw9 Im5vZm9sbG93Ij5odHRwczovL2lmbDIzLmdpdGh1Yi5pby88L2E+IGZvciBtb3JlDQppbmZvcm1h dGlvbi48L3ByZT4NCjwvZGl2Pg0KPC9kaXY+DQo8aW1nIHNyYz0iaHR0cHM6Ly9pZmwyMS1wdWJs aWNpdHktZG90LXlhbW0tdHJhY2suYXBwc3BvdC5jb20vMkF2eUYwZHBWWmpFdzZBQVRCb1ptY2RR dTVfSGFsUGlpRXZ6VWxYckRBMGR3TE4tcmlRRkpBenIzYm9HUUpYa1N0OUF4ZE1HSjEwWERBZmVh UUdzNzFwaHpVSXphYU9pQUZXclBqQ3JERGpTXzRXWWxYeHQtSlh5MkEzbWlMdDJMWTlkeks0QjZz cDdkSDJYSG5WS1FTU1drU3JpMlFxMlNrUSIgd2lkdGg9IjEiIGhlaWdodD0iMSIgYWx0PSJiZWFj b24iIHN0eWxlPSJkaXNwbGF5Om5vbmU7IGRpc3BsYXk6bm9uZSFpbXBvcnRhbnQ7Ij4NCjwvYm9k eT4NCjwvaHRtbD4NCg==