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; Mon, 9 Oct 2023 19:47:38 +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.32; Mon, 9 Oct 2023 19:47:38 +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.32 via Frontend Transport; Mon, 9 Oct 2023 19:47:38 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 399IlN6N026286 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 9 Oct 2023 19:47:23 +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 399IlG0l026269 for ; Mon, 9 Oct 2023 19:47:16 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Oct 2023 20:47:15 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2679FE0CD9; Mon, 9 Oct 2023 20:47:15 +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 6EA16E00B7 for ; Mon, 9 Oct 2023 20:47:11 +0200 (CEST) Received: from deinprogramm.de ([168.119.170.211]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Oct 2023 20:47:10 +0200 Received: from valmont-wireless.fritz.box (p5ded4e5e.dip0.t-ipconnect.de [93.237.78.94]) (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 A0FA8840D79 for ; Mon, 9 Oct 2023 20:47:01 +0200 (CEST) From: Michael Sperber To: "caml-list@inria.fr" Subject: [Caml-list] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17] Thread-Topic: [Caml-list] Call for Contributions: BOB 2024 [March 15, Deadline Nov 17] Thread-Index: AQHZ+uETBeaBDNCNvU+e4apEpkHZwg== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 9 Oct 2023 19:47:01 +0100 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: c8856dbe-9ed1-4b54-c2db-08dbc8f835bc 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,210,1694728800"; d="scan'208";a="130297942" 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: Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQpXZSBsb3ZlIHRvIHNlZSBPQ2FtbC1yZWxhdGVkIHN1Ym1pc3Npb25zIGZvciBCT0IhDQoNCj09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09DQogICAgICAgICAgICAgICAgICAgICAgICAgQk9CIENvbmZl cmVuY2UgMjAyNA0KICAgICAgICAgIldoYXQgaGFwcGVucyB3aGVuIHdlIHVzZSB3aGF0J3MgYmVz dCBmb3IgYSBjaGFuZ2U/Ig0KICAgICAgICAgICAgICAgICAgaHR0cHM6Ly9ib2Jrb25mLmRlLzIw MjQvY2ZjLmh0bWwNCiAgICAgICAgICAgICAgICAgICAgICAgICBCZXJsaW4sIE1hciAxNw0KICAg ICAgICAgICAgICAgICAgICAgICAgQ2FsbCBmb3IgQ29udHJpYnV0aW9ucw0KICAgICAgICAgICAg ICAgICAgICAgRGVhZGxpbmU6IE5vdmVtYmVyIDIxLCAyMDIzDQo9PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PQ0KDQpZb3UgYXJlIGFjdGl2ZWx5IGVuZ2FnZWQgaW4gYWR2YW5jZWQgc29mdHdhcmUgZW5n aW5lZXJpbmcgbWV0aG9kcywNCnNvbHZlIGFtYml0aW91cyBwcm9ibGVtIHdpdGggc29mdHdhcmUg YW5kIGFyZSBvcGVuIHRvIGN1dHRpbmctZWRnZQ0KaW5ub3ZhdGlvbj8gQXR0ZW5kIHRoaXMgY29u ZmVyZW5jZSwgbWVldCBwZW9wbGUgdGhhdCBzaGFyZSB5b3VyIGdvYWxzLA0KYW5kIGdldCB0byBr bm93IHRoZSBiZXN0IHNvZnR3YXJlIHRvb2xzIGFuZCB0ZWNobm9sb2dpZXMgYXZhaWxhYmxlDQp0 b2RheS4gV2Ugc3RyaXZlIHRvIG9mZmVyIGEgZGF5IGZ1bGwgb2YgbmV3IGV4cGVyaWVuY2VzIGFu ZA0KaW1wcmVzc2lvbnMgdGhhdCB5b3UgY2FuIHVzZSB0byBpbW1lZGlhdGVseSBpbXByb3ZlIHlv dXIgZGFpbHkgbGlmZSBhcw0KYSBzb2Z0d2FyZSBkZXZlbG9wZXIuDQoNCklmIHlvdSBzaGFyZSBv dXIgdmlzaW9uIGFuZCB3YW50IHRvIGNvbnRyaWJ1dGUsIHN1Ym1pdCBhIHByb3Bvc2FsIGZvcg0K YSB0YWxrIG9yIHR1dG9yaWFsIQ0KDQpOT1RFOiBUaGUgY29uZmVyZW5jZSBmZWUgd2lsbCBiZSB3 YWl2ZWQgZm9yIHByZXNlbnRlcnMuIFRyYXZlbA0KZXhwZW5zZXMgd2lsbCBub3QgYmUgY292ZXJl ZCAoZm9yIGV4Y2VwdGlvbnMgc2VlICJTcGVha2VyIEdyYW50cyIpLg0KDQpTaGVwaGVyZGluZw0K LS0tLS0tLS0tLS0NCg0KVGhlIHByb2dyYW0gY29tbWl0dGVlIG9mZmVycyBzaGVwaGVyZGluZyB0 byBhbGwgc3BlYWtlcnMuIFNoZXBoZXJkaW5nDQpwcm92aWRlcyBzcGVha2VycyBhc3Npc3RhbmNl IHdpdGggcHJlcGFyaW5nIHRoZWlyDQpzZXNzaW9ucy4gU3BlY2lmaWNhbGx5Og0KDQotIGFkdmlj ZSBvbiBzdHJ1Y3R1cmUgYW5kIHByZXNlbnRhdGlvbg0KLSByZXZpZXcgb2YgdGFsayBzbGlkZXMN Ci0gYXNzaXN0YW5jZSB3aXRoIHJlY29yZGluZw0KLSByZXZpZXcgb2YgcmVjb3JkaW5nLCBpZiBh cHBsaWNhYmxlDQoNClNwZWFrZXIgR3JhbnRzDQotLS0tLS0tLS0tLS0tLQ0KDQpCT0IgaGFzIFNw ZWFrZXIgR3JhbnRzIGF2YWlsYWJsZSB0byBzdXBwb3J0IHNwZWFrZXJzIGZyb20gZ3JvdXBzDQp1 bmRlci1yZXByZXNlbnRlZCBpbiB0ZWNobm9sb2d5LiBXZSBzcGVjaWZpY2FsbHkgc2VlayB3b21l biBzcGVha2VycywNCnNwZWFrZXJzIG9mIGNvbG9yLCBhbmQgc3BlYWtlcnMgd2hvIGFyZSBub3Qg YWJsZSB0byBhdHRlbmQgdGhlDQpjb25mZXJlbmNlIGZvciBmaW5hbmNpYWwgcmVhc29ucy4NCg0K VG9waWNzDQotLS0tLS0NCg0KV2UgYXJlIGxvb2tpbmcgZm9yIHRhbGtzIGFib3V0IGJlc3Qtb2Yt YnJlZWQgc29mdHdhcmUgdGVjaG5vbG9neSwgZS5nLjoNCg0KLSBmdW5jdGlvbmFsIHByb2dyYW1t aW5nDQotIHBlcnNpc3RlbnQgZGF0YSBzdHJ1Y3R1cmVzIGFuZCBkYXRhYmFzZXMNCi0gZXZlbnQt YmFzZWQgbW9kZWxsaW5nIGFuZCBhcmNoaXRlY3R1cmUNCi0gImZhbmN5IHR5cGVzIiAoZGVwZW5k ZW50IHR5cGVzLCBncmFkdWFsIHR5cGluZywgbGluZWFyIHR5cGVzLCAuLi4pDQotIGZvcm1hbCBt ZXRob2RzIGZvciBjb3JyZWN0bmVzcyBhbmQgcm9idXN0bmVzcw0KLSBhYnN0cmFjdGlvbnMgZm9y IGNvbmN1cnJlbmN5IGFuZCBwYXJhbGxlbGlzbQ0KLSBtZXRhcHJvZ3JhbW1pbmcNCi0gcHJvYmFi aWxpc3RpYyBwcm9ncmFtbWluZw0KLSBtYXRoIGFuZCBwcm9ncmFtbWluZw0KLSBjb250cm9sbGVk IHNpZGUgZWZmZWN0cw0KLSBwcm9ncmFtIHN5bnRoZXNpcw0KLSBuZXh0LWdlbmVyYXRpb24gSURF cw0KLSBlZmZlY3RpdmUgYWJzdHJhY3Rpb25zIGZvciBkYXRhIGFuYWx5dGljcw0KLSDigKYgZXZl cnl0aGluZyByZWFsbHkgdGhhdCBpc27igJl0IG1haW5zdHJlYW0sIGJ1dCB5b3UgdGhpbmsgc2hv dWxkIGJlDQotIOKApiBpbmNsdWRlaW5nIHJvdWdoIGlkZWFzIHdvcnRoIGRpc2N1c3NpbmcuDQoN ClByZXNlbnRlcnMgc2hvdWxkIHByb3ZpZGUgdGhlIGF1ZGllbmNlIHdpdGggaW5mb3JtYXRpb24g dGhhdCBpcw0KcHJhY3RpY2FsbHkgdXNlZnVsIGZvciBzb2Z0d2FyZSBkZXZlbG9wZXJzLg0KDQpD aGFsbGVuZ2VzDQotLS0tLS0tLS0tDQoNCkZ1cnRoZXJtb3JlLCB3ZSBzZWVrIGNvbnRyaWJ1dGlv bnMgb24gc3VjY2Vzc2Z1bCBhcHByb2FjaGVzIGZvcg0Kc29sdmluZyBoYXJkIHByb2JsZW1zLCBm b3IgZXhhbXBsZToNCg0KLSBiaWFzIGluIG1hY2hpbmUtbGVhcm5pbmcgc3lzdGVtcw0KLSBkaWdp dGFsIHRyYW5zZm9ybWF0aW9uIGluIGRpZmZpY3VsdCBzZXR0aW5ncw0KLSBhY2Nlc3NpYmlsdGl0 eQ0KLSBzeXN0ZW1zIHdpdGggY3JpdGljYWwgcmVsaWFiaWxpdHkgcmVxdWlyZW1lbnRzDQotIGVj b2xvZ2ljYWxseSBzdXN0YWluYWJsZSBzb2Z0d2FyZSBkZXZlbG9wbWVudA0KDQpXZSdyZSBlc3Bl Y2lhbGx5IGludGVyZXN0ZWQgaW4gZXhwZXJpZW5jZSByZXBvcnRzLg0KT3RoZXIgdG9waWNzIGFy ZSBhbHNvIHJlbGV2YW50LCBlLmcuOg0KDQotIGludHJvZHVjdG9yeSB0YWxrcyBvbiB0ZWNobmlj YWwgYmFja2dyb3VuZA0KLSBvdmVydmlld3Mgb2YgYSBnaXZlbiBmaWVsZA0KLSBkZW1vcyBhbmQg aG93LXRvcw0KDQpSZXF1aXJlbWVudHMNCi0tLS0tLS0tLS0tLQ0KDQpXZSBhY2NlcHQgcHJvcG9z YWxzIGZvciBwcmVzZW50YXRpb25zIG9mIDQ1IG1pbnV0ZXMgKDQwIG1pbnV0ZXMgdGFsayArDQo1 IG1pbnV0ZXMgcXVlc3Rpb25zKSwgYXMgd2VsbCBhcyA5MCBtaW51dGUgdHV0b3JpYWxzIGZvcg0K YmVnaW5uZXJzLiBUaGUgbGFuZ3VhZ2Ugb2YgcHJlc2VudGF0aW9uIHNob3VsZCBiZSBlaXRoZXIg RW5nbGlzaCBvcg0KR2VybWFuLg0KDQpZb3VyIHByb3Bvc2FsIHNob3VsZCBpbmNsdWRlIChpbiB5 b3VyIHByZXNlbnRhdGlvbiBsYW5ndWFnZSBvZiBjaG9pY2UpOg0KDQotIEFuIGFic3RyYWN0IG9m IG1heC4gMTUwMCBjaGFyYWN0ZXJzLg0KLSBBIHNob3J0IGJpby9jdg0KLSBDb250YWN0IGluZm9y bWF0aW9uIChpbmNsdWRpbmcgYXQgbGVhc3QgZW1haWwgYWRkcmVzcykNCi0gQSBsaXN0IG9mIDMt NSBjb25jcmV0ZSBpZGVhcyBvZiBob3cgeW91ciB3b3JrIGNhbiBiZSBhcHBsaWVkIGluIGEgZGV2 ZWxvcGVyJ3MgZGFpbHkgbGlmZQ0KLSBhZGRpdGlvbmFsIG1hdGVyaWFsICh3ZWJzaXRlcywgYmxv Z3MsIHNsaWRlcywgdmlkZW9zIG9mIHBhc3QgcHJlc2VudGF0aW9ucywg4oCmKQ0KDQpPcmdhbmlz YXRpb24NCi0tLS0tLS0tLS0tLQ0KDQotIERpcmVjdCBxdWVzdGlvbnMgdG8ga29uZmVyZW56IGF0 IGJvYmtvbmYgZG90IGRlDQotIFByb3Bvc2FsIGRlYWRsaW5lOiBOb3ZlbWJlciAxNywgMjAyMw0K LSBOb3RpZmljYXRpb246IERlY2VtYmVyIDUsIDIwMjMNCi0gUHJvZ3JhbTogRGVjZW1iZXIgMTIs IDIwMjMNCg0KU3VibWl0IGhlcmU6DQoNCmh0dHBzOi8vcHJldGFseC5jb20vYm9iLTIwMjQvc3Vi bWl0Lw0KDQpQcm9ncmFtIENvbW1pdHRlZQ0KLS0tLS0tLS0tLS0tLS0tLS0NCg0KKG1vcmUgaW5m b3JtYXRpb24gaGVyZTogaHR0cHM6Ly9ib2Jrb25mLmRlLzIwMjQvcHJvZ3JhbW1rb21pdGVlLmh0 bWwpDQoNCi0gTWF0dGhpYXMgRmlzY2htYW5uLCBXaXJlDQotIE1hdHRoaWFzIE5ldWJhdWVyLCBT SUNLIEFHDQotIE5pY29sZSBSYXVjaCwgU29mdHdhcmVlbnR3aWNrbHVuZyB1bmQgRW50d2lja2x1 bmdzY29hY2hpbmcNCi0gTWljaGFlbCBTcGVyYmVyLCBBY3RpdmUgR3JvdXANCi0gU3RlZmFuIFdl aHIsIEhvY2hzY2h1bGUgT2ZmZW5idXJnDQoNClNjaWVudGlmaWMgQWR2aXNvcnkgQm9hcmQNCg0K LSBBbm5ldHRlIEJpZW5pdXNhLCBUVSBLYWlzZXJzbGF1dGVybg0KLSBUb3JzdGVuIEdydXN0LCBV bmkgVMO8YmluZ2VuDQotIFBldGVyIFRoaWVtYW5uLCBVbmkgRnJlaWJ1cmcNCg0K