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, 14 Nov 2023 08:38:52 +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, 14 Nov 2023 08:38:51 +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, 14 Nov 2023 08:38:51 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3AE8cob2032278 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 14 Nov 2023 08:38:51 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 3AE8cdXw032260 for ; Tue, 14 Nov 2023 08:38:40 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Nov 2023 09:38:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3E653E0146; Tue, 14 Nov 2023 09:38:39 +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 04CD1E0133 for ; Tue, 14 Nov 2023 09:38:35 +0100 (CET) Received: from deinprogramm.de ([168.119.170.211]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Nov 2023 09:38:34 +0100 Received: from valmont.fritz.box (p5ded4a72.dip0.t-ipconnect.de [93.237.74.114]) (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 F17E6840D94; Tue, 14 Nov 2023 09:38:32 +0100 (CET) From: Michael Sperber To: "users@racket-lang.org" , "caml-list@inria.fr" , "erlang-questions@erlang.org" Subject: [Caml-list] Final Call for Contributions: BOB 2024 [March 15, Deadline FRIDAY] Thread-Topic: [Caml-list] Final Call for Contributions: BOB 2024 [March 15, Deadline FRIDAY] Thread-Index: AQHaFtX+9slREZm0h0WMCQ3KC9h4tw== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 14 Nov 2023 08:38:32 +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: fa96f93c-cc81-4fa1-ac78-08dbe4ed2137 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,301,1694728800"; d="scan'208";a="71398751" 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: <1D532BC3F9683045A4F0D40A8FC0A0E6@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PQ0KICAgICAgICAgICAgICAgICAgICAgICAgIEJPQiBD b25mZXJlbmNlIDIwMjQNCiAgICAgICAgICJXaGF0IGhhcHBlbnMgd2hlbiB3ZSB1c2Ugd2hhdCdz IGJlc3QgZm9yIGEgY2hhbmdlPyINCiAgICAgICAgICAgICAgICAgIGh0dHBzOi8vYm9ia29uZi5k ZS8yMDI0L2NmYy5odG1sDQogICAgICAgICAgICAgICAgICAgICAgICAgQmVybGluLCBNYXIgMTcN CiAgICAgICAgICAgICAgICAgICAgICAgIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMNCiAgICAgICAg ICAgICAgICAgICAgIERlYWRsaW5lOiBOb3ZlbWJlciAxNywgMjAyMw0KPT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT0NCg0KWW91IGFyZSBhY3RpdmVseSBlbmdhZ2VkIGluIGFkdmFuY2VkIHNvZnR3YXJl IGVuZ2luZWVyaW5nIG1ldGhvZHMsDQpzb2x2ZSBhbWJpdGlvdXMgcHJvYmxlbSB3aXRoIHNvZnR3 YXJlIGFuZCBhcmUgb3BlbiB0byBjdXR0aW5nLWVkZ2UNCmlubm92YXRpb24/IEF0dGVuZCB0aGlz IGNvbmZlcmVuY2UsIG1lZXQgcGVvcGxlIHRoYXQgc2hhcmUgeW91ciBnb2FscywNCmFuZCBnZXQg dG8ga25vdyB0aGUgYmVzdCBzb2Z0d2FyZSB0b29scyBhbmQgdGVjaG5vbG9naWVzIGF2YWlsYWJs ZQ0KdG9kYXkuIFdlIHN0cml2ZSB0byBvZmZlciBhIGRheSBmdWxsIG9mIG5ldyBleHBlcmllbmNl cyBhbmQNCmltcHJlc3Npb25zIHRoYXQgeW91IGNhbiB1c2UgdG8gaW1tZWRpYXRlbHkgaW1wcm92 ZSB5b3VyIGRhaWx5IGxpZmUgYXMNCmEgc29mdHdhcmUgZGV2ZWxvcGVyLg0KDQpJZiB5b3Ugc2hh cmUgb3VyIHZpc2lvbiBhbmQgd2FudCB0byBjb250cmlidXRlLCBzdWJtaXQgYSBwcm9wb3NhbCBm b3INCmEgdGFsayBvciB0dXRvcmlhbCENCg0KTk9URTogVGhlIGNvbmZlcmVuY2UgZmVlIHdpbGwg YmUgd2FpdmVkIGZvciBwcmVzZW50ZXJzLiBUcmF2ZWwNCmV4cGVuc2VzIHdpbGwgbm90IGJlIGNv dmVyZWQgKGZvciBleGNlcHRpb25zIHNlZSAiU3BlYWtlciBHcmFudHMiKS4NCg0KU2hlcGhlcmRp bmcNCi0tLS0tLS0tLS0tDQoNClRoZSBwcm9ncmFtIGNvbW1pdHRlZSBvZmZlcnMgc2hlcGhlcmRp bmcgdG8gYWxsIHNwZWFrZXJzLiBTaGVwaGVyZGluZw0KcHJvdmlkZXMgc3BlYWtlcnMgYXNzaXN0 YW5jZSB3aXRoIHByZXBhcmluZyB0aGVpcg0Kc2Vzc2lvbnMuIFNwZWNpZmljYWxseToNCg0KLSBh ZHZpY2Ugb24gc3RydWN0dXJlIGFuZCBwcmVzZW50YXRpb24NCi0gcmV2aWV3IG9mIHRhbGsgc2xp ZGVzDQoNClNwZWFrZXIgR3JhbnRzDQotLS0tLS0tLS0tLS0tLQ0KDQpCT0IgaGFzIFNwZWFrZXIg R3JhbnRzIGF2YWlsYWJsZSB0byBzdXBwb3J0IHNwZWFrZXJzIGZyb20gZ3JvdXBzDQp1bmRlci1y ZXByZXNlbnRlZCBpbiB0ZWNobm9sb2d5LiBXZSBzcGVjaWZpY2FsbHkgc2VlayB3b21lbiBzcGVh a2VycywNCnNwZWFrZXJzIG9mIGNvbG9yLCBhbmQgc3BlYWtlcnMgd2hvIGFyZSBub3QgYWJsZSB0 byBhdHRlbmQgdGhlDQpjb25mZXJlbmNlIGZvciBmaW5hbmNpYWwgcmVhc29ucy4NCg0KVG9waWNz DQotLS0tLS0NCg0KV2UgYXJlIGxvb2tpbmcgZm9yIHRhbGtzIGFib3V0IGJlc3Qtb2YtYnJlZWQg c29mdHdhcmUgdGVjaG5vbG9neSwgZS5nLjoNCg0KLSBmdW5jdGlvbmFsIHByb2dyYW1taW5nDQot IHBlcnNpc3RlbnQgZGF0YSBzdHJ1Y3R1cmVzIGFuZCBkYXRhYmFzZXMNCi0gZXZlbnQtYmFzZWQg bW9kZWxsaW5nIGFuZCBhcmNoaXRlY3R1cmUNCi0gImZhbmN5IHR5cGVzIiAoZGVwZW5kZW50IHR5 cGVzLCBncmFkdWFsIHR5cGluZywgbGluZWFyIHR5cGVzLCAuLi4pDQotIGZvcm1hbCBtZXRob2Rz IGZvciBjb3JyZWN0bmVzcyBhbmQgcm9idXN0bmVzcw0KLSBhYnN0cmFjdGlvbnMgZm9yIGNvbmN1 cnJlbmN5IGFuZCBwYXJhbGxlbGlzbQ0KLSBtZXRhcHJvZ3JhbW1pbmcNCi0gcHJvYmFiaWxpc3Rp YyBwcm9ncmFtbWluZw0KLSBtYXRoIGFuZCBwcm9ncmFtbWluZw0KLSBjb250cm9sbGVkIHNpZGUg ZWZmZWN0cw0KLSBwcm9ncmFtIHN5bnRoZXNpcw0KLSBuZXh0LWdlbmVyYXRpb24gSURFcw0KLSBl ZmZlY3RpdmUgYWJzdHJhY3Rpb25zIGZvciBkYXRhIGFuYWx5dGljcw0KLSDigKYgZXZlcnl0aGlu ZyByZWFsbHkgdGhhdCBpc27igJl0IG1haW5zdHJlYW0sIGJ1dCB5b3UgdGhpbmsgc2hvdWxkIGJl DQotIOKApiBpbmNsdWRlaW5nIHJvdWdoIGlkZWFzIHdvcnRoIGRpc2N1c3NpbmcuDQoNClByZXNl bnRlcnMgc2hvdWxkIHByb3ZpZGUgdGhlIGF1ZGllbmNlIHdpdGggaW5mb3JtYXRpb24gdGhhdCBp cw0KcHJhY3RpY2FsbHkgdXNlZnVsIGZvciBzb2Z0d2FyZSBkZXZlbG9wZXJzLg0KDQpDaGFsbGVu Z2VzDQotLS0tLS0tLS0tDQoNCkZ1cnRoZXJtb3JlLCB3ZSBzZWVrIGNvbnRyaWJ1dGlvbnMgb24g c3VjY2Vzc2Z1bCBhcHByb2FjaGVzIGZvcg0Kc29sdmluZyBoYXJkIHByb2JsZW1zLCBmb3IgZXhh bXBsZToNCg0KLSBiaWFzIGluIG1hY2hpbmUtbGVhcm5pbmcgc3lzdGVtcw0KLSBkaWdpdGFsIHRy YW5zZm9ybWF0aW9uIGluIGRpZmZpY3VsdCBzZXR0aW5ncw0KLSBhY2Nlc3NpYmlsdGl0eQ0KLSBz eXN0ZW1zIHdpdGggY3JpdGljYWwgcmVsaWFiaWxpdHkgcmVxdWlyZW1lbnRzDQotIGVjb2xvZ2lj YWxseSBzdXN0YWluYWJsZSBzb2Z0d2FyZSBkZXZlbG9wbWVudA0KDQpXZSdyZSBlc3BlY2lhbGx5 IGludGVyZXN0ZWQgaW4gZXhwZXJpZW5jZSByZXBvcnRzLg0KT3RoZXIgdG9waWNzIGFyZSBhbHNv IHJlbGV2YW50LCBlLmcuOg0KDQotIGludHJvZHVjdG9yeSB0YWxrcyBvbiB0ZWNobmljYWwgYmFj a2dyb3VuZA0KLSBvdmVydmlld3Mgb2YgYSBnaXZlbiBmaWVsZA0KLSBkZW1vcyBhbmQgaG93LXRv cw0KDQpSZXF1aXJlbWVudHMNCi0tLS0tLS0tLS0tLQ0KDQpXZSBhY2NlcHQgcHJvcG9zYWxzIGZv ciBwcmVzZW50YXRpb25zIG9mIDQ1IG1pbnV0ZXMgKDQwIG1pbnV0ZXMgdGFsayArDQo1IG1pbnV0 ZXMgcXVlc3Rpb25zKSwgYXMgd2VsbCBhcyA5MCBtaW51dGUgdHV0b3JpYWxzIGZvcg0KYmVnaW5u ZXJzLiBUaGUgbGFuZ3VhZ2Ugb2YgcHJlc2VudGF0aW9uIHNob3VsZCBiZSBlaXRoZXIgRW5nbGlz aCBvcg0KR2VybWFuLg0KDQpZb3VyIHByb3Bvc2FsIHNob3VsZCBpbmNsdWRlIChpbiB5b3VyIHBy ZXNlbnRhdGlvbiBsYW5ndWFnZSBvZiBjaG9pY2UpOg0KDQotIEFuIGFic3RyYWN0IG9mIG1heC4g MTUwMCBjaGFyYWN0ZXJzLg0KLSBBIHNob3J0IGJpby9jdg0KLSBDb250YWN0IGluZm9ybWF0aW9u IChpbmNsdWRpbmcgYXQgbGVhc3QgZW1haWwgYWRkcmVzcykNCi0gQSBsaXN0IG9mIDMtNSBjb25j cmV0ZSBpZGVhcyBvZiBob3cgeW91ciB3b3JrIGNhbiBiZSBhcHBsaWVkIGluIGEgZGV2ZWxvcGVy J3MgZGFpbHkgbGlmZQ0KLSBhZGRpdGlvbmFsIG1hdGVyaWFsICh3ZWJzaXRlcywgYmxvZ3MsIHNs aWRlcywgdmlkZW9zIG9mIHBhc3QgcHJlc2VudGF0aW9ucywg4oCmKQ0KDQpPcmdhbmlzYXRpb24N Ci0tLS0tLS0tLS0tLQ0KDQotIERpcmVjdCBxdWVzdGlvbnMgdG8ga29uZmVyZW56IGF0IGJvYmtv bmYgZG90IGRlDQotIFByb3Bvc2FsIGRlYWRsaW5lOiBOb3ZlbWJlciAxNywgMjAyMw0KLSBOb3Rp ZmljYXRpb246IERlY2VtYmVyIDUsIDIwMjMNCi0gUHJvZ3JhbTogRGVjZW1iZXIgMTIsIDIwMjMN Cg0KU3VibWl0IGhlcmU6DQoNCmh0dHBzOi8vcHJldGFseC5jb20vYm9iLTIwMjQvc3VibWl0Lw0K DQpQcm9ncmFtIENvbW1pdHRlZQ0KLS0tLS0tLS0tLS0tLS0tLS0NCg0KKG1vcmUgaW5mb3JtYXRp b24gaGVyZTogaHR0cHM6Ly9ib2Jrb25mLmRlLzIwMjQvcHJvZ3JhbW1rb21pdGVlLmh0bWwpDQoN Ci0gTWF0dGhpYXMgRmlzY2htYW5uLCBXaXJlDQotIE1hdHRoaWFzIE5ldWJhdWVyLCBTSUNLIEFH DQotIE5pY29sZSBSYXVjaCwgU29mdHdhcmVlbnR3aWNrbHVuZyB1bmQgRW50d2lja2x1bmdzY29h Y2hpbmcNCi0gTWljaGFlbCBTcGVyYmVyLCBBY3RpdmUgR3JvdXANCi0gU3RlZmFuIFdlaHIsIEhv Y2hzY2h1bGUgT2ZmZW5idXJnDQoNClNjaWVudGlmaWMgQWR2aXNvcnkgQm9hcmQNCg0KLSBBbm5l dHRlIEJpZW5pdXNhLCBUVSBLYWlzZXJzbGF1dGVybg0KLSBUb3JzdGVuIEdydXN0LCBVbmkgVMO8 YmluZ2VuDQotIFBldGVyIFRoaWVtYW5uLCBVbmkgRnJlaWJ1cmcNCg==