From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE,URIBL_SBL_A autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-lf1-x13f.google.com (mail-lf1-x13f.google.com [IPv6:2a00:1450:4864:20::13f]) by inbox.vuxu.org (Postfix) with ESMTP id C32A324B40 for ; Sun, 11 Feb 2024 18:00:49 +0100 (CET) Received: by mail-lf1-x13f.google.com with SMTP id 2adb3069b0e04-5114b8bac8fsf2526452e87.0 for ; Sun, 11 Feb 2024 09:00:49 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1707670848; cv=pass; d=google.com; s=arc-20160816; b=PxELsYwRI50pZ4HwUjQM3Hat/o5WWI8j6ujiKz0LePf6loSN3R1h9qC/sesZn41ZgR AcKukf2a1epp12X6k8LgR1kx3z2dtPz0IF9A5QgjcOdBU0I2meHgfqlI5PmoTo7A7mSa nZphWFpgT8LlJSl0QdadZvZo2Co9Ay/2HZ6PzsmhOiJC6x0ixYl/JevffkOPTPA7ezRX 4AwtxDxtFNPH8zV4FMp5bVSjgQ/+0kGw+02Dnl40UtHyP0RgL1Q84DHBopzEnwLRQkG2 ZjR/mFCzv0JAC4lopi6eikPymFzi+4VswCsAuTUlfmUQOIP1FzrsdBvkrlnRCzavmE4I vE9A== 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:reply-to:mime-version:content-id :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:dkim-signature; bh=X1rmWPhlV++vCiPPmiuS6q6HUHFT7Ne5zIYbbbKJzHY=; fh=3Ym9f7wuISLb1x3fB7UFAuBdmVezHj32enpHypcmrC0=; b=s/0GIHMINqQ0Pt6RIfe4iakqsDsIAEiL7HZbCqoresWs56KPIHHQLbaZZ6YfAN2Muw MC7N652Pbmnn7CMs50tut488B5TtnQsw3YWf5cUDJyBC1ed61s0Yo6SVCohKNoiFBd9t KQoQ+nXTJ8oQ5NTQeFQYl/3LaQS4Zy8Qp34L6D6jzf5jT95i0jRgYSHYUA8xrLk1vq+M mh4EW9bsq1ZeYQyEvueHRG9FbIenhtkd40XFRCoKHs3YPiRa+B7dYsc6+rA0Zwp0CUIe R6ZclW6krp0wWZzVh8IImEcRzaRcue6hI6516FVsMG4ZrD1CjdQOzF428BnfSAexQgQe ZeTg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@ox.ac.uk header.s=flood header.b=dnftgn0S; 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.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=ox.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1707670848; x=1708275648; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:reply-to: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:from:to:cc:subject:date:message-id:reply-to; bh=X1rmWPhlV++vCiPPmiuS6q6HUHFT7Ne5zIYbbbKJzHY=; b=UdjgJURkaLCJ844b+ej9O4h1f3sP9+xzVJxcqXVBHmF7uUM97qbrLcYK63YgID3QeY 8QBixcbfIye+8T+Sc0h9P1JsheRpC70CvSruTbqW8SgzxdAD3msRWcwcSXM2pQglJ1g4 Od9BoGc2Bqv2qyKYniHthdwmZXDLFnxpT/XXsr12lUSIHIwo3pLIux6Og7yRbJWU34PW BzULYlH/IADKLJNZV4wS3Y5wpLwaIYjFPae6OZ4Vs6/Veu9uEs0mUaJSqTpyXzz/jJZh WGVRCkAnNA+2kQmlCOrLnrGo1wF9iro7aj9iWmw4bCiKhbXgl43B90VMTxIQo1+TDbt4 u+8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707670848; x=1708275648; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence:reply-to :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:from:to:cc:subject:date:message-id:reply-to; bh=X1rmWPhlV++vCiPPmiuS6q6HUHFT7Ne5zIYbbbKJzHY=; b=Ekv+sRt2eYyYjWBxN+9cZYuYb+fMt2avz/3ueihAyI23glGzCSKuwLAcXUsIDQtN/U 0+WX9f82alcMCIfIiD59C0XHghCepYB21d6dpmivD0J/ut5HiewSdMQlkG13+4pQ3syv NeHaiPIr5NJ7xPAwmHsBcai1tJtdbiu7ddj8F0I5y02kXjzJV5uNDGb1SfIWiN1dpyyG sRA/MjQpa5EIhUm/MACz4djq+NQxJ1gke+e1BDqj6sm2ipGM9hgBqMqTFZXceAd69BA9 EwZlVgJYfRO1yE92tZ8+r06pNh4rSpgLuSY+VJX6+xACU+NS1/UmzS8XBYEsrh2VH0P0 jKlQ== X-Gm-Message-State: AOJu0YyaC+G2bZUzSXexyKBfzxdSvufgJ62GRj2z2kWD1s4e5/CAyocH nhpxJazx6DNamd1zUs0Ki9lOieOj4iNdM+uXSySu8Pjad+52nfis X-Google-Smtp-Source: AGHT+IGODxK4R5pdnsNZYnv9DHBqS/fhHmhg1wwaZ9CHMvEOX2I1UlWIgLoAIX+5IiGGDNJwPpjV0A== X-Received: by 2002:a05:6512:3196:b0:511:54a8:3adb with SMTP id i22-20020a056512319600b0051154a83adbmr4023762lfe.2.1707670846835; Sun, 11 Feb 2024 09:00:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:238f:b0:511:4dd2:844e with SMTP id c15-20020a056512238f00b005114dd2844els1085027lfv.0.-pod-prod-01-eu; Sun, 11 Feb 2024 09:00:44 -0800 (PST) X-Received: by 2002:a05:6512:104c:b0:511:6f13:1a79 with SMTP id c12-20020a056512104c00b005116f131a79mr4015304lfb.37.1707670843726; Sun, 11 Feb 2024 09:00:43 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1707670843; cv=pass; d=google.com; s=arc-20160816; b=ouKmeyYuilXokE7WIuK1wauzfyZse0h67axRkOu8qWoonBbRJCnyqvLsvH2YV1URiK TCVxBpNWtkTG6UlnpcVoUYJl/6LuoDupwhIa7uHitVBIgZVbRC5L0WJ9r3gVpD7manAo 6CSDAYMgcRGbBxhJauBvAgDSr2m9IKK2v3vkyswk8UcGIWxG2cj9j+89XNuhE3pp9eDi /NdqqylGLiQvtyzbUFLyuPyDX6RiA7hN7+tEv3J8bKOjsd1SslSeK/TEB94KEu1/d5A6 aZCSAecctnt2tamuKkQ18LyRyjcrHrGvc21DHn0F1B5jUh7gWFzvVVA16YDnTHKWLF2z yxqg== 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:dkim-signature; bh=+ibKOx3ZR7VVjAO3WmcE7cRn3WMEpcTxG4Og0rlNB5k=; fh=3Ym9f7wuISLb1x3fB7UFAuBdmVezHj32enpHypcmrC0=; b=cYW66xw8FUJ7/HbwCbeMxQ0ry6JpsVZIYZ5phYxezseBoazN+pOaLgZrjc6+1aDQZB lyYto/QwSEivLh6lxNNCxfSusB+/72c7pzEMGaNh35KnWjG+3mz99xQM0WxAmAllapVZ nbHExlIgjfxKv5R7AgcK0fmpxkEnSEqlX/pWMEei6aS2Kws7+rBK55dkH2DbwHmbyVZc ZiNwPx71imCSgKW2dg4/FX3U/fo9UP8Zb8LcXQHxj0zV2jlcEtyKn39QQ/e4Cf3cS/m5 VASNAQ6mRu7MTV2YmbjnJwgGRthKUI9ixjGDs7Cpf1LElcL0JptcUoVSMx+GF7NYLpEy LWtQ==; dara=google.com ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@ox.ac.uk header.s=flood header.b=dnftgn0S; 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.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=ox.ac.uk Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk. [129.67.1.165]) by gmr-mx.google.com with ESMTPS id g32-20020a0565123ba000b00511539e222esi224804lfv.5.2024.02.11.09.00.43 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 11 Feb 2024 09:00:43 -0800 (PST) Received-SPF: pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.165 as permitted sender) client-ip=129.67.1.165; Received: from ex2016-06.nexus.ox.ac.uk ([163.1.154.146] helo=Ex2016-06.ad.oak.ox.ac.uk) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.92) (envelope-from ) id 1rZDC6-00027t-68 for homotopytypetheory@googlegroups.com; Sun, 11 Feb 2024 17:00:42 +0000 Received: from ex2016-06.ad.oak.ox.ac.uk (2002:a301:9a92::a301:9a92) by Ex2016-06.ad.oak.ox.ac.uk (2002:a301:9a92::a301:9a92) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7; Sun, 11 Feb 2024 17:00:42 +0000 Received: from GBR01-LO4-obe.outbound.protection.outlook.com (104.47.85.104) by ex2016-06.ad.oak.ox.ac.uk (163.1.154.146) 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; Sun, 11 Feb 2024 17:00:42 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=lgv/aOlmIj+dGgVGEJMcjFDMLefU5ce36wmRyJgNN6N/iEz3l4dh2Wdv7QU8gAtrT9uBbNpnBMlYCz0mwIzCQwC1QL4X6MIztXeqnIQKK65a3Uhwx4z9JDz2yTbZ0jM37QJdoOjh02WCl0jqyzv9CZLRe6dwoF3BLvVvt3EfNYx9Xo+4GCFLI5yI7TM8msaTkU+fxW2U6yP2ka4xFmpXQVuvlbfJkJIqjC/JU+sXqz+LP7afmM0Y5rI7em8h/kl7GhmSnEfjmb8Z/IEUZNNYfU3Ep2bNbvQax7o3WMXLOFh3vbNqmthX4gmZH/uKLwNvh5Cbw3+awgaroUdMLCeewA== 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=+ibKOx3ZR7VVjAO3WmcE7cRn3WMEpcTxG4Og0rlNB5k=; b=PHzPdNLlI6bgs3rKdkPA8R7QiHe4q7B8xIT+cd1s82yZFNtE2TqbQZVGaWPtjz13Yxa46gebhFC/WUQsf7IPl7umhvaJ5U00UVEdgCI/pD37ovllIRUrZh54+feSKEW8gE85NvoVHHC5JHrIBuh3GELBXuOuD7JrJ9n04dT5iD2YfQzTdIHzRwf4AfZI8vYCTu3LITU20qhYh1MPvnu/Eydb6Qf4fl+T+o7j9Ks77GUg5bJZqy+og4hlmTK7AK0R/f500VMNLx30r0YclzCddDFyBxhV8hE8cKOAJ8Cryj4mFI6iTx981IT15gVO49SFzZAHqCvzm+sZ1///J3SPmg== 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 LO0P265MB5096.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:285::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.36; Sun, 11 Feb 2024 17:00:36 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::dc3f:ebd4:bcf9:adf8]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::dc3f:ebd4:bcf9:adf8%6]) with mapi id 15.20.7270.033; Sun, 11 Feb 2024 17:00:36 +0000 From: "'Sam Staton' via Homotopy Type Theory" To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers Thread-Topic: Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers Thread-Index: AQHaXQvUWY3Ne9ECD0C+AlJXpTs/CQ== Date: Sun, 11 Feb 2024 17:00:35 +0000 Message-ID: <9E8B4859-9CD3-4E64-889D-AA6DD29D561D@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_|LO0P265MB5096:EE_ x-ms-office365-filtering-correlation-id: a347a735-e279-4632-74c0-08dc2b22f77a x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: YIqCbmM8oF63aDuz/H7dCW9WPjPf1SkAHnm7S2lTcKAn6itf39AHxI9izpdBIvRkOHPzYnEYlotCjx0cDVhPQrYiLXUaFFVjDyEOBjcvVlfZUYPKynEADmlvI7MDHdOy6nL7XUIDyiguboCTjKniC/TuYQBbriLSOUynV18hgu8f6r566E7Xnykm9Og9Rnfz8NfvCBjuMzNMBN60sMAl3R0okLcgE8SK6F1t9sMBs7KR8oBjsBBo6JpOgyFqb9gliAQEA7DCDu/cMve2+dGxXXHH11tA/7FhCSEOakhOp6bBDGbFfZUwKThTXhcD7gXpi3j6GqaojFwp65j+URzRycmfyz9tHoUmXWNf3GvUbAdhgx0ENMcOrAHgjbOloFfXIc1MkBzkxpeC2ZjqHjK3Zcv+ZB1ejwI1hz5mPZ3ZwENyPpDcLlRUgnbPuqkPtY8ybC8xJik9U7xdZtTKBYfGKXHlKixABsTa/I0pGFyVu50wKDaekjLaOUtzCS7RaR0VMfVYbAwRiKkirhOnN4tWGLQ0GEGMcE+xWlOnfCEof1kkEVbek8hnZOEG6Y8+Lyje3Lo271unzXPX0VwDd6cOYKJec8dKr6T2cmTLYjqdets= 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)(366004)(376002)(396003)(136003)(39860400002)(346002)(230922051799003)(186009)(64100799003)(451199024)(1800799012)(966005)(8936002)(5660300002)(2906002)(44832011)(8676002)(4744005)(2616005)(33656002)(38100700002)(122000001)(86362001)(38070700009)(316002)(66446008)(64756008)(786003)(76116006)(66476007)(66556008)(66946007)(6506007)(71200400001)(6916009)(6486002)(6512007)(478600001)(41300700001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?PaRJRfzGZxjdNAKDuDI2r/9+tXNSl0Coa+SI3o31DXScrdUq5/Hndowzxa3a?= =?us-ascii?Q?JdYSm2wPSFmdaAHjb7jmFqfL/YIp0wgzvfHCX+JzgSptuyEz6PpDAqvsZEnL?= =?us-ascii?Q?uqDRUAn+RV9x+zsu770ywQB98VFqpRVXs7/LMmt+7fLR+hqgKhbdBqDQwyrV?= =?us-ascii?Q?E50UoH/PY2x9Yfa5vTAPkIl/eSnAP+DAx6hhSJSBW+G6+ekZucZZao9BzaI4?= =?us-ascii?Q?XD7JI/kaTEai7y5+Dl4eC3VQXuxYP47kv7lCrrbb5EguPydcdGifhMXcnvSV?= =?us-ascii?Q?jG9F1WnZiycQcIeAbZdDeQbAb5lor548l0aTN6Fhv/WIe5sSf+ZimkVi9641?= =?us-ascii?Q?Ny2njB5S088wC2c54c/jf2ijT+57hmQMyLPbiWfaJGF9bSj92tGruT907w1g?= =?us-ascii?Q?aFSpeIZBLrXnt67u45vfzYvOKGNb7/uTtOr/xvpQMDW5RDuoRaz7pyaT9L5q?= =?us-ascii?Q?rYMBNwGutDSw0VPnEkqWAbryEcslrw2EqW9tPVMDmeP5OkX2NHddI3k8gT6F?= =?us-ascii?Q?wjj297JYd5bjX6tq7yACt1AZIHhXwusD7xe2pFruMOXpA1fCq96lsAkOyWtt?= =?us-ascii?Q?Mgu11k68YnvxyvCAiI6yP1V7Nx+jliIlbSJXpI4MaZhRlsOB5ZxVPodrVPhf?= =?us-ascii?Q?boStYfBhMDaRSQCGW1dgi1cjuD4zYhxPJDzP5dkouiw0r7+UT49x4oNb2KML?= =?us-ascii?Q?fb0VkAt5ZYXVB3B5FHp7vNxHHFN9hu6B+Fs0jACmc9d+Qqs/7ODQJHHu/+FJ?= =?us-ascii?Q?Gb9lyk4hSKUxi5dB5tXLHPqd3qAX18U7BD2RARIh58F4zJSWk55O1moDuU2N?= =?us-ascii?Q?69OGTTTou4dBeg5Z6NC+aZp26ij8/b3YW4Z8ubE4oUJ7p8sCXeVKjzciRqi1?= =?us-ascii?Q?Q49Ht8Nu7pCzIWe9+fjIrRLYP6FpCq6WGAyI/bI6qX6HWnRfVJ1IbbPzRNXE?= =?us-ascii?Q?4ccrIrJcRYtu5C8EVt05Hp+IednMav2S4Kl772KLUZ+rUYccSnadGm4SMhfE?= =?us-ascii?Q?nDspwl1BocoOeOAM10kDT8+Kj7u8M2vDkiukjC1hd+K6KWSOtM33p3rEeDY5?= =?us-ascii?Q?HNog0LhVBrXbhEHOjNfIRtV5DwsVBmbCjt6PlI+e8OdlGkOQhRHrzXtCVu+Q?= =?us-ascii?Q?iL76jY9zYeOcuUIvG8tuKj5Blwxe3uUU0CxwAsi619IDLScanwHTOBfXUORl?= =?us-ascii?Q?iJPSwaTwdqOKlo3OYsMcCu69cKd/f8C4gDdKY5aUfpp3w1uDKICHJhHSatbP?= =?us-ascii?Q?SzyTDGj9bGbh9wArsh5qnQLWFPHPBZGy6DKhq5Lu3aBSZ/H31xT2K4j6jsKd?= =?us-ascii?Q?CzcwPyJDYpRbuDCcuGX08bPvIOGbZEW8DcSAFLDceNWZXmabJLowz9RcRRFV?= =?us-ascii?Q?x6oAb14ONxDmNazbxXjbwGw3r4QSGuTGBEy/K+CclWKlR/izzG++cyZWCqaD?= =?us-ascii?Q?yxwcbJRPNQEReXYH4Olg7VHVSqA+Ebt54daFiag04sa6EEXJV7vdU06t/+Gx?= =?us-ascii?Q?NOeSxzvoi+VCEJJ7jq4bUseoNEeNb0eDEtCviPCqlj3N2nZOHsixIlPxIpf8?= =?us-ascii?Q?FO/oUAbg2rH0OkNnYgpFBMmydEwMTqwOuPU0lxuYEdqKMdrXKQ/1lfUJWIug?= =?us-ascii?Q?TUtOVQL6YawaDS6lf63YYYMe9GXMR7pA+BAH1NO0TY0A?= Content-Type: text/plain; charset="UTF-8" Content-ID: <20AEE64C63338948B2B7DA7932E5EF67@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: a347a735-e279-4632-74c0-08dc2b22f77a X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Feb 2024 17:00:36.0093 (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: FH4a7fSIlJLyVtLGn/cIRgh3aX1YiUC/5z8S/9jVwhqgBujzgnsuLc/Mf64b3BhYWiqF9M++tPL2KEjN+5BYNg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB5096 X-OriginatorOrg: cs.ox.ac.uk X-Original-Sender: sam.staton@cs.ox.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@ox.ac.uk header.s=flood header.b=dnftgn0S; 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.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=ox.ac.uk X-Original-From: Sam Staton Reply-To: Sam Staton 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) 40th Conference on Mathematical Foundations of Programming Semantics (MFPS) This year, the ACT and MFPS conferences will be co-located in Oxford. https://oxford24.github.io/ Conference dates: ACT 2024: 17 - 21 June 2024 MFPS 2024: 19 - 21 June 2024 Submission deadlines: ACT 2024: 29 March 2024 MFPS 2024: 29 March 2024 For details see: https://oxford24.github.io/act_cfp.html https://oxford24.github.io/mfps_cfp.html 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/9E8B4859-9CD3-4E64-889D-AA6DD29D561D%40cs.ox.ac.uk.