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.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS, HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_BL_SPAMCOP_NET, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01hn2237.outbound.protection.outlook.com [52.100.209.237]) by inbox.vuxu.org (Postfix) with ESMTP id 55A0C20551 for ; Mon, 15 Jan 2024 21:04:12 +0100 (CET) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=YotsMDJ+p1oFghKcfAzwLDAVd5+TlfKfKPzqsvz8A72tsF2BensaP55thhIKD8GHnBmowtXHvJ+UpZq3g1nRTkQzw+eEHVqbCRIDnGjqrk6E3bWWMV8F/UE8DJUkdsk//xZdMNJjB1+Kl7i6C00s3xUiooKl4Ul1BAliw/rGc8OCzSqqmawvnjVb8wZEl70rc5LCnQX4PZLb5FwDBrA3eddK+p0ID3g8/ej1XffHBCKBOM01Zd6zu8lvTegPbteS0t2uWlhODnve+4CORBQ0en7ceZedIXiUfFR3MpgVI8UvFuAriA1nmU6b0XzkkmFcVaCovwLBmrJOiDlgNdskwg== 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=+Laf3NvHv+q0nRdI5C2t6YfVGVojaXJU39RUKoK2a+Y=; b=lhqUy0MOvJXgE1Pkn9Yxq/3Fatu1ahbiNvIgVhBjhMIv6xmNa64egs3rf9Z4UjDPED8Khsr4Ferm46aD/LNIvVPmbmx84yuyV7cCpwRWkHnfvghEhm4JSkX2+vnYDYyDLVBAd3YXWqQQ1bSkt0+t43Sak8Iuowjy6mHyIGzBLKZJiSDr7+mngwZgXKX5e+zA1ipeMYrLCmZKK/+1bkiWvXyKK8cKVgaxNFH6zxOUCeXdtkiCm2AVnlYm2cE6Nua/cXfmfSQI7y6PyptnUt6m8rgfzfYT57dQIZimdAgnDrXm7ecGyL57pJwAxRfF5DRJG5FBkBE8bB+AFMURLGtLPQ== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 40.107.243.87) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=anthroplogic.onmicrosoft.com; dmarc=bestguesspass action=none header.from=anthroplogic.onmicrosoft.com; dkim=fail (signature did not verify) header.d=anthroplogic.onmicrosoft.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=+Laf3NvHv+q0nRdI5C2t6YfVGVojaXJU39RUKoK2a+Y=; b=BhhXU919l8j4v3bifl+l23vu7S2SPPq/KiO9yrFhBEuTI37SEaL1Ri0UMfFtGmZc/cO7MlOLe8V75QRAOfJTqVsttGoABXack8JIgy07CXGPmjRPi+zuecqh5MeHgmwEr7Me4KaqDKtQ9EblQA+gLZVkmCUvvI5Yt4lpoTS3eRdn4xUfKqpCUAXjLRK3BM8Ia978AOlx60EPr8vlTBhC9bHNI21evRVjDFCT8gWlEp2nOew8mwzfm5yJ9Mr+nPEGIKbjlPhX/EtUD5NpoY90CNqkk3vUnsfw0DdRSnbmDyECX4EVDX1G8fYd6QS/WCHseOWMZr5iKyNU32hFSPONcg== Received: from SmtpServer.Submit by ME3PR01MB7064 with Microsoft SMTP Server id 15.20.7181.26; Mon, 15 Jan 2024 20:04:09 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Bc7NPNBMumynolipFFbirqSVZgep07Iu0HJS0ysKHiStfh0VnZGQuCmHJAeMlXj0plBbs9Yux9lgwMIaY+gkXdKMSRtZMJELB3tKJnhZ/M1ZrM6rwGe1kyCFqn3Ukq29TNOuGkjolBG+3hzwN/IEb/hMzOxdO6NK13UxEtYq18slQQNDNJM7sCocw0KvX0WHx4FwuOUCC/6O6zFr6nB7NCelRN/Fxg2pPwHn/i+nf/9vN5X0LQC6HJGC/7uuZkhPRAK3RzE8tdQYXO+kYs9RWUzzOl0t7vk74STdCvIesOlFOrHRqqd0J+L6lD91mVq3dbK//rVKQE6FKtsQ3qyRsA== 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=r3UHuAyS30pG+0TaWE07sl82Sw7tcF17rFI3aSeFBCQ=; b=T3smugLo5vZveqVxXbwlng0QcZubyu7/Z6vLf7X4epRnkmV0k7HbDVT5x53PWGL+eCSHm8i1zNiptXRkUfr+JQF/QrXY9ZjYXW9QNRD++pGlAlKCjR7euDPCiPGL6/qoq2cORi+JkkVwJH8ymjAhkqwepECtIW8dlUUPrLX4xO/m0npEOUkfHghsT99JF4hZ36G/VWcY0jwkx3rbMVykr1lC74CpPO5+KWbtPFB1IjYfnZ2FeCo2o291NGUys2IB36Es0epHpnWu7hofJHcFjyyp3jwvjloHEJiWfDgvrvT+4n9esALGMLtki0r3E/rKKb2wr5iZfOxJZw9uV4ADdw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 40.107.243.87) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=anthroplogic.onmicrosoft.com; dmarc=bestguesspass action=none header.from=anthroplogic.onmicrosoft.com; dkim=fail (signature did not verify) header.d=anthroplogic.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB7324.ausprd01.prod.outlook.com (2603:10c6:220:137::14) by ME3PR01MB7064.ausprd01.prod.outlook.com (2603:10c6:220:16d::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7181.26; Mon, 15 Jan 2024 20:04:03 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com (2603:10c6:201:38::9) by ME3PR01MB7324.ausprd01.prod.outlook.com (2603:10c6:220:137::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7181.26; Mon, 15 Jan 2024 20:04:00 +0000 Received: from MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::d077:4dcb:27c5:2611]) by MEAPR01MB3654.ausprd01.prod.outlook.com ([fe80::d077:4dcb:27c5:2611%6]) with mapi id 15.20.7181.027; Mon, 15 Jan 2024 20:03:59 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=NBuShKtUAs2Vj0SxND60Hp5092czBos3guzu9uGsE6t0C/CNdc6NWQblyVM21cYfTVzjaTGw/PAKYFXa6T6b3+OpaZTedhewFl9+6ZEaVE+bXqh5xt8ZrCTEjz6nuC1HMvj7O/GYTZ24ovHHSBBh0ICu7gvdPJqeumL4mBIllS2Q/MgKkqOoZBC5fvpraDgP3UV+hkN8ip2H1WYcIejdzNyY8sHI001MjWbz5H5xObE73h4y3NspXDm8YCkGSOF5lCA6GiHdcwCkmuLHBkTwbISnftaWyUAy+OFR5jFy8S0gZXxpfvjZVqhwQuYq7VzZbRlB/cvF5hh+Fbc/yyfNWA== 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=r3UHuAyS30pG+0TaWE07sl82Sw7tcF17rFI3aSeFBCQ=; b=c1ehGSmetDFhdPLCnj3NCWdOvD17rML9vkkWVZAm8HeNpzevaET3hSWdjb+gcYomxPytgnBPqgz7LCXBKKW3nAkGkAbm1mU5HC6jc8iMR7NxnMnm9ORwFFCQzZfDX+109jxNNR2SKmONIM8N5lYkUohroqn+1a1TSItu6IV0AshQoWdoU6fkXMr4kT7WaD8ffKwJN40sp/WN4khGwlOWC8xL75Jq2NxZBDbK+MFenl7G7kaO0KnK9ZtfkktSTzzHFG+qKr1nCRLfYETY5h5FqV852vPRiiPZZ4gqLmQpEm9tOMx/qiM9/Tg3dGInY3hUVRviiD8Bm6NIGJQtnIzsFw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 40.107.243.87) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=anthroplogic.onmicrosoft.com; dmarc=bestguesspass action=none header.from=anthroplogic.onmicrosoft.com; dkim=fail (signature did not verify) header.d=anthroplogic.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0063.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:203::17) by SY4PR01MB6994.ausprd01.prod.outlook.com (2603:10c6:10:143::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7181.26; Mon, 15 Jan 2024 16:37:49 +0000 Received: from SY4AUS01FT020.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:203:cafe::d1) by SY5P282CA0063.outlook.office365.com (2603:10c6:10:203::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7181.26 via Frontend Transport; Mon, 15 Jan 2024 16:37:49 +0000 Authentication-Results: spf=pass (sender IP is 40.107.243.87) smtp.mailfrom=anthroplogic.onmicrosoft.com; dkim=fail (signature did not verify) header.d=AnthropLOGIC.onmicrosoft.com;dmarc=bestguesspass action=none header.from=AnthropLOGIC.onmicrosoft.com; Received-SPF: Pass (protection.outlook.com: domain of anthroplogic.onmicrosoft.com designates 40.107.243.87 as permitted sender) receiver=protection.outlook.com; client-ip=40.107.243.87; helo=NAM12-DM6-obe.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by SY4AUS01FT020.mail.protection.outlook.com (10.114.156.99) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7135.27 via Frontend Transport; Mon, 15 Jan 2024 16:37:48 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1705336668; 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=r3UHuAyS30pG+0TaWE07sl82Sw7tcF17rFI3aSeFBCQ=; b=ZArW2By/gsiwRJegyOvq5wiD+tsyQwcgRAhWzCJsikeoPyhalQEh2a4QRR+oMBdO+FSwgc ccMJb02IUq+4FIj8C+ted6heHjkTjjTs0pC7TueX88S3LlugLyhuo/1Hl/jmgBYgpVXEKj UDioTiEhl3xXOBVu+LM7EzpZZX31a3UlRYUhFlHgneuL5kXKAmtDbzQzKL27JZnMditYhK AetD9VIdD6qbphSMG2a7IePwwzMp0GI1TtH4/HTowBYYh32dVy2jOQaVun1DJiQSKKk0kK ASoycL1Ia2by3BkAf5SrS20mPQL++XcIe9WU98rIcU4HtenXbtaOSLUUt61mjg== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1705336668; a=rsa-sha256; cv=pass; b=rezwpiEmyZeCT+i8HMyELQljVKsSYzL/OzX7848voPhQ/SAygo6qDQY0vL6kvI8rjlPFOJ lFJ7B3ouExdz9787OWE4Y1tQcxK5H3mUOsLGng7FGXHhX5Z3Oox0lsNx1TGlsXGUC7NLSx fCeEr6rvKuNpskQKifVFB5BjyoVneJ/FtlvujX7pMeP9Rv7sQsAukWpbCd3n4AQUAGI9dO OC1JB9b3v30sVBMBdvtXEFQfu3BRdWiq1JfhqrSS/K0gThouqKLmbvfeA+K4INADujm2oR HdM15Vy29Fb1NVORQB5vtdmcG+oTZpcmA8bhniqhdCJB+n+k8x9HkJjMHDGDag== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=AnthropLOGIC.onmicrosoft.com header.s=selector1-AnthropLOGIC-onmicrosoft-com header.b="NHxsY/VO"; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=none; spf=pass (relay.mimecast.com: domain of admin@anthroplogic.onmicrosoft.com designates 40.107.243.87 as permitted sender) smtp.mailfrom=admin@anthroplogic.onmicrosoft.com Received: from NAM12-DM6-obe.outbound.protection.outlook.com (mail-dm6nam12on2087.outbound.protection.outlook.com [40.107.243.87]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-89-Upo6F0ZBO_CBlkJegS85eQ-2; Tue, 16 Jan 2024 03:37:42 +1100 X-MC-Unique: Upo6F0ZBO_CBlkJegS85eQ-2 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=MItVRNtdypYZWlDqfLu4SbLKBaDi46pS4roj6mQwSh6syfbip3htLPNjTDHzlIgk+HabdINHBfp3+jF/0efTiMOphkCdPnA5Zj7Qhl/Rjx/y6LWIB8K/NWkMb42+HEXieiz+S5xq9USEjOO1Q/HKvVXsPffTEUJE/9nsRLjvUsIde5gyVyTAqZtDUEMkOJxCiGvClccBNbEd8R0xt4l+klDr430FIwAC6DngUpDotmw6KroDqauZ0UsoVScnDFKNiUFTCiPXaPX91KKbQlyNIXLYXR5v2QyS3Xopl+78vRQ9TE77bUff5qPsy8btIjNQcgs8/XWs5xQKdX5KfS7Szw== 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=uG/dhJm3SXMolSTMHdQPoqRi+s4ge93rjyT1y2SgyFM=; b=jFswJhlyxcZcKQaWRCrrYgI3HuVH/OzyPsnxS8V//jLdZ5HjXEQTx9WVism1nWk36d+19jd8BAW93EeVN0Zj9kEHxRb6ZZaG+uwaGNlXb5BkX8H1p4XQXAsxEa/G8X157jdYKH8XHE3QhQej3OmOHBeeEuxKoJVNTdQ+P3eLzDQM0W78+8CDd4vLnUBuRktiMPYhENs9nxMS9wvad2iGfLT6BCiDmXhFFX+Z0S+ZwwkCKXlNWTYR4nHoziZE3sp4PgaCQR8o/x6zUI0l4qJKFiYlhdHHqe52YrcMxLNwmDW0wlwvDVbiLvLXdrP2twHutVbKLyAEvOFJZZNZ/hKwlQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=anthroplogic.onmicrosoft.com; dmarc=pass action=none header.from=anthroplogic.onmicrosoft.com; dkim=pass header.d=anthroplogic.onmicrosoft.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=AnthropLOGIC.onmicrosoft.com; s=selector1-AnthropLOGIC-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=uG/dhJm3SXMolSTMHdQPoqRi+s4ge93rjyT1y2SgyFM=; b=NHxsY/VOQEb8IRigcmpPFgrmNx1RUL8Sz95LzdUlXcjEvYHjLsG7Ril3q4iUHxo1pmpOZKXrb9QL9mNkNGtpyxmGp+wUEpokgGRpMT2R3YJSPYneukbZJ6lhnC902xm14z/MGUTtwBV/3AvHvSnm6z8uHzfMp73nNebcRVLvD7hqszmmJq8OrCOQ669iCJr21G9UbRWbjJGTLp/exiybdZeCurVHqzD436S444h349JpR/EzGNh0rCYG91JO3eD4Yishk+k4FAjUeBdsA1/w2tgVO0H0UzATBVLwH9RK16i1xBD8w6P9OmaWKybWbSlf8quYlofF8/Fe99Wcz/hUrg== Received: from BYAPR20MB2790.namprd20.prod.outlook.com (2603:10b6:a03:b5::31) by SN7PR20MB5361.namprd20.prod.outlook.com (2603:10b6:806:2a0::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7159.23; Mon, 15 Jan 2024 16:37:34 +0000 Received: from BYAPR20MB2790.namprd20.prod.outlook.com ([fe80::8b80:8c32:1aea:8e63]) by BYAPR20MB2790.namprd20.prod.outlook.com ([fe80::8b80:8c32:1aea:8e63%4]) with mapi id 15.20.7181.022; Mon, 15 Jan 2024 16:37:34 +0000 From: =?utf-8?B?Q2FtaWxsZSBOb8O7cw==?= To: "categories@mq.edu.au" , David Spivak , Vasily Pestun , "fom@lists.ugent.be" , "coq-club@inria.fr" Subject: =?utf-8?B?UmU6IFtDRlBdIERvc2VuJ3MgcG9seW5vbWlhbCBmdW5jdG9yaWFsIHByb2dy?= =?utf-8?B?YW1taW5nICYgQUkgQFVBRSBOWVUgMTd0aCBKYW4g4oCUIFJlOiBbY2F0ZWdv?= =?utf-8?Q?ries]_Outreach_Panel?= Thread-Topic: =?utf-8?B?W0NGUF0gRG9zZW4ncyBwb2x5bm9taWFsIGZ1bmN0b3JpYWwgcHJvZ3JhbW1p?= =?utf-8?B?bmcgJiBBSSBAVUFFIE5ZVSAxN3RoIEphbiDigJQgUmU6IFtjYXRlZ29yaWVz?= =?utf-8?Q?]_Outreach_Panel?= Thread-Index: AQHaR8N3ySdcu9oYCU6uKpf7m56liw== Date: Mon, 15 Jan 2024 16:37:25 +0000 Message-ID: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-traffictypediagnostic: BYAPR20MB2790:EE_|SN7PR20MB5361:EE_|SY4AUS01FT020:EE_|SY4PR01MB6994:EE_|ME3PR01MB7324:EE_|ME3PR01MB7064:EE_ X-MS-Office365-Filtering-Correlation-Id: bfddb8dd-264d-4342-2c73-08dc15e84f1e X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: YBTLcrdj0soS64fP0Qxi1WlWgW2Qe9lSy2hCgUMWfVTJD2OzSEhKahc35TA18SfY0JotKvEyC9JKqJUAexTWGZnGb6O/RUO0mehd9PsMUnP8J4Id2wAx7wdcNmW98q9BjqoMmzY4JeO8yoIYnvv7SX8xN5EYItw4z9HbpQn+sC30l3yHYP7djSMgr/J0TWnGSgZP8Lqtr77G5m3D9qAHOBOjCH4FjzvTFQYveDGsTN3lFDbDeGfjMW2mKy4kcfZZmeqQGYHyST0gO824q4Hxj3RHqKq6JJEAbrmw5vu8il+yy5ej7k7HXRw9GD06bP8VsHwCPwiyvSkXsyIAUYUooGiXoRMIFjguh5pdcuLrOvzj/PPqF0SkAST+48O0ehzTfbWoyON9fgX/5BA9ViPoe32d2IfHX6ajlkSQH8UUgkbknHjMwi+tG8t5SGNCLKoEhBanDJMTiZOmcWBOQytNVHafccdVL+1PevDhXmLZRivVZ1M/xi0zdVZ8x9uPnG1Da7kV4WFPDbfgmNHPrqTvFq9CUWNHsE8MJE2C6fahYJci7tcJO7xwKNrurRb0nZzGAZmIA2200eGQinMooykabve7ICZFLzhZvAscjRbwgBsQcjMwXzf4pgoi0UdhZUt8vtQQxi68JUvATkyjy/gtBw== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:BYAPR20MB2790.namprd20.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(136003)(396003)(366004)(39840400004)(346002)(376002)(230273577357003)(230922051799003)(230173577357003)(1800799012)(64100799003)(186009)(451199024)(55016003)(6506007)(966005)(9686003)(7696005)(6666004)(83380400001)(478600001)(71200400001)(33656002)(38100700002)(86362001)(85202003)(85182001)(38070700009)(76116006)(41300700001)(122000001)(7406005)(7366002)(7416002)(2906002)(5660300002)(91956017)(8936002)(66946007)(52536014)(66476007)(66556008)(64756008)(66446008)(296002)(110136005)(316002);DIR:OUT;SFP:1101 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN7PR20MB5361 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=AnthropLOGIC.onmicrosoft.com header.s=selector1-AnthropLOGIC-onmicrosoft-com header.b="NHxsY/VO"; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=none; spf=pass (relay.mimecast.com: domain of admin@anthroplogic.onmicrosoft.com designates 40.107.243.87 as permitted sender) smtp.mailfrom=admin@anthroplogic.onmicrosoft.com X-Mimecast-Spam-Score: 3 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=_12401160337460141" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.243.87];domain=NAM12-DM6-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.243.87];domain=NAM12-DM6-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY4AUS01FT020.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 78177cc6-fd79-467d-4af5-08dc15e846ad X-Moderation-Data: 1/15/2024 8:03:58 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: +BuN9bFHOAzuZLfPKuByGQ7NyPuE127KHtztj8DH4tA5Afz0UvnGGNYsCbdK/GWqkXgGd7btNKcnP8g/R08+8GSWU6K6NM6GDgKJo2jQ40Ak0b1UWuh6Y+e7Zgm+OmE+AsAlR/1s1q5JeYr4wHEgYXDwl88C3pSBgKDXfly3ORTAm/aNmYfKbSMz6pDAncx1ZN6MfeLvSO+9AR7JXH8t2GYYWA2LrX2bC0vJNba6EFeBdrCxI84aVmg9qfSkLAqRNNM/NV4MPPNvVufH+wihnxo7aoQD2qbyQqb0ydOpkPgxV5EXOAbHa/fmCVgQEaYfawJFJi6NKWnKdEFbjVLnchRWy/URZf8xfDVNgLASpiG5uVni8vGGZm6XV3rpbl06Sl70FmbEzxFJxqWDFqKGi6PmyXGK/vfYKXGqPoXKPZMqo9sWsIco/X/8J8CP6dtAIRKYd9wehNtPWBwQMfHepKVjpv6BEZd1gZpW3G2DWKBGDWJUg7LvbfN7gwQ1X4OvaTCwISLVMJOchk9xu4+NKB14aeZ9CdZbg/Ei1XrU5IwKyG/qCOyk0wMIAVxCgivvTuOcrONfwwy9DshnDG9S/YqH18cMaojqAtz6zH/ImD9FuePDvGBcp0eus2SBiMFT90Ku5sj404gm951tVE64VlyVY7uaLT5CXdAMcNCD9gqnp5Lv10mlxRwh29RiP+SCpd1hdlMgv1Wv1ZN1e5Db3KBJQ45mCrxILozyNP4qgX413QYKuqLQ789leVfWPZU7QN8wRFqXeXP9nTUz4y42KxccdOOreFl43HgJSn62yKMSX2sx+C6IyPJoZfwRR2kkPqTYWDBEtmtq/sbG1gyyrEVvUtyw+LHHxdHFZxRCAKWpLX7mZdEtSslXBHW2cZiQVTRHW4xohto/RwmwKOVAQg== X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:NAM12-DM6-obe.outbound.protection.outlook.com;PTR:mail-dm6nam12on2087.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(4636009)(39860400002)(136003)(396003)(376002)(346002)(230173577357003)(230273577357003)(64100799003)(82310400011)(8000799017)(451199024)(1800799012)(48200799006)(40470700004)(40460700003)(55016003)(40480700001)(6666004)(336012)(89122003)(966005)(88732003)(7696005)(76576003)(35950700001)(33964004)(9686003)(498600001)(6506007)(26005)(82740400003)(32850700003)(86362001)(33656002)(166002)(7636003)(85182001)(85202003)(41300700001)(7366002)(7406005)(7336002)(83380400001)(7276002)(7416002)(2906002)(30864003)(5660300002)(32650700002)(70586007)(156005)(52536014)(8936002)(68406010)(32820700001)(110136005)(316002)(786003)(32550700039)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: bfddb8dd-264d-4342-2c73-08dc15e84f1e X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT020.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Jan 2024 20:03:59.9623 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: RkaHGGkDwrnO0QpBvo7ZR3mblk0Fji8FtC4wESn+TG32uNx36Sdbx1qQnhyw1gmeHxuXbxfBh/HElh36ZFEz8oOfp7M5kIzAtpMH6KToGO0Sk1jWkpW1RqrypuBlq0g/Dz8WktDyx3lRPatucK2ElkcZsaeDYLSkdmEL/EwrmsDdfBhn4Mkk5YbHBcm7wfE5rEf7roja5NTvjsS+QsAZVCFY5QKxWFC9WaUdCasrXWg= X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB7064 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?TXAzWjRxdWZMemswUzJmTXQrd2MyQzBEcWxzWkJQNU94amdWNnZzT2E5aDJU?= =?utf-8?B?UTJDTEtRSGJnVWNxc2FTd2VPRzdocTZrRUFWMThEYS8wbTZCaFQyV2dCOEll?= =?utf-8?B?UENIS2FMYWwzemlIT3MzcFNSampTd2RmTEMxbTE5cE1nUGdTZFpyc0VhWUND?= =?utf-8?B?WDRkZVBKRXNyRWtVNDBBMTNOemN5ME1JcUdtRUN1UGkxOC9mbkdlN1VlRDRz?= =?utf-8?B?L1lPVTh5UWlTeWVaTmFHeUNmcWZMemgyajR1Ymh4ZUFXSGlrK3kzUjVqaHRC?= =?utf-8?B?YUNMcmp6Rk5CZmp0cWRNR2pmVlRZV2RyVHlGOHhpbFVOY3hlb2RIQ1RtVzM1?= =?utf-8?B?eTYxeW1ubEVSTWFiNjRtRGk0SnhydmQ5VUVET3F4WCthNFY0MFZlUDZIUnBP?= =?utf-8?B?N1VOM0JIQlZ6aFBvek5MeVNFMU42M1lqK3dMNnVGaisrWXMrdStMekdjaGN4?= =?utf-8?B?a2ZGWkFEbnhKMi9ZVFkyelAxclF1OUdaaWo3UDNkWVdqcTFOT3lwZXVSR0xP?= =?utf-8?B?dEtYZ0phUmx2eEF0QThrR0pmalZ6azczU1JkTzN2U2ZXOHVyTG5ZVTErUXJi?= =?utf-8?B?aXB6K0kzTUlvZS9pc3YvcFVnbndhMlM3Z2pBNlFPUjNMc08xVTdVQWRnTTcy?= =?utf-8?B?S3NyVEJrTTlOcEtsRm1FNi81cmIxN3hvdXNvbWJ4UzMxYTkwZVZLTGVjU21J?= =?utf-8?B?c25kbklBTmVOM09SVzNWeXVZSFd1eUJPOFpadzhxcFhucDJxOWc2UkE4OXpL?= =?utf-8?B?Sm1BTjZTRko5RnB4N3R4bXZpVTBMYS9XZ1J3eUFEd3ZBcGRkRXFJa3pwUWxu?= =?utf-8?B?SmJPUlI4TE1JeGRzOEFpcE50Tm1zTWUwL1hpYlZycXRaRjZqNHd3QVhnek9B?= =?utf-8?B?ODZ3WS9IR25YaVNaNXkrMHN3UzNFUFlkZ3g4cEZZVFdsZU9Hc2lwUVo0OFRW?= =?utf-8?B?UHdDKzJRVHdSQXJZUFhoZFJrTGx5Zm5XdC94K2ZJd3c0emw0VVBUUVl1TWJx?= =?utf-8?B?R0FHcjdiUFpyTTcwUkI4eDRpVklyb3NOZXNxR1o5azdoUDJCMm1Hem0zbzRN?= =?utf-8?B?Qk5JZ1ZFeHFCUjNCN3llRG5FcjZFaUNNaUFpcUJ3QTFUR2NQZGRhZVIxVzc2?= =?utf-8?B?NG4xNVA2Vll2ZS9YYzl6bG5zVXJLT1U0Q1RoOWpPNVhMMU9DOXRzdVdRTWtU?= =?utf-8?B?QXhtVW1SNWhrRUM3dmE0UmtBNnl6QzV4cGwxU2ZZVTE0bGg5N2ErYXlKV2Z6?= =?utf-8?B?NlBsbXNuRnZLeVFMVmhnU2VSY3NyLzhCM1NuMVZzOFBpclpnTHZnaVdlUVor?= =?utf-8?B?cE9VRm42M080b0ZrbkpLSndCcmkrWDRxa0F3WHJDM1k2WG5IRXIyY2VNVXZx?= =?utf-8?B?akRkWmd3UmJuVzhONDNiemh0cEVldk9LZG5paERJU2dQNC9OV3JVcDROZkth?= =?utf-8?B?Vmx3c2sxbU9jbFIxSFMvcGM4Ymx5cXZpemdwSWRsS3dkR2FkZ0VxN3Jid0Jv?= =?utf-8?B?MENjcmorRURRWnVYenExdjRXNTJ4VTNZdE0zdklSc2ZVUStkcFpCYWpUUEJH?= =?utf-8?B?UUdKWXkrbHlYRis4N3UxMC8yb2RsMUR0d044N0E3TjJPTkpUMUZsL2cxN1dD?= =?utf-8?B?UmpwSDNhQXg5OVVkaHpvN29QVDNNQTZLdmQ4cWdaNGFkaUNIMk5yRitWbjF6?= =?utf-8?B?Qk1zREUxUTBwWkpHcE55ektheW5vL1VCb1hoTjBVZ1lJTUxCZFhERGpFQUFl?= =?utf-8?B?eHFmVmw5VUJWOGZrc29IRGxjcCtpNjJqa0ZxMHRnRXNabTc2V0dUd2c1SXZW?= =?utf-8?B?d05oZmdSL3RPRVFDZDgrakJQWWZPNGV3L1YyamN6d29LUzc1VCtaR0k1UjNa?= =?utf-8?B?b0IzZm4zOXZqRWRIUG1peEd5STVwZWVlejh2R1p4Y1hSQWhkOEJ1VEs5dTdQ?= =?utf-8?Q?E/wJ26NjDlwTpckowuJ6kPd1ANj10cNi?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12401160337460141 Content-Language: en-US Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 RGF2aWQg2KfZhNiz2YTYp9mFINi52YTZitmD2YUNCg0KWzFdOiBodHRwczovL2dpdGh1Yi5jb20v MTMzNzc3Ny9jYXJ0aWVyL2Jsb2IvbWFzdGVyL2NhcnRpZXJTb2x1dGlvbjE1LmxwDQoNCkluZGVl ZCwgQUkgYXNzaXN0YW50cyBleHRlbmRlZCBieSBwcm9vZiBhc3Npc3RhbnRzIGNvdWxkIGJlIHVz ZWQgZm9yIHBvbGl0aWNhbCBvdXRyZWFjaCB0byBjcm93ZHNvdXJjZSB0aGUgZWRpdG9yaWFsIHJl dmlldyBvZiByZXNlYXJjaCBhcnRpY2xlcyBzdWNoIGFzIHRoaXMgS29zdGEgRG9zZW4ncyB1bml2 YWxlbnQgcG9seW5vbWlhbCBbZnVuY3RvcmlhbCBwcm9ncmFtbWluZ11bMV0uIEkgY29uZmVzcyBJ IHN0b2xlIHlvdXIgaWRlYXMgZnJvbSB5b3VyIGBwb2x5dHRgIGdpdGh1YiBhbmQgcmVicmFuZGVk IGl0IHNvIHRvIGdldCBhIHRyaWJhbGlzdCBhdHRyaWJ1dGlvbiB0byBtZTsgYXQgbGVhc3QgaXQg aXMgbm90IHJvYmJlcnkgbGlrZSBhdCBDVDIwMjMsIGxvbC4uLg0KDQojIyBBSSBJTiBVQUUNCg0K VGhpcyBXZWRuZXNkYXkgMTd0aCBKYW51YXJ5IDIwMjQgaW4gQWJ1IERoYWJpIEAgTllVQUQgaGFz IHRoaXMgYFRoZSBBSSBNYXRoZW1hdGljaWFuYCAoQ1FUUyBNLXRoZW9yeSkgW2NvbmZlcmVuY2Vd WzJdIGJ5IFlhbmctSHVpIEhlLg0KDQpBbmQgU2F0dXJkYXlzIGluIER1YmFpIEAgRElGQyBoYXMg dGhpcyBgRHViQUkgQUlgIFttZWV0dXBdWzNdIHdpdGggMTAwMCsgcGFydGljaXBhbnRzLCBzcG9u c29yZWQgYnkgZWRpdG9SZXZpZXcuY29tIGEgbmV3IG1ldGhvZG9sb2d5IHBsYXRmb3JtIGZvciB0 aGUgZWRpdG9yaWFsIHJldmlldyBvZiB0aGUgQUkgaW50ZWxsaWdlbmNlIGF0IHRoZSBpbnRlcmZh Y2Ugb2YgcmVzZWFyY2ggYXJ0aWNsZXMgYW5kIHRvb2xzL3BsdWdpbnMgQVBJLg0KDQojIyBBSS1Q Uk9PRi1BU1NJU1RBTlRTDQoNCkxhc3Qgd2VlaywgQmxhYXV3YnJvZWstUGVzdHVuIGFubm91bmNl ZCBzb21lIGZvcm0gb2YgQUktcHJvb2YtYXNzaXN0YW50OiB0aGUgQ29xIFRhY3RpY2lhbidzIEFQ SSwgd2hvc2UgZ29hbCAoc2hvdWxkKSBpbmNsdWRlIGhvdyB0byBpbnRlcmZhY2UgQUkgYXNzaXN0 YW50cyBMTE0gd2l0aCAo4oCcZHluYW1pYyBjaGFpbmluZ+KAnSBvZikgZXh0ZXJuYWwgYWdlbnRz L3Rvb2xzL3BsdWdpbnMgQVBJIHN1Y2ggYXMgcHJvb2YtYXNzaXN0YW50cyAob3Igd2VhdGhlciBz ZW5zb3JzKS4NCg0KSW4gdG9kYXkncyBkaWdpdGFsIGxhbmRzY2FwZSwgYSBkZXZlbG9wZXIgd3Jp dGluZyBhbiBBSSBwcm9tcHQgdGhhdCBvcmNoZXN0cmF0ZXMgYW4gaW50ZXJmYWNlIGFtb25nIHZh cmlvdXMgdG9vbHMvcGx1Z2lucyBBUEkgaXMgYWtpbiB0byBhbiBhY2FkZW1pYyBhdXRob3Igd3Jp dGluZyBhIHNjaWVudGlmaWMgYXJ0aWNsZTogdGhlcmVmb3JlLCB0aGUgYWJpbGl0eS1vci1ub3Qg b2YgQUktcHJvb2YtYXNzaXN0YW50cyB0byBpbnRlbGxpZ2VudGx5IHVzZSBvciBzZWFyY2ggd2l0 aGluIGFuIGludGVyZmFjaW5nIHByb21wdCBvciBhcnRpY2xlIGlzIGEgbmV3IGZvcm0gb2YgZWRp dG9yaWFsIHJldmlldzsgYW5kIGlzIHByb2xvZ3VlIHRvIGFueSBldmVudHVhbCAoZXhwZXJ0KSBw ZWVyIOKAnHJldmlld2luZ+KAnSAoaS5lLiwgY29hdXRob3JpbmcpIG9mIGEgYnlwcm9kdWN0IGFy dGljbGUgdGhhdCBjaXRlcyB0aGUgb3JpZ2luYWwgYXJ0aWNsZS4NCg0KVGhpcyBtZXRob2RvbG9n eSBpcyBiZWluZyBpbXBsZW1lbnRlZCBhdCBbZWRpdG9SZXZpZXcuY29tXVs0XSB2aWEgTWljcm9z b2Z0IENvcGlsb3QgU3R1ZGlvIGFuZCB2aWEgdGhlIE9wZW5BSSBbQ2hhdEdQVCBHUFQgc3RvcmVd WzVdLCBhbmQgaXMgZ292ZXJubWVudC1hdWRpdGFibGUgdGhhbmtzIHRvIGl0cyBNaWNyb3NvZnQg U2hhcmVQb2ludCBiYWNrLWVuZC4gVGhlIHVzZXIgdHlwZXMgYSBwcm9tcHQgc3VjaCBhcyBgU3Rh cnQgdGhlIGVkaXRvcmlhbCByZXZpZXcgb2YgdGhlIGFyWGl2IGFydGljbGUg4oCcRnVuY3Rvcmlh bCBBZ2dyZWdhdGlvbuKAnSBieSBEYXZpZCBTcGl2YWtgIChvciBhbnkgQmluZy1pbmRleGVkIGFy dGljbGUgaW4gSEFMLCBGMTAwMCwgT1NGLCB2aVhyYSwgZXRjLiksIHRoZW4gdGhlIEFJIHJlc3Bv bmRzIHdpdGggYSBiYXNpYyBxdWVzdGlvbiB0byBxdWFsaWZ5IHRoZSB1c2VyIGFzIGhhdmluZyBw YWlkIGF0dGVudGlvbiB0byB0aGUgbGl0ZXJhbCBhcnRpY2xlLCBhbmQgZmluYWxseSB0aGUgdXNl ciBjaGFsbGVuZ2VzIHRoZSBBSSB3aXRoIHF1ZXN0aW9ucy9zZWFyY2hlcyBmb3IgY29tcGxleCAo aS5lLiDigJxuYXR1cmFs4oCdKSBrbm93bGVkZ2UgdGhhdCBzaG91bGQgYmUgQUktaW5mZXJhYmxl IGZyb20gdGhlIGxpdGVyYWwgY29udGVudCBvZiB0aGUgYXJ0aWNsZSBpZiB0aGlzIGFydGljbGUg aXMgaW5kZWVkIOKAnHNlbnNpYmxl4oCdIGluIHRoZSBjb250ZXh0IG9mIHRoZSB0cmFpbmluZyBs aXRlcmF0dXJlLg0KDQojIyBNSUNIQUVMIEJBUlIgT04gRURJVElORw0KDQpZZXN0ZXJkYXksIE1p Y2hhZWwgQmFyciB3cm90ZSBzb21lIGhpc3RvcmljYWwgc3RvcmllcywgaW4gdGhlIGNhdGVnb3J5 IHRoZW9yeSBtYWlsaW5nIGxpc3QsIGhpbnRpbmcgYXQgc29tZSBjaGFsbGVuZ2VzIGluIGFjYWRl bWljIHB1Ymxpc2hpbmcgc3VjaCBhcyBlZGl0b3JpYWwgcmV2aWV3aW5nLCBwZWVyIHJldmlld2lu ZywgcmVmZXJlZWluZywgYW5kIGl0cyBub24tcmVsaWFiaWxpdHkuIFRoZXkgd3JvdGU6DQoNCsKr IEFuZCBpdCB3YXMgZHVseSBwdWJsaXNoZWQuIEJ1dCBpZiB0aGUgZWRpdG9yIGhhZG4ndCBiZWVu IGEgZnJpZW5kPyBJIGRvbid0IGtub3cuIMK7DQrCqyBhcm91bmQgMTk5MCwgQm9iIHNlbnQgbWUg YW4gZW1haWwgYXNraW5nIG15IG9waW5pb24gYWJvdXQgYW4gb25saW5lIGZyZWUgam91cm5hbCBv biBjYXRlZ29yeSB0aGVvcnkuIC4uLiBUaGUgcGFwZXJzIHdvdWxkIGhhdmUgdG8gdXNlIFRlWCB3 aGljaCBtb3N0IG1hdGhlbWF0aWNpYW5zIHdlcmUgbm90IHVzaW5nLCBhbHRob3VnaCBtYW55IHdl cmUgbGVhcm5pbmcuIFRoZXJlIHdlcmUgbm8gYnJvd3NlcnMgYW5kIHRoZSBwYXBlcnMgd291bGQg aGF2ZSB0byBiZSBkaXN0cmlidXRlZCB2aWEgZnRwIMK7DQoNClRoZSBsZXNzb24gaGVyZSBpcyB0 aGF0IHJlZ2FyZGxlc3MgdGhhdCB0aGUgdGVjaG5vbG9neSBtYXkgbm90IGJlIHJlYWR5IHlldCwg dGhlIGVzc2VuY2Ugb2YgdGhlIGVkaXRvUmV2aWV3IG1ldGhvZG9sb2d5IHJlbWFpbnMgdmFsaWQ6 IGJlY2F1c2UgbWFueSByZXNlYXJjaGVycyBhcmUgYWxyZWFkeSB1c2luZyBBSSBhc3Npc3RhbnRz IHRvIOKAnHNlYXJjaCB3aXRoaW7igJ0gcmVzZWFyY2ggYXJ0aWNsZXMsIGl0IGlzIGZlYXNpYmxl IHRvIGRvIHNvIHRocm91Z2ggYSB0b29sIHN1Y2ggYXMgZWRpdG9SZXZpZXcgd2hpY2ggX2tlZXAg cmVjb3Jkc18gb2YgdGhlc2UgY3Jvd2Rzb3VyY2VkIGludGVyYWN0aW9ucyBpbiB0aGUgZm9ybWF0 IG9mIGB3aGV0aGVyIHllcy1vci1ubyB0aGUgQUktc2VhcmNoIHJlc3VsdCBzYXRpc2ZpZXMgdGhl IChxdWFsaWZpZWQpIHVzZXIncyBleHBlY3RhdGlvbmAuIFRoZXJlIGlzIGFuIGFuYWxvZ3kgaW4g bGF3OiBob3cgdGhlIHF1ZXN0aW9uIGlzIGZyYW1lZCBhbmQgcXVhbGlmaWVkLCBhbmQgdGhlIGNy ZWF0aW9uIG9mIGEgbGVnYWwgcmVjb3JkIG9mIHRoZSBkYXRhLCBhcmUgbW9yZSBkZXRlcm1pbmF0 aXZlIHRoYW4gdGhlIChpbXBvdGVudCkgYXJndW1lbnRhdGlvbiBpdHNlbGYuLi4NCg0KIyMgQ0FM TCBGT1IgUEFQRVJTL1BST01QVFMNCg0KRm9sbG93aW5nIHVwIGZyb20gbXkgdGFsayBsYXN0IHdl ZWsgYXQgVEZQIDIwMjQsIGhlcmUgaXMgYW4gdXBkYXRlZCBbQ2FsbCBmb3IgUGFwZXJzL1Byb21w dHNdWzZdIGZvciBhbiB1cGNvbWluZyB3b3Jrc2hvcCwgY29sbG9jYXRlZCDigJxhcm91bmTigJ0g QUNUL0NUIDIwMjQgYW5kIGVkaXRlZCBieSBlZGl0b1Jldmlldy5jb20sIG9uIGltcGxlbWVudGlu ZyBLb3N0YSBEb3NlbidzIGZ1bmN0b3JpYWwgcHJvZ3JhbW1pbmcgd2l0aCBoaWdoZXIgZ3JvdXBv aWRhbCBzeW1tZXRyeSAoaG9tb3RvcHkgdHlwZXMsIHVuaXZhbGVudCBoaWdoZXIgY2F0ZWdvcmll cykgYW5kIHdpdGggcG9seW5vbWlhbCBhbGdlYnJhIChwb2x5bm9taWFsIG1vbmFkcywgZGF0YWJh c2VzLCBlZmZlY3RzLCBhbmQgZHluYW1pY3MpLg0KDQpUaGUgYmFzaXMgZm9yIHRoaXMgaW1wbGVt ZW50YXRpb24gaXMgdGhlIGlkZWFzIGFuZCB0ZWNobmlxdWVzIGZyb20gS29zdGEgRG9zZW7igJlz IGJvb2sgwqsgQ3V0LWVsaW1pbmF0aW9uIGluIGNhdGVnb3JpZXMgwrsgKDE5OTkpLCB3aGljaCBl c3NlbnRpYWxseSBpcyBhYm91dCB0aGUgc3Vic3RydWN0dXJhbCBsb2dpYyBvZiBjYXRlZ29yeSB0 aGVvcnksIGluIHBhcnRpY3VsYXIgaG93IHNvbWUgZ29vZCBzdWJzdHJ1Y3R1cmFsIGZvcm11bGF0 aW9uIG9mIHRoZSBZb25lZGEgbGVtbWEgYWxsb3dzIGZvciBjb21wdXRhdGlvbiBhbmQgYXV0b21h dGljLWRlY2lkYWJpbGl0eSBvZiBjYXRlZ29yaWFsIGVxdWF0aW9ucy4gUG9seW5vbWlhbHMgdHJ1 bHkgYXJpc2UgZnJvbSB0aGUgZHVhbGl0aWVzIGluIHRoZSBtYW55IHdheXMgdG8gc3RvcmUgdGhl IGRhdGEgaW5mbyBvZiBhIGNhdGVnb3J5LCBpLmUuLCB0aGUgc3Vic3RydWN0dXJhbCBsb2dpYyBv ZiBjYXRlZ29yeSB0aGVvcnksIHdoZXJlYXMgVW5pdmFsZW5jZSBpcyB3aGF0IHdvdWxkIHVuaWZ5 IFZvZXZvZHNreSdzIGhvbW90b3B5IHR5cGUgdGhlb3J5IChzeW1tZXRyeSkgYWxvbmcgRG9zZW4n cyBmdW5jdG9yaWFsIHByb2dyYW1taW5nLg0KDQpGb3IgY29uY3JldGVuZXNzLCBoZXJlIGlzIHNv bWUgZXhhbXBsZSBMYW1iZGFwaSBjb2RlIHdoaWNoIHNob3dzIGhvdyB0byBzdG9yZSB0aGUgdW5k ZXJseWluZyBwcm9mdW5jdG9yIGRhdGEgKG92ZXIgYSBjYXRlZ29yeSBvZiBlbGVtZW50cykgZm9y IHRoZSBjb21wb3NpdGlvbiBvZiB0d28gcG9seW5vbWlhbCBtb2R1bGVzOg0KDQpjb25zdGFudCBz eW1ib2wgcG1vZF9jb3YgOiDOoCBbQSA6IGNhdF0gKFBBIDogbW9kIFRlcm1pbmFsX2NhdCBBKSAo QiA6IGNhdCksIFRZUEU7DQpjb25zdGFudCBzeW1ib2wg4oqycG1vZF9jb3YgOiDOoCBbQSBCIEMg OiBjYXRdIFtQQSA6IG1vZCBUZXJtaW5hbF9jYXQgQV0gKFIgOiBwbW9kX2NvdiBQQSBCKSwgzqAg W1BCIDogbW9kIFRlcm1pbmFsX2NhdCBCXSAoUyA6IHBtb2RfY292IFBCIEMpLCBwbW9kX2NvdiAo KFBCIOKHkHBtb2RfY292IFIpIMOXcG1vZCAoUHJval9wbW9kX2NvdiBQQSkpIEM7DQoNCi0tLS0t DQoNClsyXTogaHR0cHM6Ly9uY2F0bGFiLm9yZy9ubGFiL3Nob3cvTS1UaGVvcnkrYW5kK01hdGhl bWF0aWNzPGh0dHBzOi8vcHJvdGVjdC1hdS5taW1lY2FzdC5jb20vcy83b2hFQ2daMDVKZjJOREx5 Q0VaTDZGP2RvbWFpbj1uY2F0bGFiLm9yZz4NClszXTogaHR0cHM6Ly93d3cubWVldHVwLmNvbS9k dWJhaS1haTxodHRwczovL3Byb3RlY3QtYXUubWltZWNhc3QuY29tL3MvU2VyMUNqWjEyUmZxQVY3 bXVub2w5LT9kb21haW49bWVldHVwLmNvbT4NCls0XTogaHR0cHM6Ly9lZGl0b1Jldmlldy5jb208 aHR0cHM6Ly9wcm90ZWN0LWF1Lm1pbWVjYXN0LmNvbS9zLzdSUVBDazgxNVJDUTRQTUJza19NczM/ ZG9tYWluPWVkaXRvcmV2aWV3LmNvbT4NCls1XTogaHR0cHM6Ly9jaGF0Lm9wZW5haS5jb20vZy9n LVNCcmVNdFNBRi1lZGl0b3Jldmlldy1jb208aHR0cHM6Ly9wcm90ZWN0LWF1Lm1pbWVjYXN0LmNv bS9zLy1uNW9DbHgxT1lVWmtqQkVzZ2tDWTg/ZG9tYWluPWNoYXQub3BlbmFpLmNvbT4NCls2XTog aHR0cHM6Ly9naXRodWIuY29tLzEzMzc3NzcvY2FydGllci9ibG9iL21hc3Rlci9Lb3N0YV9Eb3Nl bl9wb2x5bm9taWFsX3VuaXZhbGVuY2UucGRmDQoNCg0KDQpZb3UncmUgcmVjZWl2aW5nIHRoaXMg bWVzc2FnZSBiZWNhdXNlIHlvdSdyZSBhIG1lbWJlciBvZiB0aGUgQ2F0ZWdvcmllcyBtYWlsaW5n IGxpc3QgZ3JvdXAgZnJvbSBNYWNxdWFyaWUgVW5pdmVyc2l0eS4gVG8gdGFrZSBwYXJ0IGluIHRo aXMgY29udmVyc2F0aW9uLCByZXBseSBhbGwgdG8gdGhpcyBtZXNzYWdlLg0KDQpWaWV3IGdyb3Vw IGZpbGVzPGh0dHBzOi8vb3V0bG9vay5vZmZpY2UzNjUuY29tL293YS9jYXRlZ29yaWVzQG1xLmVk dS5hdS9ncm91cHN1YnNjcmlwdGlvbi5hc2h4P3NvdXJjZT1Fc2NhbGF0ZWRNZXNzYWdlJmFjdGlv bj1maWxlcyZHdWVzdElkPTRlYjliNDBjLTliM2EtNDhhNS05NzgxLTgzNmU1YTE3MWU4Yj4gICB8 ICAgTGVhdmUgZ3JvdXA8aHR0cHM6Ly9vdXRsb29rLm9mZmljZTM2NS5jb20vb3dhL2NhdGVnb3Jp ZXNAbXEuZWR1LmF1L2dyb3Vwc3Vic2NyaXB0aW9uLmFzaHg/c291cmNlPUVzY2FsYXRlZE1lc3Nh Z2UmYWN0aW9uPWxlYXZlJkd1ZXN0SWQ9NGViOWI0MGMtOWIzYS00OGE1LTk3ODEtODM2ZTVhMTcx ZThiPiAgIHwgICBMZWFybiBtb3JlIGFib3V0IE1pY3Jvc29mdCAzNjUgR3JvdXBzPGh0dHBzOi8v YWthLm1zL28zNjVnPg0KDQo= --MCBoundary=_12401160337460141 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 David =D8=A7=D9=84=D8=B3=D9=84=D8=A7=D9=85 =D8=B9=D9=84=D9=8A=D9=83=D9=85
[1]: https://github.com/1337777/cartier/blob/master/cartierSolution15.lp
Indeed, AI assistants extended by proof assistants could be used for politi= cal outreach to crowdsource the editorial review of research articles such = as this Kosta Dosen's univalent polynomial [functorial programming][1]. I c= onfess I stole your ideas from your `polytt` github and rebranded it so to get a tribalist attribution to me; = at least it is not robbery like at CT2023, lol...

