From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE, URIBL_BLACK autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 9944 invoked from network); 21 Dec 2023 15:01:59 -0000 Received: from mail-wr1-x440.google.com (2a00:1450:4864:20::440) by inbox.vuxu.org with ESMTPUTF8; 21 Dec 2023 15:01:59 -0000 Received: by mail-wr1-x440.google.com with SMTP id ffacd0b85a97d-3368698f0casf552670f8f.1 for ; Thu, 21 Dec 2023 07:01:59 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1703170918; cv=pass; d=google.com; s=arc-20160816; b=l/7SOcf2dvrQfk+xU0t1vgHPxXJKAxnPBkJXUOnuwGRgtTjR+iEfXJ5vQVeBD+FvM4 mhgCeWJpM9RvvGkJGKVE6XKFQJULJL37MKsOiOYmk0FHMKq4LklFrjN7CHs0fst73Iup 1A4ssQVFsavz+CD30Yd/3mgPkHc5t4N2S2PpmAm25oMAAggnlWa4lrgtoBRzZsWcPb4C EJOIZeRrHYZjh1ZhDTIvLWn61pTfhQeprFhNatnrHvh02r4A38pchzRNOruNn9kirPXf SDOt8MUCKpty3I0l6wGq2jT5OvGjEp6aKVhv19iONQvQSkj4xubo4d7sgefdAH2FWOVj kP7g== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:mime-version:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=x3ExcWcHEGNXOK9Bl6Vxs//2lm2rCAaD0Eah9qAK8xc=; fh=WNsoIateNvM/1nTg7aV2CMF5uwDsv0hkqIhl/HBJsHg=; b=J1jXRvj5xt4QaSsqdfPFR1U4jStggUFIVQOqb8h5lC+GKz6OW4SEQekEMrMy4GUcAl 2NH6W4etSBP/gfVB6qIbe1wBz4950TMZm4QLXXxITWuZdhNVvsDEEGgWNv1Ff+AUxEO0 aOEt0OzztS8SYhLign1yJNCgbfHxkttlLHj4Ip84EzA2mOStOJhFuJJrQ8KDMRMtqlw2 Yjak5peZf3BtikOF3oXNOxoleCRGy2W6oCN9kXzqZTujaYUlVz6xcN3JYtOGPXJrWZOC ek0iMx0OTU3oLnClZEFsEeQU+WGbpfkAdrl9gOK3wjJEURBwWCobBkUvRJ7N4Mx+YGHe QRzg== ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1703170918; x=1703775718; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:from:to:cc:subject:date:message-id:reply-to; bh=x3ExcWcHEGNXOK9Bl6Vxs//2lm2rCAaD0Eah9qAK8xc=; b=DgU0cxJi3KX4JV0MKgeKy7aQQB4qkC1mO9r6bU/SVUxPVXwaZ60Q21R9tZhT+EKU3t 1BlJGbEHZDtBDCkcG5Hx3SzjzuHrz5A5VEFha7eow1ZSOmhb8Z3hxKEJSQOtiziKndtu cBvRqLsKlffMwNCIfPFMl9zXEDeVttMcY6yPc+gJ0bdhdwwHh6ISg1g90gAWxbJaK+iX FSTkNYMDaGP3ogbGmE2iA8O7AEwS8rkxI8tzFbwNAVUn/6IaU1Vnfv3l8nFpj4jkfSgG DAfd7GrEh3GQG1lEyvtviHcFJYDkVHJP2VK1K3qcJTED25j3QnVDujF3gu1bk4z742nf MEPQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703170918; x=1703775718; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :content-id:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:x-beenthere :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=x3ExcWcHEGNXOK9Bl6Vxs//2lm2rCAaD0Eah9qAK8xc=; b=RPgRY6t2pUXtWGo5zXVtOIjdU8l+yDNrwhLMI4z8KmXpffV90Gc4G9i10v0EkjMmdl 8RVRWA/ll87Uk/lhsq8o85+L/ZNP+IAFPHYVDM6fOJcTPRuAST/c82EGcSvUgf8xff0A NxpOeWyup9j3CKSmQeuTKF4Zoywl+xqS0LFepic8ECISiJCjY7uBs8T5+4y13/gqgMqX 4yAeIjWFz4RWqFxUWyk1Ihh4HIaxcJnDyEFTEuPU+E0HyWJUfKx+BEIlsLqwU/PkQLUi vWt6Lmdd7fuLJqukIhKBykHm0c+mJKU2Z/hREdSucOHCIHTIEG680V3c+AvvEgCPcqH+ dFcA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YxWER4nruj44/vBjRc7abPtR/q7I0O0oQKu/terQ1XPdaFsPuKE Eq7RyhT3tsHex13mRLxVkPI= X-Google-Smtp-Source: AGHT+IF+ONLBsCg46Xq7nzzu25z5YN/xJm6uIDd2uSzTq4JgSI5nKM8htxHGAro48PqJBlRA4u6jJQ== X-Received: by 2002:a05:600c:a01b:b0:40d:382b:cc2b with SMTP id jg27-20020a05600ca01b00b0040d382bcc2bmr391038wmb.326.1703170918397; Thu, 21 Dec 2023 07:01:58 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:510b:b0:40c:26cc:3705 with SMTP id o11-20020a05600c510b00b0040c26cc3705ls544218wms.2.-pod-prod-08-eu; Thu, 21 Dec 2023 07:01:55 -0800 (PST) X-Received: by 2002:a05:600c:21d1:b0:40c:3133:6f02 with SMTP id x17-20020a05600c21d100b0040c31336f02mr454494wmj.342.1703170915419; Thu, 21 Dec 2023 07:01:55 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1703170915; cv=pass; d=google.com; s=arc-20160816; b=uYK1XvQAR7rBaTNZYNKb1yfdyIZSfht03dVRPe2z52ebM5Sep14yGcQQNuyPjccpqS X1P8wuen2tHEFPTXo6ELS0BKvuX5j5FXcmOciqXWo8cz1n3JrF4azQMu3JTf9FPolcsx yLHphcMi639pVNj5l8ixOe6IBMRKzkr8s8JPXhkXa+X8zsqhlxRx6c1hM1Tbd5YHw5zE 0QT2Gz10lBp3k3p/Y0kezopWvrf+oQdFVR7+W9eXvlIKKhVMHO3qVnqiGAHpEiB2tRLD 0pp+lcsvKTpXT0qBbdIxmsFYvEDLBlOGZWlzkyHPBZJcfCH1tr9fB0b6jHYUtTJK1M0x OA3w== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from; bh=sz1nlFrYfgKlwJBsT+LJkg/e8wjfZfvTlVQ6oMrAGKQ=; fh=WNsoIateNvM/1nTg7aV2CMF5uwDsv0hkqIhl/HBJsHg=; b=MXThIODSfyplBgu8PoosFNN4R8BPY7Mb6IFw757e8qfes5TUSMMK0tZnKdZh7ID5jj XtTyv2K6ZZe0Mxp85GdZPLlxGdWsp7cyPDDOQ+MkaCx/S75/nqBtvNJj/nrDSztQAuiq AG7e+t2xYLPJnQfTzFcJn7G8cvkVkqGI4Df3gEjHN6JnkF+jQK0jKlyjouwDZ5rOAnTY UFhIJgh+ozGV89cBg7HiQTd+4hBoZeiJAlQ+4naZ6Pl7nY8rwHIj2P8aiy3APKR1tWJE UTLnBKVATyQEQro+v44iF777/mPptOXHuJ6himIWPfRkBT2q7Xt8IGHajMcUHJpP/LiH TgoA== ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from relay19.mail.ox.ac.uk (relay19.mail.ox.ac.uk. [129.67.1.170]) by gmr-mx.google.com with ESMTPS id i15-20020a05600c354f00b0040d381feaebsi79695wmq.1.2023.12.21.07.01.55 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 21 Dec 2023 07:01:55 -0800 (PST) Received-SPF: pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.170 as permitted sender) client-ip=129.67.1.170; Received: from ex2016-01.nexus.ox.ac.uk ([163.1.154.141] helo=Ex2016-01.ad.oak.ox.ac.uk) by relay19.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.92) (envelope-from ) id 1rGKYb-0003xk-AJ; Thu, 21 Dec 2023 15:01:53 +0000 Received: from Ex2016-05.ad.oak.ox.ac.uk (2002:a301:9a91::a301:9a91) by Ex2016-01.ad.oak.ox.ac.uk (2002:a301:9a8d::a301:9a8d) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7; Thu, 21 Dec 2023 15:01:50 +0000 Received: from GBR01-CWX-obe.outbound.protection.outlook.com (104.47.85.41) by Ex2016-05.ad.oak.ox.ac.uk (163.1.154.145) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7 via Frontend Transport; Thu, 21 Dec 2023 15:01:51 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Vx7O2EAgHZ4b7kMyUFnM5DT7qjuBwjX2G+qsb8+lVGksrNC1ZSUbvlpZLJ5ilMMQ4hJe8Ufh7U85WUAFtM9WmbPICya4aY9pQLCKi0cmufSfzy65X73LyiYB65tB2S56iW+R5wK9+3AZqK+AqcZcKBD3KF0QPbBZsvTR8ERMEYYlzyTSHrj+w5BecXRFbxnEgjrU6Zo9vV+Sw6eNE7DZRp4ta7qvo+6XW8mBLKyhqksMoKgivF8JXyUb43TQyRQOquuduSXgV/0N34xugZMKCBilmsqA7uxEdd/klpa30XP+ZNaE+IZ9MAxbvXO3sfmzuuiggYpNZLkUHpLO3Imiqw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=sz1nlFrYfgKlwJBsT+LJkg/e8wjfZfvTlVQ6oMrAGKQ=; b=dHObFBZC3Bgu5Tu+nKJKxbGDkYM7wZAQ2NqHZqNpvf3Bfs06QTq9tP72SFb+jDxUbqp4xWoI3Y1K7i0m5ws933kVVOiz4xg2esBJz9/qg+lcWCNdTgpO+mFvFTjmwNOR0JSiAjWRtgBbx8adoaZqip2DmjvzzxPGW1rQ7fMjz+vGBL7qjgN0CqWyXe/4Yq0hhSqv/iXa3mFIi6fGwdF449hTtjot7NGN3y0wL2dZ503xs2Qc+gLPzuEJ70KRD1JNdPCPfK5HF32H/3xi361yYYmns+m7V32+LgH0/xAJfGNkoYVwMuhLIrotcN2dF0vMRWSGfO8RfOE+dxF69UPWeg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1ed::10) by LO6P265MB6157.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2b9::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.20; Thu, 21 Dec 2023 15:01:50 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::70dc:d28a:fa40:401c]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::70dc:d28a:fa40:401c%7]) with mapi id 15.20.7113.019; Thu, 21 Dec 2023 15:01:50 +0000 From: Sam Staton To: "concurrency@listserver.tue.nl" , "DMANET@zpr.uni-koeln.de" , "prog-lang@diku.dk" , "linear@cs.stanford.edu" , "homotopytypetheory@googlegroups.com" Subject: [HoTT] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers Thread-Topic: Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers Thread-Index: AQHaNB6gsU4LG0Vce0OhXxUBXuHEQg== Date: Thu, 21 Dec 2023 15:01:50 +0000 Message-ID: <97BA9429-44E1-4E3E-8157-C2F4B1473F19@cs.ox.ac.uk> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3696.120.41.1.4) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB4182:EE_|LO6P265MB6157:EE_ x-ms-office365-filtering-correlation-id: 27b33594-87a0-411c-a743-08dc0235c2ad x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: GxBybDuT8miyftcN143lkk1CNfHKYiib7otToRtfu6+efXrQsoJ1zbxTEwshl78ZWAUSp5ailBMPhCKsbw5DfDa22CtAQP9mxACgazijW4dotllDjhreiKNmqu4bUwD+PBa5LcaiaRna1SWlXuSTuySqihDbtfdXEgEy652ALO0xNNKOcCb449Diyi4xIGm+NX/+uG5EesKcVLKmMJ21FD/uQnGsAy+0jh7wQuquMGw4osve5gwiy43StzvOO95T16YRPSi5UMi/AnWpew+ys5cWP2qTcrzvmihKc+4JCD40gbDWFCCGgci3XafGUudO38+kGK/6R9KrcQmuVjCCiBFRTDZ0rXm55MHcmYgum+wnAL9mSpch7IIh6XDyF6oj+uJ/d/XspnSwcQmlBgRaSrEPVobZdHQufVoySs8/sewjBY/NsmGVPSDfMqKlqBfQlbjmQeyNvw7OlmaJT1nWuKlScaBMiCumPh4GRFvuKnrHZWG7JPvVHT8sDPl57XJnJen65AvKepzBQ2Zo42Xk/UUAEf8WzuQ06laNobgra2A0t1n8PSlcJxvODEX4NsP17ZyPHlPeYTODvzqRWvBpQ37W9ZuVYfCdZ1DdwvoIu75TaM5B8ZOO0U2Jw0Ntm3GwzTCSc/R8PLqKXmVXMseKRQQiw9WprLu9CQwBlExiH5o= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(376002)(396003)(366004)(136003)(346002)(39860400002)(230922051799003)(451199024)(64100799003)(1800799012)(186009)(5660300002)(4744005)(2906002)(44832011)(86362001)(122000001)(41300700001)(38100700002)(66556008)(110136005)(66946007)(33656002)(64756008)(66446008)(66476007)(2616005)(76116006)(26005)(786003)(316002)(71200400001)(6512007)(6506007)(6486002)(478600001)(966005)(8936002)(38070700009)(8676002)(225293002)(45980500001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?YdJoELNmIFqwJgXqV5LPCw35mlCS5uPKoFmutEz4Cm2cbxgaaeBLIT/ZqlDl?= =?us-ascii?Q?7qru38e7eX3ApD6rpNNDo2AK/yC10jj7BGZZc4SpEiW2FNUX45kvXxQyGu4k?= =?us-ascii?Q?p3mB3MDHm2LaHmD2B2vpyRCEmc5rPH2YUKeHSbH820OzOYv/7IoyQRC+SrAL?= =?us-ascii?Q?JedCa5u2P1r/c4ZP5vZLgyqNHDXhM/Nf3Xv9zne4yRbvcIMPFkxU9jZsMiyH?= =?us-ascii?Q?tKfuITiL9YxGohsqgzcqTDgiVJGI472LBSRa1j0TXT+1+c506aphkarAoDco?= =?us-ascii?Q?e/bT5QkofkSDQsMMst8rQb8J1gkT0wEUBtYSySsrOyvQwOmICNv3niu8NOy6?= =?us-ascii?Q?DoBTromRZOJJNDaXSFe8V6vmPgP+Xwqpe8wrugOa+it1rAeHibifdcWBdssE?= =?us-ascii?Q?aQQv2I0rUC8vvfadpIzZcFvg2JNP8K+j8V4k96NYThkLqSb35jqVIfJG3c3M?= =?us-ascii?Q?bjXvoN3FQz/0HpsdaoNGaHfbSgR9o2F4e4188WDs+ZvSoOfFjBuX09zJa9Hw?= =?us-ascii?Q?gHrmLMgsTNXFe866Nhjab1hnZggrcSwD0A2bguLptT8HnqdjqIUef4nU4+pJ?= =?us-ascii?Q?l0iXpVNv5XJXIhajPTT96/Fkyw0fYm1f8to3C3kUsYa4bN6ioIqv4OyBA2dL?= =?us-ascii?Q?VfTsO0hDl3sXY8Y/OUX10XkCv0HJJtWqAexisWOuukRdN5xe7/HuWbnxtyzM?= =?us-ascii?Q?TnGoNU+NrqquKMO8MtkLwHdStjOOOt6OZ6MGyIY6jv8gxHQjVGnPuBrmCOp6?= =?us-ascii?Q?TyM7jUanEbR5wlZxy7i4sZlQwSKAv6JMh/Au7edMhRTg3gJoGYrhgYKkYPsC?= =?us-ascii?Q?e9XoYFr9UJh2uxKAfarGdDB8ZBtvdSF2wAgvlpQG1NSxKzbXeOK/wcRiLpDA?= =?us-ascii?Q?YOCLAQPOax8t8W1R+v8iQKH0eNNiHafKC+wIQriDLmyLHfI3GI3PShHz3jgK?= =?us-ascii?Q?ML+XwPO/SebZob6bOvm/ebdSO+sEKhP3/BLtREEnqqVIogDFqntcPgCjuLS4?= =?us-ascii?Q?jR+Pr85BCBqYiuRe0wN63EUXArP7fe3d2YhG1KzgH3fA48g4IvnWasfhx7Gv?= =?us-ascii?Q?J2YOPKxqR3vbF/ta6noNB7o0nwvHBSuapIAPsN5FI76rJRPwvGVXHQ9bH8ri?= =?us-ascii?Q?LGWXSUQ3rAtdvbB+KhI7leCXCZ8w65/aw4v70tF+B3uNKQaGt2G3IFUygtsz?= =?us-ascii?Q?+b/SytkoVYaAyIva6RKmEKnZBrVZYw3dRigwMv8B8QGdbAW8On6HPYH6UrYG?= =?us-ascii?Q?VpdlJs5vhpN/lzTe5g/iLQUUbgu4Nbm5K2jZBhU4QMmp1e+K+U95FJbQtEDD?= =?us-ascii?Q?CJX0TEv4LI3xUoZ+nJVGhfBmGJvRDaCGLJDHFdJKBV/nYRvzDQElyr0TaZFd?= =?us-ascii?Q?F5SQX1JQYOIpNg173GsujZMK4RSzpTIb7wMzFnQEaJieMvGIwTsqPflaSGMP?= =?us-ascii?Q?Dg8DMTcKCdP8Iy1bk25atVhgYgaYi1JnEUHd173kPegLoY1ymPBrM93QX5e8?= =?us-ascii?Q?JZ8oM2DSJjiK612TzK7uq3mIx+JxdozZLzMBIvNb/0WpkJ5BbvjUQdINTwEo?= =?us-ascii?Q?mmng0qNXODbga8J4IR+8+MWO/bozRZBCjFHHYa8+?= Content-Type: text/plain; charset="UTF-8" Content-ID: <4725152A81582C4EB43AD261F9A2B2F5@GBRP265.PROD.OUTLOOK.COM> MIME-Version: 1.0 X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 27b33594-87a0-411c-a743-08dc0235c2ad X-MS-Exchange-CrossTenant-originalarrivaltime: 21 Dec 2023 15:01:50.2141 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: cc95de1b-97f5-4f93-b4ba-fe68b852cf91 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: ujgG5fRJz0mNZx/gwX70qrbiFrwUt9Fq7n96TeDnmVBqXUnWagbO9EDd4T2dqW9LjyQ8I5/4oqsEVHQCHU7n4A== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO6P265MB6157 X-OriginatorOrg: cs.ox.ac.uk X-Original-Sender: sam.staton@cs.ox.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , 7th International Conference on Applied Category Theory (ACT 2024) 40th Conference on Mathematical Foundations of Programming Semantics (MFPS) 17 - 21 June 2024 Oxford, UK https://oxford24.github.io/ Preceeded by the Adjoint School 10 - 14 June 2024 https://adjointschool.com/ Conference submission deadline 29 March 2024. (Adjoint School application deadline 31 December 2023.) Programme Chairs: David Jaz Myers, Michael Johnson (ACT) Valeria de Paiva, Alex Simpson (MFPS) Local organization: Sam Staton (Oxford) and others -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/97BA9429-44E1-4E3E-8157-C2F4B1473F19%40cs.ox.ac.uk.