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=-0.3 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE,URIBL_SBL_A autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01hn2241.outbound.protection.outlook.com [52.100.209.241]) by inbox.vuxu.org (Postfix) with ESMTP id 5AE9F21670 for ; Sun, 11 Feb 2024 19:48:30 +0100 (CET) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ODvKjultv3Mz7VcC0RdzOeLWO0KC1zqe7Ud92MjN6G7MwLWXKkOoz21AhVXPRg8cG1BkXUuBRfkIhhvIlBkesV0RsH9+9Y7xP9iw7fMQv7zcwvKV/nrPFOXpPbeOKW8UAZbbEOxTm+nPRUlyMJ4Fdn+PFEF9nxAUp+H/Jt6capDso7sqqcDqWeCzSv6rVJIAaNAFn936RsuZUu0FuzYVmZb5edW3wr2Ewxzgq29dYDfhpO6yFexDno/JsX2to40xcl9dqIuGpQUNKjs+oKQ/VofoG9cH71d0Osx6k6u+5YakJdbIn/HXCB5AgUc5MMudR0t4xcD3gjT4ef6D6A0GpA== ARC-Message-Signature: i=5; 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=yne7ykAfrn3hP5JakeoYNqF478OtyRc5TfdPqTg+etk=; b=hxYAvHrnkiiLHRHdOUBLa0BN90bBI0D0luhtrHcyk5Mn4IIlw1YisZxtvZNWmj3Vbx1VgEyfIxNEpB4uHNpWeAQdRTfxrYx9/w+40qORXemhgYyW8y8nTlxprZ6L+CiGol0pwF+GWzDrEhBf61cmKtemYHJXU2LE38gqqFuM5hLnFycAAdLJSo+9DJh5z085urVXIQ9io2yrOSkn25mkwByI7zF3bk9OeLn5nQO+EPTf96/a4nxcVHvVXSwjPi8GDqESFqpR5rvK3M6wq/kFmvTsj7EbDXNFiiTnL1FplwyC6ooi1KsF76ICtsw2UX7d6JDNlafyURcYSKCMmjz5nQ== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=temperror (sender ip is 129.67.1.165) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=temperror action=none header.from=cs.ox.ac.uk; dkim=fail (signature did not verify) header.d=ox.ac.uk; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=yne7ykAfrn3hP5JakeoYNqF478OtyRc5TfdPqTg+etk=; b=Hopj+JvtVvZnTmO4rKsZxkoLABubJh/2w49oxzsGZaVJOnSQjdFgeXs4eqMJG1D12n8lWJDgkvmqXTm9lNBVSQkjJ6Por9r31uS/8YdtYTONMeBiJNBzBzkBJWHsB7/wn2rs5z1b+MM1EQxcJXRfdsTFI1VSsOZeB5KaQ6IJ/cnseIlF48pF2JO8a5fSbnhyxT8bI4aha7PCqdQ+wMixy536o9LBChK35qZIoXTScoEiQp/QfyMVWN9OcfA1u9ZVq6OaO22nrVtJ7dd32z2dhe1kJWc7zv4gMtXnuz3Lv6fRTplvIeZiPoPqBwdZ8pKjhLKUIqSEY/2Jz6qTCe/grw== Received: from SmtpServer.Submit by MEYPR01MB7231 with Microsoft SMTP Server id 15.20.7270.38; Sun, 11 Feb 2024 18:48:26 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=dcsUciwK9y+GvIw/+8Y71T4VqSq5ziPEIXthqWUng8WYSF6ZlHDGqmFPbGRhkeUNprarp2WEdUmjUNlUOc+VICGln7s53Qh3BFNutmFgXaHBeDiqJNhcexW8j5Or9DHPs0SzUfobSzx63JAPAkeHyGO2fc4gYx8ZSOHxE5PuSbnQ7kC4X4X5nEOlrL5GqQRhcuQ4Fyh1cvdDYiCU6Wjx4MHFyKG4BvvMXMoaSQF1sMoRex0xqMANaVK8mMkAeaCf4AiVo1J5N1soTBOOl44UaIiFxk/fxidvqAAE1kK1geTiiE9gjtD6Fu5RQwWOqcaNY126hMgmxD1t3IFESi620w== ARC-Message-Signature: i=4; 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=moJ2Twi8ZMzydv/7WhWfzA1a1K70j2duxBCvtC2fYqw=; b=lLFm5dFavVa1XToNULnFgVtONpxnKV9QGhHtH82SlKSoA/Nc2O5oIVkp86Le7/li7/vp6nK8c52kjxFj04Uy3w+9XKZCCQasmIpK8qEa9EdxKK19phkaejIe0471rcjYhg+9zkDr3dwFXopcUtADYB8PDm1oiw4Ne09Z3ZcqZPPVVFlV+XdUVq5MZoMZopxJ0mm/wSqK989rkYyzp578m4FBZp+GqsXQy4XABjJ6N+Xqs7Vqb53tNVscV53ILz8kV9QEbiuDR10UuJNhV+TKGZ6YPDu7jSnPtWiegd6RYVrJCpvQJdu0HrpVhn9Awvg2/0mjxyZb23f6HkSiS77rEw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 129.67.1.165) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=temperror action=none header.from=cs.ox.ac.uk; dkim=fail (signature did not verify) header.d=ox.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from ME2PR01MB5572.ausprd01.prod.outlook.com (2603:10c6:220:d6::9) by MEYPR01MB7231.ausprd01.prod.outlook.com (2603:10c6:220:14b::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.38; Sun, 11 Feb 2024 18:48:22 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com (2603:10c6:220:7::8) by ME2PR01MB5572.ausprd01.prod.outlook.com (2603:10c6:220:d6::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.35; Sun, 11 Feb 2024 18:48:19 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::6b0f:c883:3328:f0b5]) by ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::6b0f:c883:3328:f0b5%6]) with mapi id 15.20.7270.033; Sun, 11 Feb 2024 18:48:19 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ZIkhe/wAYlybDX6vx7m4TaAOdOU6eZQqSrgffvnJz9OU6zBBt3BWEzI95uzLfvlbdadS3/i4aMDX6lYGiyeyrgFThmgjmukusKeOphjFpfsOAkW8koOrL4jInBwmF8diAInXTIBxkvRt+IhFyu2fnx/wqdK9RmLB/ThsZN+neuzA+G+vxw59C9zIqxsO7cwD9W6WJs9Qua8awmDaV5wSwS8gOtb8NjJskxdE73ZPWThihwm7cYLTygrtDYJjgbBMRPVVi0mJa6gMuDf5+TDUh0bibqYZrANGKKY4PnxvGJfkPtq+NyZ41MTjNuar9GR4JN/2tV0WTuQW+AzGLJnz6g== ARC-Message-Signature: i=3; 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=moJ2Twi8ZMzydv/7WhWfzA1a1K70j2duxBCvtC2fYqw=; b=hrrG63deF1Z4LzxYNkM2KZfVmBMPfcEN7zjjel89hERmKXTPPHHOjfypTgdIgMBAInGm6TDf68zh5eTvvIvIplwU7LrXVrJaGiji+zIsUYlF9a7xwOmUiePwPy9r7Csfp/5gNcy82YarEyJz6UPDkNotuz6v5TA/3KbcxMUbf0NwklDgh71/aSzWUgnbkbhFlWsKJGUbOotrls7A9Byp50E4DM39FocqIEIejQJYKF6W2ciw79k72N36DXWFap8O6U3jJKpzIG/wc8O+35V6McL4hnnh0h+/UcgSRhJP/Banqe8ik5nkrdtj6CSCNa3OCBa1nV1ZWE6vaha4qsKu2A== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 129.67.1.165) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=temperror action=none header.from=cs.ox.ac.uk; dkim=fail (signature did not verify) header.d=ox.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0042.ausprd01.prod.outlook.com (2603:10c6:10:e9::11) by SY7PR01MB8818.ausprd01.prod.outlook.com (2603:10c6:10:214::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.35; Sun, 11 Feb 2024 17:00:12 +0000 Received: from SY4AUS01FT021.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:e9:cafe::dc) by SY6PR01CA0042.outlook.office365.com (2603:10c6:10:e9::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.32 via Frontend Transport; Sun, 11 Feb 2024 17:00:12 +0000 Authentication-Results: spf=temperror (sender IP is 129.67.1.165) smtp.mailfrom=cs.ox.ac.uk; dkim=fail (signature did not verify) header.d=ox.ac.uk;dmarc=temperror action=none header.from=cs.ox.ac.uk; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of cs.ox.ac.uk: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY4AUS01FT021.mail.protection.outlook.com (10.114.156.176) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7270.14 via Frontend Transport; Sun, 11 Feb 2024 17:00:10 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1707670810; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=moJ2Twi8ZMzydv/7WhWfzA1a1K70j2duxBCvtC2fYqw=; b=GtYm1q+ijVZtKW6u4FbOBBeRhqxQo9W2JxG2kNeCXFd/xlfA55ATgLPNSNI5f/uixsZ/6v MGUNXE1/69Qvb5+Ntn0DRRjP5vd7OurbHWDjQlzADy7vJJ0/ZijdXhU5W0ASpAp9B92QX0 zAE9aZHOyJ4ppAz9039iX5D9daFdpaeRy1WSpTUnlgmsTBWYZnDuoXqLkCvvL8QXrqbq77 jsI+CTP9TKWOpPOpM1h7EEaym/AdkWwPwpO0fNac9yTklHh0j39FDdgTCy1CtuTq+lIa/u 6/CCJjTW85GpLVh0UY6Yrls9IlYOY22b6Rhe85xQW7B2wHTLdfq9spUJnBCuOg== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1707670810; a=rsa-sha256; cv=pass; b=pMdkzLXyNw76k2uYKjgXbw8ctpzVoqd+1qfEOHKpXuIM/5S2c5K7gP9flYYfIjHxfciDk7 EyaNV8OlLXPQy0PuEteQ/GQ39NPMoqpaO/+J60EjaNOxVzy0LkmcIy0XEFM5zsFjyiCe1C VqoL1NU2QNdec5E++yL5V6h6qlDtRFLb8vszYCTmD3fS+WmUCGrA8F9u59//4wZaM50gDL d8XeGPncuUgX1Olbh0phH+He2xD7+G4Vou9aWKjqRzQ4kJGQxbrdj533pCbEobFmV7Kbp8 qTNjYE6NI/tDpQU/RUnSrwMardQZ15DUBjx1R6e3M+hFdWGD2BT6DxmFlqUVQw== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=ox.ac.uk header.s=flood header.b=QixXgwhV; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=quarantine) header.from=ox.ac.uk; spf=pass (relay.mimecast.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 Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk [129.67.1.165]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-63-GevrK97BMimQZrMzQ1Au6A-1; Mon, 12 Feb 2024 04:00:05 +1100 X-MC-Unique: GevrK97BMimQZrMzQ1Au6A-1 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ox.ac.uk; s=flood; h=MIME-Version:Content-Type:Message-ID:Date:Subject:To:From: reply-to:cc; bh=+ibKOx3ZR7VVjAO3WmcE7cRn3WMEpcTxG4Og0rlNB5k=; t=1707670806; x=1708534806; b=QixXgwhVaVFV4n8aAbc+JOtHhTYo9SRIv8dBo96hgqWelIXhRgBH8PmNH+6B i38YGLJH8phQazyyl4ovyoQk89rKI4DER51WZd8WL3D+QQ+EAnvpPXOs1MQXy1HQ+XijdLKSM6Mif l1/N7SP5WFIyleinYK1z5wxE9CiTCjS/+i9yRw/UyBEWeKtoxw6kqedyX8vTSTbB5dMnzXG8SEAJc s3a4IejIg3gbzJI/GyyEPe28NnBz54sougPpaiGSX4oNMPx2vx2fu+A0Hz1kFGBIfR0weCXN3jy/l wrh4TdGMBDnxinL120q7rWcsIMHFzzAjYttYra8z/TBV7mza3Ew== Received: from ex2016-04.nexus.ox.ac.uk ([163.1.154.144] helo=Ex2016-04.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 1rZDBR-0001ji-4x for categories@mq.edu.au; Sun, 11 Feb 2024 17:00:01 +0000 Received: from Ex2016-03.ad.oak.ox.ac.uk (2002:a301:9a8f::a301:9a8f) by Ex2016-04.ad.oak.ox.ac.uk (2002:a301:9a90::a301:9a90) 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:00 +0000 Received: from GBR01-LO4-obe.outbound.protection.outlook.com (104.47.85.105) by Ex2016-03.ad.oak.ox.ac.uk (163.1.154.143) 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:00 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LP9ihkdzwOj31qtnaWQYCNvhlxQ0a4AEZoq27Y3EfDcHny1dR73HBerwZa58nzUShMb0kq/0tO8yhrVozdtlhsesECkhHh/kTpoMQQe7VbS9f1srHuDa7TzairU+JNXxX+7+fNrOQzfAAyoE23LcFWVPSaw4ZzcZzC0yflfC9Sc8iH0uDY0N93N2EKO6yLbXZZgeJxzz2we7mxeP96Y5kB3J4RT6zQwSNrjuqg29aBnSmO2GGPRA3hYLKGxLR2iCLIJLDn21CLCXSUPnVRrfWw+GOA/mqK09VTCrXdDAAxsc7/88ecbK5WR7ENk2pvKUtsCV7PdHVfRCCHNVv8TqLA== 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=VytiDMSH2HI5f1yBwuoAmBqcPHHlnJx6iM4hj3YEDIODjNJNizyRYp101hWb+t3JKJDoA4iaYxJLZF6+8ZfQYkNxSnP2I8fQ6qob2qrx1Z0RrljNLQcCTNwtySh2ZEVhqX63aJjIlljNeGMhuk7zJpw4ee9AvAELMUszbpXPjaJ6cer83uM4OUNOLeyu5IxGuYQsrAf5QOHMNu/uVuG8n6sMWVhgywMKjU0cLE1fLUIizcQd7TT//8vbQVACtNo3e2ST4tzxaM3LyMtaSt3qPrACEYtegdNw/bOsVno+22W5GE2wCp12cSKxDbsz5+k6OSt2l3fwFGgEtCSrLAkIfQ== 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 16:59:51 +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 16:59:51 +0000 From: Sam Staton To: "categories@mq.edu.au" Subject: 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: AQHaXQu6UgSfQfE9+E2GakstaigYmg== Date: Sun, 11 Feb 2024 16:59:51 +0000 Message-ID: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3696.120.41.1.4) x-ms-traffictypediagnostic: LO2P265MB4182:EE_|LO0P265MB5096:EE_|SY4AUS01FT021:EE_|SY7PR01MB8818:EE_|ME2PR01MB5572:EE_|MEYPR01MB7231:EE_ X-MS-Office365-Filtering-Correlation-Id: 95466264-f0f8-4d62-d7dd-08dc2b22e84d X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: fRt2Wy2sXwLynjSUhtYslH6d6a2Vta7GkF2CblkjuNSPfHM4wuVmQh1pFUrolGhcarkjuWL8TSHqWl5fbPXT1/AlutAIpYweR5GLEOaPuKO8Mo4RNgvTFgRBmWPv7N5WxYxoAQIUZwGtYE4lSj4c8N+HFv9DoSLPAG0kcHEcH+Dofi7/CIuc4+ZmvJrG0IfrpM/lVe2NTiaNyFEcAqFi+oBbJN1SqKR24lOpQ/KGjIysD2msUkeKtM0R6KAlDfWrg71cfFlCZA4Xhhk/TQSOpLoGp12B22lvc3pRuoVUTSp+aZfQCiaWQsMrFA7kqRN55a8K3qmTsLecQUlvo7aqOwgtfROPhEBG5sivvvAi2xnG0mO4SeHi3qfLXMcpTuzsaVxFXs1SCkiPFFRnv9CAVnfWibvrLl4WWmdNz4TK63mSpAcXNaYH55tGLD32dQrJLHjCTVXZqhFmcF2Hj1hCRcdiz8og+YrN1UNYBKM7oAfiG/N/d1GTPiuujDlBm9sUr8IGc91/bRDhqFJL6eR48eNwL4EDsSHOFTthjbPiIJ0vh8slpmPktDxLNPzVo3txj+BoTBzRNhcw4sf1iNNvfyjXI0B6uBwowEEpWUPhH6M= X-Forefront-Antispam-Report-Untrusted: 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)(296002)(76116006)(66476007)(66556008)(66946007)(6506007)(71200400001)(6916009)(6486002)(6512007)(478600001)(41300700001);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB5096 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=ox.ac.uk header.s=flood header.b=QixXgwhV; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=quarantine) header.from=ox.ac.uk; spf=pass (relay.mimecast.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 X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12402120400090051" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[129.67.1.165];domain=relay17.mail.ox.ac.uk X-MS-Exchange-ExternalOriginalInternetSender: ip=[129.67.1.165];domain=relay17.mail.ox.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY4AUS01FT021.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 5ed05cf2-f668-491c-a064-08dc2b22dcac X-Moderation-Data: 2/11/2024 6:48:17 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: K+HDyVZRSKdgTlst2UM1NH9G0x7uo5B1J4wa1+jMxsdMBriS63QThD+68uYOInTbPaP9B9JMfDNpkrWwTu+4p0buIViKXeUyrAbmEh6wFDD1weHbWkGSoGk8OspQlmmDcjhoquFmgxnHuMlcvtSDaHa9eONynceecNMN6mKp7S6ZIgTN693wsG2/D8SaYvkYN/ev6ozy3ZOO8R7cP4hOSFEEpALb6ziGUrBk2xS7aPnV1j0i/HFtGd4pwltyZG1C7NeNls0yyI4DNza+IGfoPGamSyTaZu+llMXgII403L1bNdQ52KwQrGB8GfVJYAxhUjTdv2929UDhi//MPoWbVdyOAAYreW61C3XgufXmEGtJcGuYh3ePMPO95JoeGQ2Q9x94kU/l1ekQOjFJVYael4o0j87J7iyGOdb7n0x/6c1RA0xW/OwV7Snsd0XGghK/KFy4ynJi68mdD4/JAvA6nhR2DIFxlNoUlYl+zdR+641qaBA9qaJf5aKz88lRm9Lo+QDAzff8Ntk8mPdQCc9t0wuuUQMPxbNwPp0VoHlEEtFllXafFdNz1QNTSMgXd3SMJNmNyRZyd48X5Ny0cymyRfDjG9u6eIDATYEfSIkCl+lrakSyll30X71e4h5kuXPk2yOk+jS/sUzTgVw2dYQcfUVeNuJ93wjFLbQQpFgKVnLRLQu/T99x0hmTZTQGsN6Mub92SACastIrRiKeq+Od5A== X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:relay17.mail.ox.ac.uk;PTR:relay17.mail.ox.ac.uk;CAT:NONE;SFS:(13230031)(4636009)(376002)(136003)(346002)(39860400002)(396003)(451199024)(64100799003)(82310400011)(48200799006)(40470700004)(44832011)(41110700001)(2906002)(336012)(26005)(89122003)(45080400002)(498600001)(41300700001)(2616005)(7366002)(7276002)(6862004)(7406005)(7336002)(5660300002)(966005)(63370400001)(63350400001)(8676002)(8936002)(76576003)(68406010)(70586007)(88732003)(33656002)(7416002)(6506007)(86362001)(6512007)(6486002)(786003)(316002)(7596003)(166002)(82740400003)(156005)(17680700008)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 95466264-f0f8-4d62-d7dd-08dc2b22e84d X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT021.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 11 Feb 2024 18:48:19.1709 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 5aUV0GsWXwWpFV+tm60XT3qjb9UruLuGrYLBW4C5nzl9MdDtWMiVXXXyrUKbe1faRnjF997fnHLx8c8tv4o9t+RWNd/Zi1IPdFC4dfdbXlYR4dVxEWzpySDt1fNbnc6fCU8uzZPGtT3w7ZgS1ab7CAHK4x8F5WrNrb9/+peYSB9L62T7bcbNthNRe1dsvKxrX8vjxeBLyYnsZOwuWRY8iQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB7231 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?Windows-1252?Q?8O1DVSXElwGJgVW4Px7JBs73bPfFGeStTY4NwHGGKNpDPoknfxMIQQwZ?= =?Windows-1252?Q?Q34cwjDxntHudQWaf1upL+OcEFrgFwQOMIiU9e4Rr3eRREIte3UdhWo4?= =?Windows-1252?Q?KRfd9ngFboqZtkMDVLJ2Za8LOvWfl36Yvqd3VERDSP9FwlXPLlelRNFY?= =?Windows-1252?Q?rz22FLZ4OQ4+0VB+OEIUHldepdpj5782XJi4ijQndU/Z7idRuCeWGYVj?= =?Windows-1252?Q?t5KaEivwzKhR6NLyKDwjrx2ydC3+vMLMOBxLAKU46jnP471f+2Df2I/L?= =?Windows-1252?Q?DUYRWtucO5WDU2yl8NwGIgEd1NpWVVY51fDqn0HCJX5/b1u9F01OBNpP?= =?Windows-1252?Q?1fNfUS84P+uqdo2vJ9Qm1+aYhZajx1IjKlFGOM8LEr7lzkDBGznesKX3?= =?Windows-1252?Q?TcL/wSy4IpWhaTfodDegIzs8nu1Qo2lPWuLRaCmQdCTEq1AX/y2+c49I?= =?Windows-1252?Q?szlsVu74npNfSWGdzDLVLR4OcsMm4gzotCKbK3m4Fv/jcNA/C8e93/HF?= =?Windows-1252?Q?M6jtfqvyqFtqVn+oVOJ8vBVNI7qOfkwdRx3MN39YOqa0LJ3X7rXjfzOm?= =?Windows-1252?Q?heincMoq3Bl53zG1M2ycDlDdwqnk+PA4aEpmESMagqQfcXcBLwkKyMwH?= =?Windows-1252?Q?OFuTXcqlj/avtLMWru0gdsNDqaKwFp4q9R+XEBlcHO0vr+uSwGVocSr6?= =?Windows-1252?Q?0llD+3fgDVkJ+rI+dUHjgl1LItUkpkL0ktuttI4cXSqnhw3Bg+ZdnHdq?= =?Windows-1252?Q?t4ufAhmNz74ltr/p2mRs2OIgxN+XuI4/9GRRrAJY0tRV0uJnakEe71tY?= =?Windows-1252?Q?17LGH7v2zMsQx/Nr3NBY63MyghyfajK8gzxwPYIPKLnx/mGjdSIhE7mr?= =?Windows-1252?Q?hCJ/96xKiSsGbZCC71qa0Tvte+wVCkUn1gMUNBL6OGlwfz0gTqKrfsAS?= =?Windows-1252?Q?f/wbkRpkNg8W02kKw7JyblRNBjl3df9y1eKmyZzoKNXwgkRgkKTELMow?= =?Windows-1252?Q?wt1ucT5vBGLUobtYaisedIY293PILmzRUYYF3+WE7YDN4QpJib7j3cDP?= =?Windows-1252?Q?7L6OogRP9kCMZJpL/JeiQ3u1EOqb14LTfgASK/hQ1DK5q7ZY80OulgiA?= =?Windows-1252?Q?TkUGUk0fGNEPc3Wf72fz6kHGUnfGvAooDmggLc61FGaHObZLTZpabVY/?= =?Windows-1252?Q?vLRc5had0QapbUlIf5v5sGGiAEtXUlVNW8A92mK9X0i6+zVudciLcUk6?= =?Windows-1252?Q?g3xJOJfDEWdd2N2pNNW7nOnP9ICof/ku8OpA+l7GQ3Bid7XHd19W677Z?= =?Windows-1252?Q?pdR16dyGAZbAI10HOxpsupuaIVJd7LL8yIH+gMJdM+RjJPe7fJUbzJ3T?= =?Windows-1252?Q?PW+kfmoanRc/7w=3D=3D?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12402120400090051 Content-Language: en-US Content-Type: text/plain; charset="Windows-1252" Content-ID: Content-Transfer-Encoding: quoted-printable 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're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12402120400090051 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252 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're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12402120400090051--