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, 9 Jan 2024 08:24:08 +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, 9 Jan 2024 08:24:08 +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, 9 Jan 2024 08:24:08 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 4098OQNC007841 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 9 Jan 2024 08:24:26 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 4098OIvT007826 for ; Tue, 9 Jan 2024 08:24:18 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jan 2024 09:24:18 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F28C4E0D5E; Tue, 9 Jan 2024 09:24:15 +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 7A942E004E for ; Tue, 9 Jan 2024 09:24:10 +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; 09 Jan 2024 09:24:10 +0100 Received: from valmont.home.active-group.de (ip-037-024-119-190.um08.pools.vodafone-ip.de [37.24.119.190]) (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 2545A840D75; Tue, 9 Jan 2024 09:24:08 +0100 (CET) From: Michael Sperber To: "users@racket-lang.org" , "caml-list@inria.fr" , "erlang-questions@erlang.org" , "types-announce@lists.seas.upenn.edu" Subject: [Caml-list] 2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30) Thread-Topic: [Caml-list] 2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30) Thread-Index: AQHaQtU3d/4rRQ2AwES11sgjXxMy+A== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 9 Jan 2024 08:24:07 +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: 34bf2ad6-64bf-4ef9-bf07-08dc10ec59c9 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.04,182,1695679200"; d="scan'208";a="76208711" 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: <462B5909E5239644AFECB833E6088A68@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09DQoJCQkgICAgICAgQk9CIDIwMjQNCgkJCSAgICAgIENvbmZlcmVu Y2UNCgkgICAgIOKAnFdoYXQgaGFwcGVucyBpZiB3ZSBzaW1wbHkgdXNlIHdoYXTigJlzIGJlc3Q/ 4oCdDQoJCSAgICAgICBNYXJjaCAxNSwgMjAyNCwgQmVybGluDQoJCSAgICAgICBodHRwczovL2Jv YmtvbmYuZGUvMjAyNC8NCg0KCSAgICBQcm9ncmFtOiBodHRwczovL2JvYmtvbmYuZGUvMjAyNC9w cm9ncmFtLmh0bWwNCgkgIFJlZ2lzdHJhdGlvbjogaHR0cHM6Ly9ib2Jrb25mLmRlLzIwMjQvcmVn aXN0cmF0aW9uLmh0bWwNCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCgkJCQkgICANCkJPQiBjb25mZXJlbmNl IGlzIGEgcGxhY2UgZm9yIGRldmVsb3BlcnMsIGFyY2hpdGVjdHMsIGFuZCBkZWNpc2lvbi1tYWtl cnMNCnRvIGV4cGxvcmUgdGVjaG5vbG9naWVzIGJleW9uZCB0aGUgbWFpbnN0cmVhbSBpbiBzb2Z0 d2FyZSBkZXZlbG9wbWVudA0KYW5kIHRvIGZpbmQgdGhlIGJlc3QgdG9vbHMgYXZhaWxhYmxlIHRv IHNvZnR3YXJlIGRldmVsb3BlcnMgdG9kYXkuIE91cg0KZ29hbCBpcyBmb3IgYWxsIHBhcnRpY2lw YW50cyBvZiBCT0IgdG8gcmV0dXJuIGhvbWUgd2l0aCBuZXcgaW5zaWdodHMNCnRoYXQgZW5hYmxl IHRoZW0gdG8gaW1wcm92ZSB0aGVpciBvd24gc29mdHdhcmUgZGV2ZWxvcG1lbnQNCmV4cGVyaWVu Y2UuDQoNClRoZSBwcm9ncmFtIGZlYXR1cmVzIDE0IHRhbGtzIGFuZCA4IHR1dG9yaWFscyBvbiBj dXJyZW50IHRvcGljczoNCg0KaHR0cHM6Ly9ib2Jrb25mLmRlLzIwMjQvcHJvZ3JhbS5odG1sDQoN ClRhbGsgc3ViamVjdHMgaW5jbHVkZXMgZnVuY3Rpb25hbCBwcm9ncmFtbWluZywgcHJvcGVydHkt YmFzZWQgdGVzdGluZywNCnNlcnZpY2UgQVBJIGRlc2lnbiwgcHJvZ3JhbW1pbmcgZm9yIHNwYWNl Y3JhZnQsIGFjY2Vzc2liaWxpdHksDQpoeXBlcm1lZGlhLCBidXNpbmVzcyBwcm9jZXNzZXMsIHNv ZnR3YXJlIGFuYWx5dGljcywgZXZlbnQtYmFzZWQNCmNvbW11bmljYXRpb24gYW5kIHplcm8ta25v d2xlZGdlIHByb29mcy4NCg0KQk9CIHdpbGwgZmVhdHVyZSB0dXRvcmlhbHMgb24gRiMsIEhhc2tl bGwsIExlYW4sIFN3aWZ0VUksIENvcGlsb3QsIHRoZQ0KSyBGcmFtZXdvcmssIGZ1bmN0aW9uYWwg ZG9tYWluIG1vZGVsbGluZywgYW5kIExpYmVyYXRpbmcgU3RydWN0dXJlcy4NCg0KQW5kcmVhcyBS b3NzYmVyZyB3aWxsIGdpdmUgdGhlIGtleW5vdGUgdGFsay4NCg0KUmVnaXN0cmF0aW9uIGlzIG9w ZW4gLSBvbmxpbmUgdGlja2V0cyBhcmUgYWxsIHVuZGVyIDIwMOKCrCwgYW5kIG1hbnkNCmRpc2Nv dW50IG9wdGlvbnMgYXJlIGF2YWlsYWJsZSwgYXMgYXJlIGdyYW50cyBmb3IgbWVtYmVycyBvZiBn cm91cHMNCnVuZGVycmVwcmVzZW50ZWQgaW4gdGVjaC4gIEVhcmx5LWJpcmQgcmVnaXN0cmF0aW9u IHJ1bnMgdW50aWwgSmFuIDMwOg0KDQpodHRwczovL2JvYmtvbmYuZGUvMjAyNC9yZWdpc3RyYXRp b24uaHRtbA0KDQo=