## AI IN UAE

This Wednesday 17th January 2024 in Abu Dhabi @ NYUAD has this `The AI Math= ematician` (CQTS M-theory) [conference][2] by Yang-Hui He.

And Saturdays in Dubai @ DIFC has this `DubAI AI` [meetup][3] with 1000+ pa= rticipants, sponsored by editoReview.com a new methodology platform for the= editorial review of the AI intelligence at the interface of research artic= les and tools/plugins API.

## AI-PROOF-ASSISTANTS

Last week, Blaauwbroek-Pestun announced some form of AI-proof-assistant: th= e Coq Tactician's API, whose goal (should) include how to interface AI assi= stants LLM with (=E2=80=9Cdynamic chaining=E2=80=9D of) external agents/too= ls/plugins API such as proof-assistants (or weather sensors).

In today's digital landscape, a developer writing an AI prompt that orchest= rates an interface among various tools/plugins API is akin to an academic a= uthor writing a scientific article: therefore, the ability-or-not of AI-pro= of-assistants to intelligently use or search within an interfacing prompt or article is a new form of editori= al review; and is prologue to any eventual (expert) peer =E2=80=9Creviewing= =E2=80=9D (i.e., coauthoring) of a byproduct article that cites the origina= l article.

This methodology is being implemented at [editoReview.com][4] via Microsoft= Copilot Studio and via the OpenAI [ChatGPT GPT store][5], and is governmen= t-auditable thanks to its Microsoft SharePoint back-end. The user types a p= rompt such as `Start the editorial review of the arXiv article =E2=80=9CFunctorial Aggregation=E2=80=9D by Da= vid Spivak` (or any Bing-indexed article in HAL, F1000, OSF, viXra, etc.), = then the AI responds with a basic question to qualify the user as having pa= id attention to the literal article, and finally the user challenges the AI with questions/searches for complex (i.e. =E2= =80=9Cnatural=E2=80=9D) knowledge that should be AI-inferable from the lite= ral content of the article if this article is indeed =E2=80=9Csensible=E2= =80=9D in the context of the training literature.

## MICHAEL BARR ON EDITING

Yesterday, Michael Barr wrote some historical stories, in the category theo= ry mailing list, hinting at some challenges in academic publishing such as = editorial reviewing, peer reviewing, refereeing, and its non-reliability. T= hey wrote:

=C2=AB And it was duly published. But if the editor hadn't been a friend? I= don't know. =C2=BB
=C2=AB around 1990, Bob sent me an email asking my opinion about an online = free journal on category theory. ... The papers would have to use TeX which= most mathematicians were not using, although many were learning. There wer= e no browsers and the papers would have to be distributed via ftp =C2=BB

The lesson here is that regardless that the technology may not be ready yet= , the essence of the editoReview methodology remains valid: because many re= searchers are already using AI assistants to =E2=80=9Csearch within=E2=80= =9D research articles, it is feasible to do so through a tool such as editoReview which _keep records_ of these crowdsourced inte= ractions in the format of `whether yes-or-no the AI-search result satisfies= the (qualified) user's expectation`. There is an analogy in law: how the q= uestion is framed and qualified, and the creation of a legal record of the data, are more determinative tha= n the (impotent) argumentation itself...

## CALL FOR PAPERS/PROMPTS

Following up from my talk last week at TFP 2024, here is an updated [Call f= or Papers/Prompts][6] for an upcoming workshop, collocated =E2=80=9Caround= =E2=80=9D ACT/CT 2024 and edited by editoReview.com, on implementing Kosta = Dosen's functorial programming with higher groupoidal symmetry (homotopy types, univalent higher categories) and with polynomial= algebra (polynomial monads, databases, effects, and dynamics).

The basis for this implementation is the ideas and techniques from Kosta Do= sen=E2=80=99s book =C2=AB Cut-elimination in categories =C2=BB (1999), whic= h essentially is about the substructural logic of category theory, in parti= cular how some good substructural formulation of the Yoneda lemma allows for computation and automatic-decidability of categori= al equations. Polynomials truly arise from the dualities in the many ways t= o store the data info of a category, i.e., the substructural logic of categ= ory theory, whereas Univalence is what would unify Voevodsky's homotopy type theory (symmetry) along Dosen's= functorial programming.

For concreteness, here is some example Lambdapi code which shows how to sto= re the underlying profunctor data (over a category of elements) for the com= position of two polynomial modules:

constant symbol pmod_cov : =CE=A0 [A : cat] (PA : mod Terminal_cat A) (B : = cat), TYPE;
constant symbol =E2=8A=B2pmod_cov : =CE=A0 [A B C : cat] [PA : mod Terminal= _cat A] (R : pmod_cov PA B), =CE=A0 [PB : mod Terminal_cat B] (S : pmod_cov= PB C), pmod_cov ((PB =E2=87=90pmod_cov R) =C3=97pmod (Proj_pmod_cov PA)) C= ;

-----

[2]: https://ncatlab.org/nlab/show/M-Theory+and+Mathematics
[3]: https://www.meetup.com/dubai-ai
[4]: https://editoReview.com
[5]: https://chat.openai.com/g/g-SBreMtSAF-editoreview-com
[6]: https://github.com/1337777/cartier/blob/master/Kosta_Dosen_polynomial_= univalence.pdf

 
 
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=_12401160337460141--