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=3.0 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE,URIBL_BLACK autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 27923 invoked from network); 21 Dec 2023 11:18:29 -0000 Received: from mail-sy4aus01on2127.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.127) by inbox.vuxu.org with ESMTPUTF8; 21 Dec 2023 11:18:29 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=hENksypXyuFvkrKRdAIkiIwVhsJ/d2KW/gi/KuU1PDg0pEQEOwK8GWOI705ZvwksbOatVVF/YhuCuKX2171xVWxaBSGVKc6Rz1noayg3lLTkA1sPs5rrfeXDsFxT8+WflJsls+pm3peR2KgPrlDejkPZOQLUyPY3sOpYOi5wA6lckw0Yvouf4h9BqbAgHBT5eZ7eveOl3fS1uC4t+bnA5TPEhQEQ9V4D6tRXKm6w3S9rrOD2zvy3DgHff7ufLN8+gUTJ/T9VYU9+7HoUn0iQjmwh0L7xsen68MmMNu+CYBjM9MN0sPccfheqz2l2MOVH+aTvBDR/ugTkVevdMMUC2Q== 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=+w5CDNHAkCbbpAL20RBfRPkrXV2rCx5lFA5glitJQ5s=; b=XmQJftArO+C0lVVJLKn4WRO1emjtqRUq3VcJZyxrqXRsprfowy/FOP3h1uTy39nSHJwiJFT89aazEeTMwWWe4iemsqsVmkDSrOQaoNdzg1s3/gZ9eahyDlHjt9Qhs3KepCf4ilQ8fRe/zgkGvf6fJov6YNOuT2Z1/v1FaDo+TV6XMLCk0cl1OGBADOfmzycBq2EqShTxzmw+g/YTEsGYgLxxmPsofPASgTQ1n/sjksqtQrMxC3iAmO7RJ1UfIMPJug57DSB3HnRXFCZDl/nVpht9VJw0h4BSai4CaiwNtnYafh/frikGOCvDd7UHlcYablfsyRev0jTTATYgLNsq3g== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.210.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; 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=+w5CDNHAkCbbpAL20RBfRPkrXV2rCx5lFA5glitJQ5s=; b=fTXIdH7s416aU0/P35SIwtKpkqRCIK40EgzR+VRB+24+hzNGb+VZmhyDSvZzfcSOYa7mjX9j2tycl5Cq7slWwyZVSGfZAta30EQI9w65PjxIct3iYQQL1lWyrYpsRmPBtP+uC/EuN/kTIjPuZWsa1FfQiDCQgUuuyIC7pwh4lrIGtsC6bReddhi98j1Vq8DIAsBOPbINPJ64Y5JKZCW5bp3a/jia5mf5Le2ADo+JfgQJoq0pI6sHf6ktf53Aaa5pLFHIM4gMW2gXypqz4mFdSreEp6XRBipW46i9x2+YcxqAoVJqplXCymKEk8PFvUJq2MFHvre/+IAmM8TW+FSWzA== Received: from SmtpServer.Submit by ME3PR01MB7845 with Microsoft SMTP Server id 15.20.7113.20; Thu, 21 Dec 2023 11:18:26 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=i68VeGq0an/GoE7L+mRCWuiL3AYVPoc4NEHw1zL6a1Zjf2IUgVZjHZ863PD8tKMWxyZs8icxreD3/gVDODDA+a1U+0FsvnZbla6hDGDg9EO4UAfkN2tfyo5l0BWZl0tR8KRIq38CFAw8okllq9nHt2NAmniFI0bJl72v6ZsvGfhBJ/eRPNYtIGJF7o/C3maP8zYVAQibo9FOX+cDG4CB3VNhbYY5xm/JRTqx3709In1F5k5kqZFICo4Lir9UDKjbw2zvqR1a4BAiToGz0hDiIjmjCyq0CVJXpDqONAqi5OFo8nm6Ry0SamaXxIciJ1ysxgG7IHO9Z4XigoyD4HbSoQ== 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=wXI2FsSN47sX+7bNTrot7of2jbutfzz9xVf0LbuQxXc=; b=Dvxk0pW4j8gRvGJyndkojvIjV8/vxsQRpQGJDUO/vWsrdtsTWE/UB9qK8wTfEkWBR8XTsm2L2JwS69cS0csBVVnI76PcioQMkEa59nmarFdN4Kj5ZXuwAtEz79fuCDQUVe23ArkuYQESeaS0/TICtyJJ9qgglSoE4OJWY7fGGD1cL+I/yjwkPvO7adyFhpbXNFjS+qpnLBHSyBmDOP2zFVqeZz6qVWWMbIEkmMBns9CydZOH5xHutU+Vo+XM3sZ5V/X248E+lpxzrrmWBgKgL1GRSXK239XKdk1ix28/GNhKgqu9Py3Z8Gi94Evpfdy/f6nI8nfMNc16Fnx3yjkZfg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.210.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB7261.ausprd01.prod.outlook.com (2603:10c6:220:137::8) by ME3PR01MB7845.ausprd01.prod.outlook.com (2603:10c6:220:184::9) 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 11:18:21 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com (2603:10c6:220:2a::17) by ME3PR01MB7261.ausprd01.prod.outlook.com (2603:10c6:220:137::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.21; Thu, 21 Dec 2023 11:18:16 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98]) by ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98%5]) with mapi id 15.20.7113.019; Thu, 21 Dec 2023 11:18:16 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=f+Ul3nKepD7YW3SJEz2Nypn/UhwJeR2NOuIcsS5Cp8AcwMOWFtolDwz4O5TKNso3iPXTHS5OwN8RefURc2HDpoFOMH38p+cUQAxdRlkhwc2RQg5a2VdJUrEFeT9RZngtMqPFGT0iHHuMG/FJsQfQH+e7L0sWXLgvV6G0gvAawvPvdutFlkzIyUNJOB1GeYCvzUf5bqaRmDqEUyHPmaWSCG7Ea8rvF/JAqHYv7MjM99qFLJGXPE1hO8j/KWJ2Ph8KpwwOAPHp1sr3Bal+feWHPFP6Fs0PImhTQlS54uIz4qnLvKYicwYvYjpYf4zSd9DQs/kOVkdBeHQi4RsFSr8Wtw== ARC-Message-Signature: i=2; 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=wXI2FsSN47sX+7bNTrot7of2jbutfzz9xVf0LbuQxXc=; b=NVtT4UImZzd50+7GCtre/d5XJ42dI/XfDTrNEYibbkqPi9PuZ4ZPuBrs0WaP6TXJjSEsdk3RK3xQOFP9l65wSe8yq0ig6oP37yYvgXUe11KmzespPx2Lg69jyTfWc7Xe0MZfS/hRSdry84j4fnTgefYd/4jcTLFnK3V3Dm1toiN0CMYWq092NrfSyuRzabobU8SqTI5Cy3Q4MQzZZwh/DTTqXlWZStBgnLJ0zawNIj0pPrl3AqWn01wZkeqo+HKdZjosirG5gNatum0y3ctTaeMcetKk+JH04GPHMHjHYVRWdqKaGiecrDzHQVG8XdWBnaN3oSnGiYf1FaKg/R/Pzw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.210.46) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3P282CA0067.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:f3::18) by SY4PR01MB6217.ausprd01.prod.outlook.com (2603:10c6:10:10b::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.21; Thu, 21 Dec 2023 10:12:51 +0000 Received: from ME3AUS01FT018.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:f3:cafe::3b) by ME3P282CA0067.outlook.office365.com (2603:10c6:220:f3::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.20 via Frontend Transport; Thu, 21 Dec 2023 10:12:51 +0000 Authentication-Results: spf=pass (sender IP is 209.85.210.46) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.210.46 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.210.46; helo=mail-ot1-f46.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ME3AUS01FT018.mail.protection.outlook.com (10.114.155.76) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.20 via Frontend Transport; Thu, 21 Dec 2023 10:12:51 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703153571; 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=wXI2FsSN47sX+7bNTrot7of2jbutfzz9xVf0LbuQxXc=; b=EUwhvV8yI0HG7JweSShM/Chdfx0AAuMzAYynf153ryjI3QrVq4ywA6C24DiPnrGjX6UZfy z7UQuifvqkEUGGDQIXzXI02UQNhG98tYdhwLh8x98NLgocsUoIAIoSYIdlDrhdYtw2ehRZ G0BAS3dtXozSmhJ8uJTdmyen5LIUOvwMrukXSXIdNTsx2d1OWhq9Rp+b/6P20b0OBJnzmP P2SPmK6ee5H+7hoRE64Z9G+iCN4W58OXQ16ip/A17SHMkv53lIRzvdF2GjXmTtTp9dzMt5 jYzN65acvbKLr6UV+8dxA98qdzzo5xQDn1ZNO5dazICcocY+TZxyCBBZ2s9ANg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1703153571; a=rsa-sha256; cv=none; b=H4/K7BlUG7TKqG+IleyDCQDcXlZibGZiVYQjrXoH8Ac6gEmIfh4URj86h5s8Ump9aMQUPP tZ7PFQeTDiA2Hc0xEdfF2eFvA9YOEEDb6+4fC3g++ZHVnkLJdZ18hfiJo89WwVxhaOdRAx WI1EUVwOYeHeKi1peXTYa/cG6CEdTlpfRs84mZE0m8ol6ymVpni21k79XVwDuBleoeFymS shTbUfLhdBXMXWIWh+yfW6xjWOyHlxabBFGipbli6rxpoblhsFM5CiSGuWxEVk3Y82AEFE wk1n6fqF9gerDkm2R714lD28GfkWeMA2pB2MOSjIpgqIM8yMHZN/MVrVvUg5dQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=QHnz462V; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of davidjazmyers@gmail.com designates 209.85.210.46 as permitted sender) smtp.mailfrom=davidjazmyers@gmail.com Received: from mail-ot1-f46.google.com (mail-ot1-f46.google.com [209.85.210.46]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-25-GPfCsi2ENLmtTpu5y6pSOQ-1; Thu, 21 Dec 2023 21:12:47 +1100 X-MC-Unique: GPfCsi2ENLmtTpu5y6pSOQ-1 Received: by mail-ot1-f46.google.com with SMTP id 46e09a7af769-6da09f8ce35so110274a34.0 for ; Thu, 21 Dec 2023 02:12:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1703153565; x=1703758365; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=u8flaPrn6GV475QUCMyipBBKRGGgqhwRDKftDu2jHTU=; b=QHnz462VVUHnaj3gLZOl5bkN3cDup1WFsbYHV7uC+7CowTw/ooBrQKbnTD5vPp2hLC F+/YqWDEWcYcNzyFZ1k7IYdW6GEqiWBnS2qKLd3pLIChbm0ZIYAnq8g9NwakzUVvzsRh vzkl9plCvFgXqwhFCIGzHAcIXXehdbETqTFJRRO0ywH5cAQc9mtfoLdmPQ2xl7HJbHXu OxtKYIV98XqD8jFEaYlTq+/9LJroXmof0Qcq9mMjQkuJRfAF6mLhRqG0mfuGrTfjvY/M QhKEtKERgfWGmaHtgdTU8tHq90Z8WDBy2Rh+monDFKZ/5qD30qM/9L1IlkZkLXxj1z9l RaJA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703153565; x=1703758365; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=u8flaPrn6GV475QUCMyipBBKRGGgqhwRDKftDu2jHTU=; b=QTWgNYO60jCSG6SLoTYRL715Vy4arMHd/I4l0hAVDjIOYj2EvbMavWZNInWvM9i1YU jpZkdbd4+f6H7BWjamLC9Zt1ZNgmUYoh/Cro4Y4S9wZr2/9pqUkBq0OqCOaBHkHgcMif Q1dr+5N6dUTYrkuB5VnjQRraOK0udQOremtyUYTtF1FhZe3SIK6CusgfbsLs7NG8PYJ+ /nXn4A1GuNUsmJAVmom8JLgIFPW1PQGH3VXLWL2KsW0mufTdh6qZF+B30yRLcn0S2iQ5 9hQWW4yjiJmQJ6mwydhaKnnvbBQZyphNN3NYGTCzTP+rZa30+BfSfyHZxRAvZd6kSF2q P5aA== X-Gm-Message-State: AOJu0Yz3LqDr4cBQxY74eJpQz5k+BC8i6X9LJ5DxlRj/0t2uoKGdH9Uf vX9q3UI1whkGiU5fvprfn92WiPlvcey0GWNRjf5eOe+nE93Bfg== X-Google-Smtp-Source: AGHT+IFQfdmxcxthIAShNipeg6BoETKqdNbXBnX4cXnetj/8IGdVO63dcTCnCduAOBLI08rOBTAKbkp8B2+F5BMqbWg= X-Received: by 2002:a05:6808:1511:b0:3b9:e645:4db1 with SMTP id u17-20020a056808151100b003b9e6454db1mr40639057oiw.4.1703153564763; Thu, 21 Dec 2023 02:12:44 -0800 (PST) MIME-Version: 1.0 From: David Jaz Myers Date: Thu, 21 Dec 2023 14:12:34 +0400 Message-ID: Subject: Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=QHnz462V; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of davidjazmyers@gmail.com designates 209.85.210.46 as permitted sender) smtp.mailfrom=davidjazmyers@gmail.com X-Mimecast-Spam-Score: 7 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="00000000000039c823060d025716" Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.210.46];domain=mail-ot1-f46.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.210.46];domain=mail-ot1-f46.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT018:EE_|SY4PR01MB6217:EE_|ME3PR01MB7261:EE_|ME3PR01MB7845:EE_ X-MS-Office365-Filtering-Correlation-Id: b8cc7fa5-56af-492f-6444-08dc020d63e1 X-Moderation-Data: 12/21/2023 11:18:14 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: wsX46h4DIqSmVZwUjUjK387El/f5WRYw8K4X0nrbdoOhVgvEZ67Q2dJZpL5xRWpbYiawL/pUW0ctHANbF2RAqRgGUh/LMu2nQABbuT7t0vb8bx5mGTGahO7dQZqqRmc1VEC6Uo1zlmYje/u/Uxm/FBMce6A0cykXbxwgBsVLZD4xDjz6AUIjCVhB59QlQUzizeMtDqWAg1OviQ72hk9j75LblECA6IcYfTWrq5sI1Umnbb54Cd8CZtARqYCUo3DZkgL7t+H+sAl8Dj6GucO73R2lRMPA7+nhHyOjj5fczaRXeUqQddhFodcsNQtxSuPDDNhi6l48Dfuo4T6pkfo4jNrq4cS+OiJRkuxJHxQQPlOwMGSzsmkJ+dlMfSm2gtfUfCEdam2WqB3QPPGlNQRCl7/r4xo4+vMjVdwelGDZqS1d0eaSrJ7gMvjI5MFJDtMA77ALyvFxZP6IIlWWs+tx8Ms0vziFGn0zMbADMMsZO5U6nZP7yhcU3iCATqCVbfJsW369zxbKw6kgHdDcPOYe6UHzHWfvzc1INfJOHeNrOuhXjZ+gCgGwSRTJZGq7xJFLsN4p7ZEo05TbbvuVr4CDM7cRB45GkoUR/Z2YEgvCqn8CsbTi8xGk9IRnjYQceMAzoejdSFp8vC1cnNyToXw2wUYTR2+oOxLYgQ5pSaT8lSbxowmKPdHVogdSrYyzg34aaOAOSRiJSvJ2Rv1n9taK482zk1wlucbg99UMZEiJataOkFeePoZwcSsePEx5YhBBt4lyjJCBxg0Ftkp6RjiExoy0siY+QtNrGelXhjmtTmoHkCpXynj6tqFx6svGojxIugquSWY0gcbYaJAJV5ys9wRSGnkawpblalq2MBlAKXjkrn/cC0NBM343tA5SnzZsc/miM5vk3t/KNBEz3yHek0FoQh4sCjneAZuWMMzb8o4= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-ot1-f46.google.com;PTR:mail-ot1-f46.google.com;CAT:NONE;SFS:(13230031)(4636009)(396003)(376002)(136003)(346002)(39860400002)(451199024)(8000799017)(1800799012)(64100799003)(82310400011)(48200799006)(40470700004)(26005)(40460700003)(82202003)(336012)(73392003)(6666004)(966005)(33964004)(35950700001)(32650700002)(32850700003)(156005)(5660300002)(7416002)(7366002)(7406005)(7336002)(7276002)(2906002)(89122003)(76482006)(41300700001)(76576003)(88732003)(498600001)(8676002)(34206002)(70586007)(8936002)(68406010)(786003)(42186006)(316002)(7636003)(7596003)(86362001)(55446002)(82740400003)(166002)(40480700001)(225293002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b8cc7fa5-56af-492f-6444-08dc020d63e1 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT018.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Dec 2023 11:18:16.0563 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: zory0Q7rRDHBfL5ARQJ6TUvBRRt21aQDQOF4WxJUcW64h63zFLNA2brteKGsZsLtHmj/Nf9okGVpHXlljuPqPCavJ5lfnzNbO4mDHIztykU7hSNakGPkby4tM9AjHyBfDB+hig3PcBDPFCItOtrypM4vvowM7i9IHM5WrVjg/9Ew8aT8yWB71LG1AserWkGx X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB7845 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: =?utf-8?B?ZTBnQ3hCbGcrUGo5MmtsclJCbngrVUt1STdVbktDTXVlbVBONDlYbURTU2VM?= =?utf-8?B?cFlaNVBCbW5Gbm9yTzlqQnhFRHQ3bHUrT1VOYjlSckE5UUFrOFFNZFV5bHFu?= =?utf-8?B?cG9JWkdtYm1yMHg5WG15ekJrV1ZlTkx3cExWRXBaT1dmVmdYOWNhMXVuNjBx?= =?utf-8?B?cExnOWNqWEVCeEhYU0k3YXIzNVl5VEZEcFlWSTdMWFhhc2VzNmN0ZURZcE00?= =?utf-8?B?VXZNWVZtSmVVbjV3TWtYdFpiTllsVnBIb1h6SWdoak00OHJxc2xveTEzYnAv?= =?utf-8?B?S2hnN1Z4VEg5b09UOHRLYis0NzgxdXlFdlJHYXZBVGQ0WDk4MldMem1rNXQ3?= =?utf-8?B?SGZ0UDRhL2ZDVGYyc3RBWi9VMEV5S1oxTytKdWV1RFU3SVphTWQ4TStzSyti?= =?utf-8?B?MElEb2tMbHJzenZzTk1UMm40dkloSTFIc3pOSzVBd1BwU1pYOVVGVjVuS3Z1?= =?utf-8?B?K3VDUURvM0FVazhJWVFrTGt0QlZmU21qeGs2SDlpV2tOQVNoK0lYaCtsVjlu?= =?utf-8?B?Zk51NmMrMGRIZnE3MW5NK2RIZXMzMkZ0eTZwSmVIZlFjZHF2RUY4bHBWa3lP?= =?utf-8?B?d3RjUEZoWjFzU1dYYW1TSTVCbndudUFPUEMyQ1FJWnc3anBVMkpHTTIrSGdJ?= =?utf-8?B?djVtbDEzR1hiZ2owOU5neUF5eWdLNUpRV1lsTGpFaFVxSTdES3pONlJXMDNK?= =?utf-8?B?ZHM2RHNTY2pSRUZDSFgreGRaWXlXL1orZDU5MzlNSE9SUkEzRFRBeStIOG5G?= =?utf-8?B?bDNVUGJ3OHlnSUMydzloaUpxWWZ1WXIxYjRTTWp3Y2ZCd240MHkrbUw1eEhT?= =?utf-8?B?R2ZYTWJZWElJRW5pT3RKTUtUYVYzN3M0V2RYMkZPb0xURStNbCtJWjZUd3RL?= =?utf-8?B?U2lOc1pUb2JoZ1ZyNFluOG9YUUxES20vYWUzWkZMR0FzOWx0eWJZQmtNV1E2?= =?utf-8?B?UUk0NEcvaFQzUkQvVXZYbmg4NlBuYm4vV1lZMUZzemFORU8rRmIvNk9zUkFO?= =?utf-8?B?ZStxc3RSUTN3aHVMeWFKaEo3NDRjM0RDQytUSzVEUk1sUHA0L0VpYWpVVzdp?= =?utf-8?B?N3lnVldoaUxhckE1Z3NCWHBWRlBzMUVHTlI3YjhrWnVrM1AyQVRkb2w2SzRt?= =?utf-8?B?VTg3MUFEa28yRDZIeGgwMHJsZEFxcHlZbXhKbHpqREpPWmRQV3NDM3duREwx?= =?utf-8?B?ZU8xbnZYaER2MGdFc0ZBNGlCVWpFa1cyVzZuT0dlaGVtaStjUEZCSm9GUThp?= =?utf-8?B?M3lLaUZlWTduWnF2NWlLSmozVTRtN2I2andSNjlCaGptTjRkQTF2SEFzUVNy?= =?utf-8?B?OVdCQUxMUVpHckl4NHU3NVZkb1BDS0xaSnk3ZVJlT2pNU1p4MXRLT3JkZGVC?= =?utf-8?B?aHVKRU54UjhOM1hNVVFQTEh4MVBMVFNHeUk1d0ZCNmRhaUlocW96bktWVDVh?= =?utf-8?B?bkE2bzl1cjBwbVNWdGFYS1RvNTFBNXZUSGdscEhMYkFFV0FuRk5jelJBNlpT?= =?utf-8?B?VktSRzBYUUZ4MkNrYzBmcy9IcVFxME5INW84a25sUTdiRXlRdHpVd2NKS29L?= =?utf-8?B?eTBvN1dZaW1tekpmQzJmY0MzM2QxMzlwTSsweUVRamFmdlNPZ2VPRURVYkx5?= =?utf-8?B?QWI4aHJIU1RPVEZZK1JwbFBiNDJ5WGhjSk1ReEtnVHZxYVFNZXo2NVBrek0v?= =?utf-8?B?M21VdWtNdGxrTjBlYUhMNlBmdFovcUhMaHlpYlpGT2NleFBuM080a3pvcEs5?= =?utf-8?B?ckpGUmxmU3l3YVJUcGlVcmN1WVM5aE94TUVWb1RnWEY5WWF5RWEvTEtxOTRL?= =?utf-8?B?aUVLRXBKTXlRVU1rdGRLVGNaV2RjRmpUOXhOdHV2Mkk0djYzK0pxYUJZS255?= =?utf-8?B?bXhYMGZMc1F1MlRVeHdDdC9DZCtQb0pRSkJZbnF6R21PRFE9PQ==?= X-OriginatorOrg: mq.edu.au --00000000000039c823060d025716 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable 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) 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 --00000000000039c823060d025716 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
7th International Conference on Applied Category Theory (A= CT 2024)
40th Conference on Mathematical Foundations of Programming Semantics (MFPS)=
17 - 21 June 2024
Oxford, UK

Preceeded by the Adjoint School
10 - 14 June 2024
https://adjoint= school.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)
 
 
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
 
--00000000000039c823060d025716--