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; Thu, 7 Mar 2024 07:01:23 +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; Thu, 7 Mar 2024 07:01:22 +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; Thu, 7 Mar 2024 07:01:22 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 42771Wgu011224 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 7 Mar 2024 07:01:32 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 42771OOq011208 for ; Thu, 7 Mar 2024 07:01:25 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Mar 2024 08:00:55 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 36D63E0CEB; Thu, 7 Mar 2024 08:00:33 +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 4A799E0CD9 for ; Thu, 7 Mar 2024 08:00:26 +0100 (CET) Received: from mta-p5.oit.umn.edu ([134.84.196.205]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 07 Mar 2024 08:00:22 +0100 Received: from localhost (unknown [127.0.0.1]) by mta-p5.oit.umn.edu (Postfix) with ESMTP id 4Tr0Yb1Y7Rz9vKZS for ; Thu, 7 Mar 2024 07:00:19 +0000 (UTC) Received: from mta-p5.oit.umn.edu ([127.0.0.1]) by localhost (mta-p5.oit.umn.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id yGV2aiu3N-DL for ; Thu, 7 Mar 2024 01:00:19 -0600 (CST) Received: from mail-ej1-f70.google.com (mail-ej1-f70.google.com [209.85.218.70]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mta-p5.oit.umn.edu (Postfix) with ESMTPS id 4Tr0YZ4ybyz9vKZP for ; Thu, 7 Mar 2024 01:00:18 -0600 (CST) Received: by mail-ej1-f70.google.com with SMTP id a640c23a62f3a-a3fb52f121eso36735366b.0 for ; Wed, 06 Mar 2024 23:00:18 -0800 (PST) From: Favonia To: "ProofTheory@lists.bath.ac.uk" , "univalent-mathematics@googlegroups.com" , Homotopy Type Theory , "types-announce@lists.seas.upenn.edu" , "haskell@haskell.org" , "caml-list@inria.fr" , "agda@lists.chalmers.se" , "coq-club@inria.fr" Subject: [Caml-list] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr) Thread-Topic: [Caml-list] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr) Thread-Index: AQHacF1DvYYKwGNoaU2VWbiV9xEYtQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 7 Mar 2024 06:59:39 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Favonia 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: 1735f989-cce5-446e-b51c-08dc3e746617 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a17:907:20d9:b0:a44:1b98:1829 with SMTP id qq25-20020a17090720d900b00a441b981829mr12533666ejb.57.1709794815960; Wed, 06 Mar 2024 23:00:15 -0800 (PST) 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-virus-scanned: amavisd-new at umn.edu x-ironport-av: E=Sophos;i="6.06,210,1705359600"; d="scan'208,217";a="81490162" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <056CA4071FC38A44B61B6DE26BCB45F8@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+DQo8ZGl2IGRpcj0ibHRyIj48c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6bW9ub3NwYWNlIj5U ZW50aCBXb3Jrc2hvcCBvbjxicj4NCk1BVEhFTUFUSUNBTExZIFNUUlVDVFVSRUQgRlVOQ1RJT05B TCBQUk9HUkFNTUlORzxicj4NCk1vbmRheSA4dGggSnVseSAyMDI0LCBUYWxsaW5uLCBFc3Rvbmlh PGJyPg0KQSBzYXRlbGxpdGUgd29ya3Nob3Agb2YgRlNDRCAyMDwvc3Bhbj4xOjU5PHNwYW4gc3R5 bGU9ImZvbnQtZmFtaWx5Om1vbm9zcGFjZSI+MjQ8YnI+DQo8YnI+DQo8YSBocmVmPSJodHRwczov L21zZnAtd29ya3Nob3AuZ2l0aHViLmlvL21zZnAyMDI0LyIgdGFyZ2V0PSJfYmxhbmsiPmh0dHBz Oi8vbXNmcC13b3Jrc2hvcC5naXRodWIuaW8vbXNmcDIwMjQvPC9hPjxicj4NCjxicj4NCiZuYnNw OyAqKiBEZWFkbGluZTogRnJpZGF5IDI2dGggQXByaWwgKGFic3RyYWN0KSwgVHVlc2RheSAzMHRo IEFwcmlsIChwYXBlcikgKio8YnI+DQo8YnI+DQpUaGUgdGVudGggd29ya3Nob3Agb24gTWF0aGVt YXRpY2FsbHkgU3RydWN0dXJlZCBGdW5jdGlvbmFsIFByb2dyYW1taW5nIGlzIGRldm90ZWQgdG8g dGhlIGRlcml2YXRpb24gb2YgZnVuY3Rpb25hbGl0eSBmcm9tIHN0cnVjdHVyZS4gSXQgaXMgYSBj ZWxlYnJhdGlvbiBvZiB0aGUgZGlyZWN0IGltcGFjdCBvZiBUaGVvcmV0aWNhbCBDb21wdXRlciBT Y2llbmNlIG9uIHByb2dyYW1zIGFzIHdlIHdyaXRlIHRoZW0gdG9kYXkuIE1vZGVybiBwcm9ncmFt bWluZw0KIGxhbmd1YWdlcywgYW5kIGluIHBhcnRpY3VsYXIgZnVuY3Rpb25hbCBsYW5ndWFnZXMs IHN1cHBvcnQgdGhlIGRpcmVjdCBleHByZXNzaW9uIG9mIG1hdGhlbWF0aWNhbCBzdHJ1Y3R1cmVz LCBlcXVpcHBpbmcgcHJvZ3JhbW1lcnMgd2l0aCB0b29scyBvZiByZW1hcmthYmxlIHBvd2VyIGFu ZCBhYnN0cmFjdGlvbi4gV2hlcmUgd291bGQgSGFza2VsbCBiZSB3aXRob3V0IG1vbmFkcz8gRnVu Y3Rpb25hbCByZWFjdGl2ZSBwcm9ncmFtbWluZyB3aXRob3V0DQogYXJyb3dzPyBDYWxsLWJ5LXB1 c2gtdmFsdWUgd2l0aG91dCBhZGp1bmN0aW9ucz8gVGhlIGxpc3QgZ29lcyBvbi4gVGhpcyB3b3Jr c2hvcCBpcyBhIGZvcnVtIGZvciByZXNlYXJjaGVycyB3aG8gc2VlayB0byByZWZsZWN0IG1hdGhl bWF0aWNhbCBwaGVub21lbmEgaW4gZGF0YSBhbmQgY29udHJvbC48YnI+DQo8YnI+DQpNU0ZQIDIw MjQgd2lsbCBiZSBoZWxkIG9uIE1vbmRheSA4dGggSnVseSAyMDI0IGluIFRhbGxpbm4sIEVzdG9u aWEgaW4gYWZmaWxpYXRpb24gd2l0aCBGU0NEICg8YSBocmVmPSJodHRwczovL2NvbXBvc2UuaW9j LmVlL2ljYWxwMjAyNC8iIHRhcmdldD0iX2JsYW5rIj5odHRwczovL2NvbXBvc2UuaW9jLmVlL2lj YWxwMjAyNC88L2E+KS4gUHJldmlvdXMgaW5zdGFuY2VzIGhhdmUgYmVlbiBoZWxkIGluIE11bmlj aCAod2l0aCBFVEFQUyAyMDIyKSwgdmlydHVhbGx5DQogKDIwMjApLCBpbiBPeGZvcmQgKHdpdGgg RkxPQyAyMDE4KSwgRWluZGhvdmVuICh3aXRoIEVUQVBTIDIwMTYpLCBHcmVub2JsZSAoRVRBUFMg MjAxNCksIFRhbGxpbm4gKHdpdGggRVRBUFMgMjAxMiksIEJhbHRpbW9yZSAod2l0aCBJQ0ZQIDIw MTApLCBSZXlramF2aWsgKHdpdGggSUNBTFAgMjAwOCksIGFuZCBLdXJlc3NhYXJlICh3aXRoIE1Q QyBhbmQgQU1BU1QgMjAwNikuPGJyPg0KPGJyPg0KSW1wb3J0YW50IERhdGVzOjxicj4NCj09PT09 PT09PT09PT09PT08YnI+DQo8YnI+DQombmJzcDsgJm5ic3A7IEFic3RyYWN0IGRlYWRsaW5lOiAm bmJzcDtGcmlkYXkgMjZ0aCBBcHJpbCAoQW9FKTxicj4NCiZuYnNwOyAmbmJzcDsgUGFwZXIgZGVh ZGxpbmU6ICZuYnNwOyAmbmJzcDsgVHVlc2RheSAzMHRoIEFwcmlsIChBb0UpPGJyPg0KJm5ic3A7 ICZuYnNwOyBOb3RpZmljYXRpb246ICZuYnNwOyAmbmJzcDsgJm5ic3A7IFR1ZXNkYXkgNHRoIEp1 bmUgKDE2OjAwIFVUQyk8YnI+DQombmJzcDsgJm5ic3A7IEZpbmFsIHZlcnNpb246ICZuYnNwOyAm bmJzcDsgJm5ic3A7VHVlc2RheSAyNXRoIEp1bmUgKEFvRSk8YnI+DQombmJzcDsgJm5ic3A7IFdv cmtzaG9wOiAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IE1vbmRheSA4dGggSnVs eTxicj4NCjxicj4NCkludml0ZWQgU3BlYWtlcnM6PGJyPg0KPT09PT09PT09PT09PT09PT08YnI+ DQo8YnI+DQombmJzcDsgJm5ic3A7IFRCQTxicj4NCjxicj4NClByb2dyYW1tZSBDb21taXR0ZWU6 PGJyPg0KPT09PT09PT09PT09PT09PT09PT08YnI+DQo8YnI+DQombmJzcDsgJm5ic3A7IEthenV5 dWtpIEFzYWRhICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7LSBUb2hv a3UgVW5pdmVyc2l0eSwgSlA8YnI+DQombmJzcDsgJm5ic3A7IFJvYmVydCBBdGtleSAmbmJzcDsg Jm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDstIFVuaXZlcnNpdHkgb2Yg U3RyYXRoY2x5ZGUsIFVLPGJyPg0KJm5ic3A7ICZuYnNwOyBBbmEgQm92ZSAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOy0gQ2hhbG1l cnMgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBTRTxicj4NCiZuYnNwOyAmbmJzcDsgTGlhbmct VGluZyBDaGVuICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgLSBBY2FkZW1pYSBT aW5pY2EsIFRXPGJyPg0KJm5ic3A7ICZuYnNwOyBQZW5nIEZ1ICZuYnNwOyAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IC0gVW5pdmVyc2l0eSBv ZiBTb3V0aCBDYXJvbGluYSwgVVM8YnI+DQombmJzcDsgJm5ic3A7IEplcmVteSBHaWJib25zICZu YnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7LSBVbml2ZXJzaXR5IG9mIE94 Zm9yZCwgVUsgKGNvLWNoYWlyKTxicj4NCiZuYnNwOyAmbmJzcDsgS3Vlbi1CYW5nIEhvdSAoRmF2 b25pYSkgJm5ic3A7IC0gVW5pdmVyc2l0eSBvZiBNaW5uZXNvdGEsIFVLIChjby1jaGFpcik8YnI+ DQombmJzcDsgJm5ic3A7IFJvYmluIEthYXJzZ2FhcmQgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i c3A7ICZuYnNwOy0gVW5pdmVyc2l0eSBvZiBTb3V0aGVybiBEZW5tYXJrLCBESzxicj4NCiZuYnNw OyAmbmJzcDsgUGF1bCBCbGFpbiBMZXZ5ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJz cDsgLSBVbml2ZXJzaXR5IG9mIEJpcm1pbmdoYW0sIFVLPGJyPg0KJm5ic3A7ICZuYnNwOyBEYW4g TWFyc2RlbiAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsg LSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0sIFVLPGJyPg0KJm5ic3A7ICZuYnNwOyBEeWxhbiBN Y0Rlcm1vdHQgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAtIFJleWtqYXZpayBV bml2ZXJzaXR5LCBJUzxicj4NCjxicj4NCihtb3JlIHRvIGZvbGxvdyk8YnI+DQo8YnI+DQpTdWJt aXNzaW9uOjxicj4NCj09PT09PT09PT09PGJyPg0KPGJyPg0KU3VibWlzc2lvbnMgYXJlIHdlbGNv bWVkIG9uLCBidXQgYnkgbm8gbWVhbnMgcmVzdHJpY3RlZCB0bywgdG9waWNzPGJyPg0Kc3VjaCBh czo8YnI+DQo8YnI+DQombmJzcDsgJm5ic3A7IHN0cnVjdHVyZWQgZWZmZWN0ZnVsIGNvbXB1dGF0 aW9uPGJyPg0KJm5ic3A7ICZuYnNwOyBzdHJ1Y3R1cmVkIHJlY3Vyc2lvbjxicj4NCiZuYnNwOyAm bmJzcDsgc3RydWN0dXJlZCBjb3JlY3Vyc2lvbjxicj4NCiZuYnNwOyAmbmJzcDsgc3RydWN0dXJl ZCB0cmVlIGFuZCBncmFwaCBvcGVyYXRpb25zPGJyPg0KJm5ic3A7ICZuYnNwOyBzdHJ1Y3R1cmVk IHN5bnRheCB3aXRoIHZhcmlhYmxlIGJpbmRpbmc8YnI+DQombmJzcDsgJm5ic3A7IHN0cnVjdHVy ZWQgZGF0YXR5cGUtZ2VuZXJpY2l0eTxicj4NCiZuYnNwOyAmbmJzcDsgc3RydWN0dXJlZCBzZWFy Y2g8YnI+DQombmJzcDsgJm5ic3A7IHN0cnVjdHVyZWQgcmVwcmVzZW50YXRpb25zIG9mIGZ1bmN0 aW9uczxicj4NCiZuYnNwOyAmbmJzcDsgc3RydWN0dXJlZCBxdWFudHVtIGNvbXB1dGF0aW9uPGJy Pg0KJm5ic3A7ICZuYnNwOyBzdHJ1Y3R1cmUgZGlyZWN0ZWQgb3B0aW1pemF0aW9uczxicj4NCiZu YnNwOyAmbmJzcDsgc3RydWN0dXJlZCB0eXBlczxicj4NCiZuYnNwOyAmbmJzcDsgc3RydWN0dXJl IGRlcml2ZWQgZnJvbSBwcm9ncmFtcyBhbmQgZGF0YTxicj4NCjxicj4NClBsZWFzZSBjb250YWN0 IHRoZSBwcm9ncmFtbWUgY2hhaXJzIEZhdm9uaWEgKDxhIGhyZWY9Im1haWx0bzprYmhAdW1uLmVk dSIgdGFyZ2V0PSJfYmxhbmsiPmtiaEB1bW4uZWR1PC9hPikgYW5kIEplcmVteSBHaWJib25zICg8 YSBocmVmPSJtYWlsdG86amVyZW15LmdpYmJvbnNAY3Mub3guYWMudWsiIHRhcmdldD0iX2JsYW5r Ij5qZXJlbXkuZ2liYm9uc0Bjcy5veC5hYy51azwvYT4pIGlmIHlvdSBoYXZlIGFueSBxdWVzdGlv bnMgYWJvdXQgdGhlIHNjb3BlDQogb2YgdGhlIHdvcmtzaG9wLjxicj4NCjxicj4NCldlIGFjY2Vw dCB0d28gY2F0ZWdvcmllcyBvZiBzdWJtaXNzaW9uOiBmdWxsIHBhcGVycyBvZiBhdCBtb3N0IDE1 IHBhZ2VzIHRoYXQgd2lsbCBhcHBlYXIgaW4gdGhlIHByb2NlZWRpbmdzIChwdWJsaXNoZWQgd2l0 aCBFUFRDUykgYW5kIGV4dGVuZGVkIGFic3RyYWN0cyBvZiBhdCBtb3N0IHR3byBwYWdlcywgd2hp Y2ggd2Ugd2lsbCBwb3N0IG9uIHRoZSB3ZWJzaXRlIGJ1dCBkbyBub3QgY29uc3RpdHV0ZSBmb3Jt YWwgcHVibGljYXRpb25zIGFuZCB3aWxsDQogbm90IGFwcGVhciBpbiB0aGUgcHJvY2VlZGluZ3Mu IEEgc2hvcnQgYWJzdHJhY3Qgc2hvdWxkIGJlIHN1Ym1pdHRlZCBieSBmb3VyIGRheXMgaW4gYWR2 YW5jZSBvZiB0aGUgcGFwZXIgZGVhZGxpbmUgKGZvciBib3RoIGZ1bGwgcGFwZXIgYW5kIGV4dGVu ZGVkIGFic3RyYWN0IHN1Ym1pc3Npb25zKS4gRm9yIGZ1bGwgZGV0YWlscywgc2VlIHRoZSB3ZWJw YWdlLjxicj4NCjxicj4NCldlIGFyZSB1c2luZyBFYXN5Q2hhaXIgdG8gbWFuYWdlIHN1Ym1pc3Np b25zOjxicj4NCjxicj4NCiZuYnNwOyAmbmJzcDsgPGEgaHJlZj0iaHR0cHM6Ly9lYXN5Y2hhaXIu b3JnL2NvbmZlcmVuY2VzLz9jb25mPW1zZnAyMDI0IiB0YXJnZXQ9Il9ibGFuayI+aHR0cHM6Ly9l YXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPW1zZnAyMDI0PC9hPjwvc3Bhbj48L2Rpdj4N CjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K