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; Fri, 3 Nov 2023 09:43:43 +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; Fri, 3 Nov 2023 09:43:43 +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; Fri, 3 Nov 2023 09:43:43 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3A39hcR5010770 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 3 Nov 2023 09:43:38 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 3A39hTIF010751 for ; Fri, 3 Nov 2023 09:43: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; 03 Nov 2023 10:43:28 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id C2F33E00BA; Fri, 3 Nov 2023 10:43:28 +0100 (CET) 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 D252CE00B6 for ; Fri, 3 Nov 2023 10:43:24 +0100 (CET) Received: from deinprogramm.de ([168.119.170.211]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Nov 2023 10:43:23 +0100 Received: from Tommys-iPhone-3.localdomain (p578abfe6.dip0.t-ipconnect.de [87.138.191.230]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id DCEF7840D96; Fri, 3 Nov 2023 10:43:14 +0100 (CET) From: Michael Sperber To: "users@racket-lang.org" , "caml-list@inria.fr" , "erlang-questions@erlang.org" Subject: [Caml-list] 2nd Call for Contributions: BOB 2024 [March 15, Deadline Nov 17] Thread-Topic: [Caml-list] 2nd Call for Contributions: BOB 2024 [March 15, Deadline Nov 17] Thread-Index: AQHaDjo7DZlS9dvl/U+AM3jvZxBRYg== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 3 Nov 2023 09:43:08 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Michael Sperber 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: cb113bfc-86eb-42d6-a75d-08dbdc515e0d 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="6.03,273,1694728800"; d="scan'208";a="134451116" 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: <2156338C7CCFE8499BF47FECE4FB506A@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQpTZW5kIHVzIHlvdXIgYmVzdCBpbiBzb2Z0d2FyZSBkZXZlbG9wbWVudCAtIGxvdHMgb2YgRlAg YXQgQk9CIQ0KDQpEZWFkbGluZSBpcyBpbiAyIHdlZWtzIQ0KDQo9PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PQ0KICAgICAgICAgICAgICAgICAgICAgICAgIEJPQiBDb25mZXJlbmNlIDIwMjQNCiAgICAg ICAgICJXaGF0IGhhcHBlbnMgd2hlbiB3ZSB1c2Ugd2hhdCdzIGJlc3QgZm9yIGEgY2hhbmdlPyIN CiAgICAgICAgICAgICAgICAgIGh0dHBzOi8vYm9ia29uZi5kZS8yMDI0L2NmYy5odG1sDQogICAg ICAgICAgICAgICAgICAgICAgICAgQmVybGluLCBNYXIgMTcNCiAgICAgICAgICAgICAgICAgICAg ICAgIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMNCiAgICAgICAgICAgICAgICAgICAgIERlYWRsaW5l OiBOb3ZlbWJlciAxNywgMjAyMw0KPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCg0KWW91IGFyZSBh Y3RpdmVseSBlbmdhZ2VkIGluIGFkdmFuY2VkIHNvZnR3YXJlIGVuZ2luZWVyaW5nIG1ldGhvZHMs DQpzb2x2ZSBhbWJpdGlvdXMgcHJvYmxlbSB3aXRoIHNvZnR3YXJlIGFuZCBhcmUgb3BlbiB0byBj dXR0aW5nLWVkZ2UNCmlubm92YXRpb24/IEF0dGVuZCB0aGlzIGNvbmZlcmVuY2UsIG1lZXQgcGVv cGxlIHRoYXQgc2hhcmUgeW91ciBnb2FscywNCmFuZCBnZXQgdG8ga25vdyB0aGUgYmVzdCBzb2Z0 d2FyZSB0b29scyBhbmQgdGVjaG5vbG9naWVzIGF2YWlsYWJsZQ0KdG9kYXkuIFdlIHN0cml2ZSB0 byBvZmZlciBhIGRheSBmdWxsIG9mIG5ldyBleHBlcmllbmNlcyBhbmQNCmltcHJlc3Npb25zIHRo YXQgeW91IGNhbiB1c2UgdG8gaW1tZWRpYXRlbHkgaW1wcm92ZSB5b3VyIGRhaWx5IGxpZmUgYXMN CmEgc29mdHdhcmUgZGV2ZWxvcGVyLg0KDQpJZiB5b3Ugc2hhcmUgb3VyIHZpc2lvbiBhbmQgd2Fu dCB0byBjb250cmlidXRlLCBzdWJtaXQgYSBwcm9wb3NhbCBmb3INCmEgdGFsayBvciB0dXRvcmlh bCENCg0KTk9URTogVGhlIGNvbmZlcmVuY2UgZmVlIHdpbGwgYmUgd2FpdmVkIGZvciBwcmVzZW50 ZXJzLiBUcmF2ZWwNCmV4cGVuc2VzIHdpbGwgbm90IGJlIGNvdmVyZWQgKGZvciBleGNlcHRpb25z IHNlZSAiU3BlYWtlciBHcmFudHMiKS4NCg0KU2hlcGhlcmRpbmcNCi0tLS0tLS0tLS0tDQoNClRo ZSBwcm9ncmFtIGNvbW1pdHRlZSBvZmZlcnMgc2hlcGhlcmRpbmcgdG8gYWxsIHNwZWFrZXJzLiBT aGVwaGVyZGluZw0KcHJvdmlkZXMgc3BlYWtlcnMgYXNzaXN0YW5jZSB3aXRoIHByZXBhcmluZyB0 aGVpcg0Kc2Vzc2lvbnMuIFNwZWNpZmljYWxseToNCg0KLSBhZHZpY2Ugb24gc3RydWN0dXJlIGFu ZCBwcmVzZW50YXRpb24NCi0gcmV2aWV3IG9mIHRhbGsgc2xpZGVzDQoNClNwZWFrZXIgR3JhbnRz DQotLS0tLS0tLS0tLS0tLQ0KDQpCT0IgaGFzIFNwZWFrZXIgR3JhbnRzIGF2YWlsYWJsZSB0byBz dXBwb3J0IHNwZWFrZXJzIGZyb20gZ3JvdXBzDQp1bmRlci1yZXByZXNlbnRlZCBpbiB0ZWNobm9s b2d5LiBXZSBzcGVjaWZpY2FsbHkgc2VlayB3b21lbiBzcGVha2VycywNCnNwZWFrZXJzIG9mIGNv bG9yLCBhbmQgc3BlYWtlcnMgd2hvIGFyZSBub3QgYWJsZSB0byBhdHRlbmQgdGhlDQpjb25mZXJl bmNlIGZvciBmaW5hbmNpYWwgcmVhc29ucy4NCg0KVG9waWNzDQotLS0tLS0NCg0KV2UgYXJlIGxv b2tpbmcgZm9yIHRhbGtzIGFib3V0IGJlc3Qtb2YtYnJlZWQgc29mdHdhcmUgdGVjaG5vbG9neSwg ZS5nLjoNCg0KLSBmdW5jdGlvbmFsIHByb2dyYW1taW5nDQotIHBlcnNpc3RlbnQgZGF0YSBzdHJ1 Y3R1cmVzIGFuZCBkYXRhYmFzZXMNCi0gZXZlbnQtYmFzZWQgbW9kZWxsaW5nIGFuZCBhcmNoaXRl Y3R1cmUNCi0gImZhbmN5IHR5cGVzIiAoZGVwZW5kZW50IHR5cGVzLCBncmFkdWFsIHR5cGluZywg bGluZWFyIHR5cGVzLCAuLi4pDQotIGZvcm1hbCBtZXRob2RzIGZvciBjb3JyZWN0bmVzcyBhbmQg cm9idXN0bmVzcw0KLSBhYnN0cmFjdGlvbnMgZm9yIGNvbmN1cnJlbmN5IGFuZCBwYXJhbGxlbGlz bQ0KLSBtZXRhcHJvZ3JhbW1pbmcNCi0gcHJvYmFiaWxpc3RpYyBwcm9ncmFtbWluZw0KLSBtYXRo IGFuZCBwcm9ncmFtbWluZw0KLSBjb250cm9sbGVkIHNpZGUgZWZmZWN0cw0KLSBwcm9ncmFtIHN5 bnRoZXNpcw0KLSBuZXh0LWdlbmVyYXRpb24gSURFcw0KLSBlZmZlY3RpdmUgYWJzdHJhY3Rpb25z IGZvciBkYXRhIGFuYWx5dGljcw0KLSDigKYgZXZlcnl0aGluZyByZWFsbHkgdGhhdCBpc27igJl0 IG1haW5zdHJlYW0sIGJ1dCB5b3UgdGhpbmsgc2hvdWxkIGJlDQotIOKApiBpbmNsdWRlaW5nIHJv dWdoIGlkZWFzIHdvcnRoIGRpc2N1c3NpbmcuDQoNClByZXNlbnRlcnMgc2hvdWxkIHByb3ZpZGUg dGhlIGF1ZGllbmNlIHdpdGggaW5mb3JtYXRpb24gdGhhdCBpcw0KcHJhY3RpY2FsbHkgdXNlZnVs IGZvciBzb2Z0d2FyZSBkZXZlbG9wZXJzLg0KDQpDaGFsbGVuZ2VzDQotLS0tLS0tLS0tDQoNCkZ1 cnRoZXJtb3JlLCB3ZSBzZWVrIGNvbnRyaWJ1dGlvbnMgb24gc3VjY2Vzc2Z1bCBhcHByb2FjaGVz IGZvcg0Kc29sdmluZyBoYXJkIHByb2JsZW1zLCBmb3IgZXhhbXBsZToNCg0KLSBiaWFzIGluIG1h Y2hpbmUtbGVhcm5pbmcgc3lzdGVtcw0KLSBkaWdpdGFsIHRyYW5zZm9ybWF0aW9uIGluIGRpZmZp Y3VsdCBzZXR0aW5ncw0KLSBhY2Nlc3NpYmlsdGl0eQ0KLSBzeXN0ZW1zIHdpdGggY3JpdGljYWwg cmVsaWFiaWxpdHkgcmVxdWlyZW1lbnRzDQotIGVjb2xvZ2ljYWxseSBzdXN0YWluYWJsZSBzb2Z0 d2FyZSBkZXZlbG9wbWVudA0KDQpXZSdyZSBlc3BlY2lhbGx5IGludGVyZXN0ZWQgaW4gZXhwZXJp ZW5jZSByZXBvcnRzLg0KT3RoZXIgdG9waWNzIGFyZSBhbHNvIHJlbGV2YW50LCBlLmcuOg0KDQot IGludHJvZHVjdG9yeSB0YWxrcyBvbiB0ZWNobmljYWwgYmFja2dyb3VuZA0KLSBvdmVydmlld3Mg b2YgYSBnaXZlbiBmaWVsZA0KLSBkZW1vcyBhbmQgaG93LXRvcw0KDQpSZXF1aXJlbWVudHMNCi0t LS0tLS0tLS0tLQ0KDQpXZSBhY2NlcHQgcHJvcG9zYWxzIGZvciBwcmVzZW50YXRpb25zIG9mIDQ1 IG1pbnV0ZXMgKDQwIG1pbnV0ZXMgdGFsayArDQo1IG1pbnV0ZXMgcXVlc3Rpb25zKSwgYXMgd2Vs bCBhcyA5MCBtaW51dGUgdHV0b3JpYWxzIGZvcg0KYmVnaW5uZXJzLiBUaGUgbGFuZ3VhZ2Ugb2Yg cHJlc2VudGF0aW9uIHNob3VsZCBiZSBlaXRoZXIgRW5nbGlzaCBvcg0KR2VybWFuLg0KDQpZb3Vy IHByb3Bvc2FsIHNob3VsZCBpbmNsdWRlIChpbiB5b3VyIHByZXNlbnRhdGlvbiBsYW5ndWFnZSBv ZiBjaG9pY2UpOg0KDQotIEFuIGFic3RyYWN0IG9mIG1heC4gMTUwMCBjaGFyYWN0ZXJzLg0KLSBB IHNob3J0IGJpby9jdg0KLSBDb250YWN0IGluZm9ybWF0aW9uIChpbmNsdWRpbmcgYXQgbGVhc3Qg ZW1haWwgYWRkcmVzcykNCi0gQSBsaXN0IG9mIDMtNSBjb25jcmV0ZSBpZGVhcyBvZiBob3cgeW91 ciB3b3JrIGNhbiBiZSBhcHBsaWVkIGluIGEgZGV2ZWxvcGVyJ3MgZGFpbHkgbGlmZQ0KLSBhZGRp dGlvbmFsIG1hdGVyaWFsICh3ZWJzaXRlcywgYmxvZ3MsIHNsaWRlcywgdmlkZW9zIG9mIHBhc3Qg cHJlc2VudGF0aW9ucywg4oCmKQ0KDQpPcmdhbmlzYXRpb24NCi0tLS0tLS0tLS0tLQ0KDQotIERp cmVjdCBxdWVzdGlvbnMgdG8ga29uZmVyZW56IGF0IGJvYmtvbmYgZG90IGRlDQotIFByb3Bvc2Fs IGRlYWRsaW5lOiBOb3ZlbWJlciAxNywgMjAyMw0KLSBOb3RpZmljYXRpb246IERlY2VtYmVyIDUs IDIwMjMNCi0gUHJvZ3JhbTogRGVjZW1iZXIgMTIsIDIwMjMNCg0KU3VibWl0IGhlcmU6DQoNCmh0 dHBzOi8vcHJldGFseC5jb20vYm9iLTIwMjQvc3VibWl0Lw0KDQpQcm9ncmFtIENvbW1pdHRlZQ0K LS0tLS0tLS0tLS0tLS0tLS0NCg0KKG1vcmUgaW5mb3JtYXRpb24gaGVyZTogaHR0cHM6Ly9ib2Jr b25mLmRlLzIwMjQvcHJvZ3JhbW1rb21pdGVlLmh0bWwpDQoNCi0gTWF0dGhpYXMgRmlzY2htYW5u LCBXaXJlDQotIE1hdHRoaWFzIE5ldWJhdWVyLCBTSUNLIEFHDQotIE5pY29sZSBSYXVjaCwgU29m dHdhcmVlbnR3aWNrbHVuZyB1bmQgRW50d2lja2x1bmdzY29hY2hpbmcNCi0gTWljaGFlbCBTcGVy YmVyLCBBY3RpdmUgR3JvdXANCi0gU3RlZmFuIFdlaHIsIEhvY2hzY2h1bGUgT2ZmZW5idXJnDQoN ClNjaWVudGlmaWMgQWR2aXNvcnkgQm9hcmQNCg0KLSBBbm5ldHRlIEJpZW5pdXNhLCBUVSBLYWlz ZXJzbGF1dGVybg0KLSBUb3JzdGVuIEdydXN0LCBVbmkgVMO8YmluZ2VuDQotIFBldGVyIFRoaWVt YW5uLCBVbmkgRnJlaWJ1cmcNCg0KDQo=