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.17 via Mailbox Transport; Tue, 31 Jan 2023 12:09:05 +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.17; Tue, 31 Jan 2023 12:09:05 +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.17 via Frontend Transport; Tue, 31 Jan 2023 12:09:05 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30VC8KpP001931 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 31 Jan 2023 12:08:20 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 30VC8CCM001915 for ; Tue, 31 Jan 2023 12:08:13 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 31 Jan 2023 13:08:12 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B6762E744A; Tue, 31 Jan 2023 13:08:11 +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 4C668E743E for ; Tue, 31 Jan 2023 13:08:06 +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; 31 Jan 2023 13:08:05 +0100 Received: from valmont.fritz.box (p5ded442c.dip0.t-ipconnect.de [93.237.68.44]) (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 E1144842B05 for ; Tue, 31 Jan 2023 13:08:04 +0100 (CET) From: Michael Sperber To: "caml-list@inria.fr" Subject: [Caml-list] 2nd Call for Participation: BOB 2023 (Berlin, March 17 - early bird expires today) Thread-Topic: [Caml-list] 2nd Call for Participation: BOB 2023 (Berlin, March 17 - early bird expires today) Thread-Index: AQHZNWzQHlEiqa/WTU238hwD3lPIVQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 31 Jan 2023 12:08:04 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,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: 73f17f9e-4136-4be6-50ce-08db0383f2b4 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="5.97,261,1669071600"; d="scan'208";a="90299532" 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 DQpMb3RzIG9mIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcgYXQgQk9CIQ0KDQo9PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09DQoJCQkgICAgICAgQk9CIDIwMjMNCgkJCSAgICAgIENvbmZlcmVuY2UNCgkgICAgIOKAnFdo YXQgaGFwcGVucyBpZiB3ZSBzaW1wbHkgdXNlIHdoYXTigJlzIGJlc3Q/4oCdDQoJCSAgICAgICBN YXJjaCAxNywgMjAyMywgQmVybGluDQoJCSAgICAgICBodHRwczovL2JvYmtvbmYuZGUvMjAyMy8N Cg0KCSAgIFByb2dyYW06IGh0dHBzOi8vYm9ia29uZi5kZS8yMDIzL3Byb2dyYW0uaHRtbA0KCSAg UmVnaXN0cmF0aW9uOiBodHRwczovL2JvYmtvbmYuZGUvMjAyMy9yZWdpc3RyYXRpb24uaHRtbA0K PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PQ0KCQkJCSAgIA0KQk9CIGNvbmZlcmVuY2UgaXMgYSBwbGFjZSBmb3Ig ZGV2ZWxvcGVycywgYXJjaGl0ZWN0cywgYW5kIGRlY2lzaW9uLW1ha2Vycw0KdG8gZXhwbG9yZSB0 ZWNobm9sb2dpZXMgYmV5b25kIHRoZSBtYWluc3RyZWFtIGluIHNvZnR3YXJlIGRldmVsb3BtZW50 DQphbmQgdG8gZmluZCB0aGUgYmVzdCB0b29scyBhdmFpbGFibGUgdG8gc29mdHdhcmUgZGV2ZWxv cGVycyB0b2RheS4gT3VyDQpnb2FsIGlzIGZvciBhbGwgcGFydGljaXBhbnRzIG9mIEJPQiB0byBy ZXR1cm4gaG9tZSB3aXRoIG5ldyBpbnNpZ2h0cw0KdGhhdCBlbmFibGUgdGhlbSB0byBpbXByb3Zl IHRoZWlyIG93biBzb2Z0d2FyZSBkZXZlbG9wbWVudA0KZXhwZXJpZW5jZS4NCg0KVGhlIHByb2dy YW0gZmVhdHVyZXMgMTQgdGFsa3MgYW5kIDggdHV0b3JpYWxzIG9uIGN1cnJlbnQgdG9waWNzOg0K DQpodHRwczovL2JvYmtvbmYuZGUvMjAyMy9wcm9ncmFtLmh0bWwNCg0KVGFsayBzdWJqZWN0cyBp bmNsdWRlcyBmdW5jdGlvbmFsIHByb2dyYW1taW5nLCBzb2Z0d2FyZQ0KYXJjaGl0ZWN0dXJlLCBh Y2Nlc3NpYmlsaXR5LCBkaWdpdGFsIHRyYW5zZm9ybWF0aW9uLCB2ZXJzaW9uIGNvbnRyb2wsDQpm b3JtYWwgbWV0aG9kcywgYW5kIGRldm9wcy4NCg0KQk9CIHdpbGwgZmVhdHVyZSB0dXRvcmlhbHMg b24gRWxpeGlyLCBTY2hlbWUsIEtvdGxpbiwgQWdkYSwgRG9tYWluDQpTdG9yeXRlbGxpbmcsIEhl eGFnb25hbCBGcm9udGVuZCBBcmNoaXRlY3R1cmUsIGFuZCBvdGhlciB0b3BpY3MuDQoNCll1bGlh IFN0YXJ0c2V2IHdpbGwgZ2l2ZSB0aGUga2V5bm90ZSB0YWxrIG9uDQoiUmUtdGhpbmtpbmcgTW9k dWxlcyBmb3IgdGhlIFdlYiIuDQoNClJlZ2lzdHJhdGlvbiBpcyBvcGVuIC0gb25saW5lIHRpY2tl dHMgYXJlIGFsbCB1bmRlciAyMDDigqwsIGFuZCBtYW55DQpkaXNjb3VudCBvcHRpb25zIGFyZSBh dmFpbGFibGUsIGFzIGFyZSBncmFudHMgZm9yIG1lbWJlcnMgb2YgZ3JvdXBzDQp1bmRlcnJlcHJl c2VudGVkIGluIHRlY2g6DQoNCmh0dHBzOi8vYm9ia29uZi5kZS8yMDIzL3JlZ2lzdHJhdGlvbi5o dG1sDQo=