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.27 via Mailbox Transport; Wed, 26 Jul 2023 14:20:23 +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.27; Wed, 26 Jul 2023 14:20:22 +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.27 via Frontend Transport; Wed, 26 Jul 2023 14:20:22 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 36QDJfgt005179 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 26 Jul 2023 14:19:41 +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 36QDJYE3005161 for ; Wed, 26 Jul 2023 14:19:34 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jul 2023 15:19:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 05F3CE0D64; Wed, 26 Jul 2023 15:19:32 +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 CD818E004E for ; Wed, 26 Jul 2023 15:19:26 +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; 26 Jul 2023 15:19:22 +0200 Received: from valmont.local (p5dc9d608.dip0.t-ipconnect.de [93.201.214.8]) (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 344E0842AFD for ; Wed, 26 Jul 2023 15:19:11 +0200 (CEST) From: Michael Sperber To: "caml-list@inria.fr" Subject: [Caml-list] Call for Participation, Functional Software Architecture (Sep 8, Seattle) Thread-Topic: [Caml-list] Call for Participation, Functional Software Architecture (Sep 8, Seattle) Thread-Index: AQHZv8PutQJHyrC0OkSDPwHCQ4jipA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Wed, 26 Jul 2023 14:19:10 +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: eba969cd-5375-4d7e-d688-08db8ddb1124 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.01,232,1684792800"; d="scan'208";a="119183357" 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: <420BACC380581044B4A8654F8F99F5A8@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09DQoNCiAgICAgICAgICAgICoqKiBGVU5BUkNIIDIwMjMgLS0gQ0FMTCBG T1IgUEFSVElDSVBBVElPTiAqKioNCg0KICAgICAgICAgICAgICAgICAgVGhlIEZpcnN0IEFDTSBT SUdQTEFOIFdvcmtzaG9wIG9uDQogICAgICAgICBGdW5jdGlvbmFsIFNvZnR3YXJlIEFyY2hpdGVj dHVyZSAtIEZQIGluIHRoZSBMYXJnZQ0KDQogICAgICAgICAgICA4dGggU2VwdGVtYmVyIDIwMjMs IFNlYXR0bGUsIFdhc2hpbmd0b24sIFVTQQ0KICAgICAgICAgICAgICAgICAgICAgIENvLWxvY2F0 ZWQgd2l0aCBJQ0ZQIDIwMjMNCg0KICAgICBodHRwczovL3d3dy5mdW5jdGlvbmFsLWFyY2hpdGVj dHVyZS5vcmcvZXZlbnRzL2Z1bmFyY2gtMjAyMy8NCg0KPT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQpCQUNLR1JP VU5EOg0KDQpUaGUgQUNNIFNJR1BMQU4gV29ya3Nob3Agb24gRnVuY3Rpb25hbCBTb2Z0d2FyZSBB cmNoaXRlY3R1cmUgLSBGUA0KaW4gdGhlIExhcmdlIGFpbXMgdG8gZGlzc2VtaW5hdGUgYW5kIGVu YWJsZSB0aGUgdXNlIG9mIGZ1bmN0aW9uYWwNCnByb2dyYW1taW5nIGluIHRoZSBsYXJnZSBhbmQg bG9uZy1saXZlZCBzb2Z0d2FyZSBwcm9qZWN0cy4NCg0KV2Ugc3BlY2lmaWNhbGx5IHdhbnQ6DQoN Ci0gVG8gYXNzZW1ibGUgYSBjb21tdW5pdHkgaW50ZXJlc3RlZCBpbiBzb2Z0d2FyZSBhcmNoaXRl Y3R1cmUNCiAgdGVjaG5pcXVlcyBhbmQgdGVjaG5vbG9naWVzIHNwZWNpZmljIHRvIGZ1bmN0aW9u YWwgcHJvZ3JhbW1pbmc7DQoNCi0gVG8gaWRlbnRpZnksIGNhdGVnb3JpemUsIGFuZCBkb2N1bWVu dCB0b3BpY3MgcmVsZXZhbnQgdG8NCiAgdGhlIGZpZWxkIG9mIGZ1bmN0aW9uYWwgc29mdHdhcmUg YXJjaGl0ZWN0dXJlOw0KDQotIFRvIGNvbm5lY3QgdGhlIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcg Y29tbXVuaXR5IHRvIHRoZSBzb2Z0d2FyZQ0KICBhcmNoaXRlY3R1cmUgY29tbXVuaXR5IHRvIGNy b3NzLXBvbGxpbmF0ZSBiZXR3ZWVuIHRoZSB0d28uDQoNCldlJ2QgbG92ZSBmb3IgeW91IHRvIGJl IHBhcnQgb2YgdGhpcyBlZmZvcnQuICBXaGF0ZXZlciB5b3VyDQpiYWNrZ3JvdW5kLCB5b3UncmUg d2VsY29tZSBhdCBGVU5BUkNIIC0gdG8gbGlzdGVuIHRvIHRhbGtzLCByZXBvcnQNCm9uIHlvdXIg ZXhwZXJpZW5jZSwgYW5kIGludGVyYWN0IHdpdGggb3RoZXJzIHRoYXQgc2hhcmUgb3VyIGdvYWxz Lg0KDQpTZWUgeW91IGF0IEZVTkFSQ0ghDQoNClJFR0lTVFJBVElPTjoNCg0KWW91IGNhbiByZWdp c3RlciBmb3IgdGhlIHdvcmtzaG9wIHZpYSB0aGUgcmVnaXN0cmF0aW9uIHBhZ2UgZm9yDQp0aGUg SUNGUCBjb25mZXJlbmNlLCBidXQgdGhlcmUncyBubyBuZWVkIHRvIGFsc28gcmVnaXN0ZXIgZm9y DQp0aGUgY29uZmVyZW5jZS4gIFJlZHVjZWQgZmVlcyBhcmUgYXZhaWxhYmxlIHVudGlsIDV0aCBB dWd1c3QuDQpodHRwOi8vaWNmcDIzLnNpZ3BsYW4ub3JnL2F0dGVuZGluZy9yZWdpc3RyYXRpb24N Cg0KT1BFTklORyBUQUxLOg0KDQpGdW5jdGlvbmFsIFByb2dyYW1taW5nIGluIHRoZSBMYXJnZSAt IFN0YXR1cyBhbmQgUGVyc3BlY3RpdmUNCk1pa2UgU3BlcmJlcg0KDQpBQ0NFUFRFRCBTVUJNSVNT SU9OUzoNCg0KQSBTb2Z0d2FyZSBBcmNoaXRlY3R1cmUgQmFzZWQgb24gQ29hcnNlLUdyYWluZWQg U2VsZi1BZGp1c3RpbmcgQ29tcHV0YXRpb25zDQpTdGVmYW4gV2Vocg0KDQpDcsOobWUgZGUgbGEg Q3JlbTogQ29tcG9zYWJsZSBSZXByZXNlbnRhYmxlIEV4ZWN1dGFibGUgTWFjaGluZXMNCk1hcmNv IFBlcm9uZSBhbmQgR2Vvcmdpb3MgS2FyYWNoYWxpYXMNCg0KRnVuY3Rpb25hbCBTaGVsbCBhbmQg UmV1c2FibGUgQ29tcG9uZW50cyBmb3IgRWFzeSBHVUlzDQpCZW4gS25vYmxlIGFuZCBCb2dkYW4g UG9wYQ0KDQpQaGFzZXMgaW4gU29mdHdhcmUgQXJjaGl0ZWN0dXJlDQpKZXJlbXkgR2liYm9ucywg T2lzw61uIEtpZG5leSwgVG9tIFNjaHJpanZlcnMgYW5kIE5pY29sYXMgV3UNCg0KU3RyZXRjaGlu ZyB0aGUgR2xhc2dvdyBIYXNrZWxsIENvbXBpbGVyDQpKZWZmcmV5IE0uIFlvdW5nLCBTeWx2YWlu IEhlbnJ5IGFuZCBKb2huIEVyaWNzb24NCg0KVHlwZWQgRGVzaWduIFBhdHRlcm5zIGZvciB0aGUg RnVuY3Rpb25hbCBFcmENCldpbGwgQ3JpY2h0b24NCg0KVHlwZXMgdGhhdCBDaGFuZ2U6IFRoZSBF eHRlbnNpYmxlIFR5cGUgRGVzaWduIFBhdHRlcm4NCkl2YW4gUGVyZXoNCg0KUFJPR1JBTSBDSEFJ UlM6DQoNCk1pa2UgU3BlcmJlciAgICAgICAgICAgIEFjdGl2ZSBHcm91cCwgR2VybWFueQ0KR3Jh aGFtIEh1dHRvbiAgICAgICAgICAgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLCBVSw0KDQpQUk9H UkFNIENPTU1JVFRFRToNCg0KSm9hY2hpbSBCcmVpdG5lciAgICAgICAgR2VybWFueQ0KTWFudWVs IENoYWtyYXZhcnR5ICAgICAgVHdlYWcgJiBJT0csIFRoZSBOZXRoZXJsYW5kcw0KUm9uIEdhcmNp YSAgICAgICAgICAgICAgVW5pdmVyc2l0eSBvZiBCcml0aXNoIENvbHVtYmlhLCBDYW5hZGENCkRl YmFzaXNoIEdob3NoICAgICAgICAgIExlYWRJUSwgSW5kaWENCkxhcnMgSHVwZWwgICAgICAgICAg ICAgIEdpZXNlY2tlK0RldnJpZW50LCBHZXJtYW55DQpBbmR5IEtlZXAgICAgICAgICAgICAgICBN ZXRhLCBVU0ENClNocmlyYW0gS3Jpc2huYW11cnRoaSAgIEJyb3duIFVuaXZlcnNpdHksIFVTQQ0K QW5kcmVzIEzDtmggICAgICAgICAgICAgIFdlbGwtVHlwZWQsIEdlcm1hbnkNCkFuaWwgTWFkaGF2 YXBlZGR5ICAgICAgIFVuaXZlcnNpdHkgb2YgQ2FtYnJpZGdlLCBVSw0KSm9zw6kgUGVkcm8gTWFn YWxow6NlcyAgICBTdGFuZGFyZCBDaGFydGVyZWQsIFVLDQpTaW1vbiBNYXJsb3cgICAgICAgICAg ICBNZXRhLCBVSw0KSGFubmVzIE1laG5lcnQgICAgICAgICAgUm9idXIsIEdlcm1hbnkNCkVyaWsg TWVpamVyICAgICAgICAgICAgIFVTQQ0KSXZhbiBQZXJleiAgICAgICAgICAgICAgS0JSIC8gTkFT QSBBbWVzIFJlc2VhcmNoIENlbnRlciwgVVNBDQpTdGVmYW5pZSBTY2hpcm1lciAgICAgICBEdWNr RHVja0dvLCBHZXJtYW55DQpQZXJkaXRhIFN0ZXZlbnMgICAgICAgICBVbml2ZXJzaXR5IG9mIEVk aW5idXJnaCwgVUsNClN0ZWZhbiBXZWhyICAgICAgICAgICAgIEhvY2hzY2h1bGUgT2ZmZW5idXJn LCBHZXJtYW55DQpTY290dCBXbGFzY2hpbiAgICAgICAgICBGUGJyaWRnZSwgVUsNCg0KV09SS1NI T1AgVkVOVUU6DQoNClRoZSB3b3Jrc2hvcCB3aWxsIGJlIGNvLWxvY2F0ZWQgd2l0aCB0aGUgSUNG UCAyMDIzIGNvbmZlcmVuY2UgYXQNClRoZSBXZXN0aW4gU2VhdHRsZSBIb3RlbCwgU2VhdHRsZSwg V2FzaGluZ3RvbiwgVW5pdGVkIFN0YXRlcy4NCg0KPT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQo=