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.9 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE,URIBL_SBL_A autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01on2112.outbound.protection.outlook.com [40.107.107.112]) by inbox.vuxu.org (Postfix) with ESMTP id D628120551 for ; Tue, 16 Jan 2024 21:31:02 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=NpeaSU0cJ1WWLrVplHylVPizP0lJJXIXZ+nsyD56fuWnQEzOOda2bSP8WoSPz9gN0FPuvJOGhd01BcC4N4tE/41VYeBZsjyAEGpUYSISFHq2ltT1Tnj+5i731442xjpY2mUYU/m/BKRc9fAo3pnRJ5KfnR8SdXF/kQ60+BiWrp6KxTUXPUp+ab09F+a1QnlQBmmlxi+ZEGMIpBGRAYfcNr/JJgQz5vzryNJh/QUqu3O5HcPYFTuHDlcnYqDtYQILKcWrK8BLw7FW6pj2iZxm4kc9ovtUuVpkvdmmNbQBDnHVeFJsPBpQdkok0X6h8nDaVD2rJQmYjMHzjs/Yr9ICbw== 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=ZXI1epTnJWaDR0aeb6jK56N5DCI/+7KHCduyufQ4BeE=; b=SXiHfq5b64AtyaLuFPVKBvNhFiquXjo75zoyor+Xl5FVwDoH+xXj5e9EdYg1xDlwQzajel3MIXyZnjYVH+aR/Gmpr4qMXgMlU/o61yDr7qsc+BKeufdKReA7ACCzDJlDgk/Hx1Vzf6LwTjLTD6LhqTCZcVBPypyW89ScGCDNqB9Lwq489n6khVz5c/BdpTQnhvxhfZSP6VQ10jghgYY9TXvnOmYhNJGhqvZU731E8NCozumSSMpUR7HrpyWlIll+0XLwSt4+hBlcOUabgN3pNSljQZ5rIgvdXoUGILlbrT/F0unFeR5ZN1v4yZbm9HuZrQzhqLPsxQGTOkDE6gmgsA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.216.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=ZXI1epTnJWaDR0aeb6jK56N5DCI/+7KHCduyufQ4BeE=; b=Vb9rIqaGbMkOW6Auj+QK106GAOnd3aYG4Uk2gzHLHL2YTBMfyYi596mUGqYCsUT/4qGZWxqsTqZagth+q0mDYHF2AHU/ovjV6Nzm2QOwx1fZ0KvH/cUqQG4SohR/XH2uiXeJexZoV4UylGrmCg5cMF5qFHVVYkSC4SRrOth45NayN/v97d+lUIja7UVeSG5tGPiXwbiEkvFr/hF730Srt8nuFdvIcjA+TTI6Lm6XKMsW+idcNZVff1+rvUdBGcdpu5gqudYFb4iEFx1oFSn3RbE1F4WrqfxzL7+VzTJ2+yNqU0+4GjjLhvc6wfDWHdYZusTalpTqNQv6VuDXmHclLg== Received: from SmtpServer.Submit by SYBPR01MB6160 with Microsoft SMTP Server id 15.20.7202.23; Tue, 16 Jan 2024 20:30:59 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=i1UM1Er78kRD9kB7wFttPTyoe5SZKbq46LHHxXeeFKsQqHdejXW6AkFrMgaAe6641IFXCqNDdeBPBvpsJP0ZnknSk2vzsMZubWYLcsS/B1b3pzvCpRGmvT5P7SmnRN0TVuNwIhzE263kfHunx1CRGAkY+Q7XvTDJuEvNp25hFF3PSlECxlNfEecVJRXUVfzWFx45ST7Mwl3MGmo+gX8SBDWmCZibSldiCz0tIjEG+8gJVFiI+4sGxE7ka9oNDB6dXGy2NGlKJYiFCLbc2xDJRH8Ib63cIVewA2/+hkd8OM4ki5Y2KbW1HXJsYHn6/U/Md3VDmpWj3rSMvXSiCOydIA== 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=SGvNF5wccQQ7fM5Ey27LxRDsCCmrtX1YcbTm4uqZniI=; b=AHABoc6xpl7b2VAWs7R2IoZU1Ql9CMYYHlSP4n6q0Wb1KULa5B1X1Y90jxcJmp+QTkHHSthJ4pMIbjiKO4K6+TbAuxnX2pXqoSCRL48SwqeIQbthE5EZo7RG6QHhpQGx4fJ7fbPl9qMDiQHg5HI9BkpEg0BKIOge/zErva1A201RCkVgJcAHYqnppKaUosq6+T1gh7uBYTFITxikkhjUS+YAqqiUlzZTXX0XskhYOnZjImTvAchSPY6cVF091hnEFvZ6rwHB+HzILF4mh+OhVKLn//9CxHmMiq1KTZZqT/ebV7RpuHklsAuAcrVKIVv2fY/aKiegAKx8l9WM7nA5/g== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.216.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 ME3PR01MB5607.ausprd01.prod.outlook.com (2603:10c6:220:cd::13) by SYBPR01MB6160.ausprd01.prod.outlook.com (2603:10c6:10:107::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.23; Tue, 16 Jan 2024 20:30:51 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com (2603:10c6:220:3e::20) by ME3PR01MB5607.ausprd01.prod.outlook.com (2603:10c6:220:cd::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.23; Tue, 16 Jan 2024 20:30:47 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::2b32:cb0e:af94:3314]) by MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::2b32:cb0e:af94:3314%7]) with mapi id 15.20.7202.020; Tue, 16 Jan 2024 20:30:47 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=X2EHUKlWy+JQLOykCQR02kJvqvsOe7DdJq2y/O6/+wYvIoH1yqP+J15xeVbWCwYzUrhrUYmizCalisalqYzZMEAQUhLlV6D7I99Rg+qnaGfbUKHL1QgyN80mS0DqLjdj8zc/xm4e26c7gyvh1HvHNWw5M4qgzYD9UhPFitfASfcfLussjSVLNJuE6RzbcKh1unhj24d2qoisHbL4Y9e+RNZeVAbDA0brlfKPD4gZR8Z2exV8on4LY5sFVgm0X4BHXH4M6TlDQ+jw1NvkqTf/n9+6uCUhfh5ndSdKbOVlJNBbgfSayt6xIj8bbZtf5uZ59/OhjS0LZRdT+gtv9vdUbw== 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=SGvNF5wccQQ7fM5Ey27LxRDsCCmrtX1YcbTm4uqZniI=; b=ffnkytRKa55SFN/hFd/dKmUbHDLrX7XUiQ4sRNlJzNmuwzAJr5AvXzSf+8IbS7UkKUE6moopMgdnSu+Dzl9EixUy8Ch3t5ME0NYap7qe3bgGMLK5UlUPcobcyYRxrZqJ/fgAZ4yLkyBOe1mkYrLAnX/xaVTjCvSw5TZy+R27XcWMlWz8IJGm60Zj094j0D6KVgOQMHvMpfi4AF9FuaWTiYP/94/VaLAppfrkCjIuO+SMS+1GEEc6/MyCcvYruUgcCEPr0pCRXSnTn+1iKdRjbKvqAtlEsf4kzpKMv+uweMecUNR7MX0JwBq4YiHhHPUOKp4okUELNXqgqBG6iZOHZQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.216.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 SYYP282CA0004.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:b4::14) by SYBPR01MB7180.ausprd01.prod.outlook.com (2603:10c6:10:13d::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7181.28; Tue, 16 Jan 2024 14:13:47 +0000 Received: from SY4AUS01FT020.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:b4:cafe::6b) by SYYP282CA0004.outlook.office365.com (2603:10c6:10:b4::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7202.23 via Frontend Transport; Tue, 16 Jan 2024 14:13:47 +0000 Authentication-Results: spf=pass (sender IP is 209.85.216.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.216.46 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.216.46; helo=mail-pj1-f46.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.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; Tue, 16 Jan 2024 14:13:47 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1705414427; 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=SGvNF5wccQQ7fM5Ey27LxRDsCCmrtX1YcbTm4uqZniI=; b=kY68wzTMof6dVFVPUM2ltHGGAET5UGYL4F8CI1lM8Vnj9XDNnNQmXBQeYh4E9JOxYOclZ3 dsPOvtMBJDz03vJxjp61gKwC2xsW+u3MSu/jcDAHg3OS7gLFf5RwHAmp5/ESoR3lx8B3Ug O61iCu1bzeykAwUomF9CbqAnRM/PgQfG5EgI2pWAa8nQMkKosXSRfhpJyvhziX49rVl9f1 o+Cy1iXntTx6Xaqcsgh766kpdOxrJRt7LKMITFP/uYHsKoPbqBdpMC8UfRaGFU3jhsumBp w+wL46oWZ32TSbrGR8x/fFoGV2P0927OsAZAscVda7wp+93lPbPLmv3KuawJyw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1705414427; a=rsa-sha256; cv=none; b=aUdIBOJMtocUaHmXV6aJvxXdQPbevdlamr4N8+Vi1DGaboQXwB7jqQvpmcSVlb6+wwlJTj i9YdV6yQ0RtrDiPb8uL565FNSyr3nplqJI2sts5LIbj4hc1f0zXO661iwVvGDaksi9hlEI +ee6qKQRfcyGlZ12PF9xROgXXtKKwo7gaIlEhkoPhDFAZhwgp0T+9yfwuNPqHhtWGg+eCI 0rvCRltI3dEc3DxQFc9fv+eDaZlhHFgpMOWmE4opG8QhsPnUSIkslyX5P2JS3EDjDDpNee IkrXkrNk7vk1vlkFGRygH84zbMl6DaM7ekGakdcalQWIQtCSXZJQaSD8iI2Adg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=PQxIglSW; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of weinbergerjonathan@gmail.com designates 209.85.216.46 as permitted sender) smtp.mailfrom=weinbergerjonathan@gmail.com Received: from mail-pj1-f46.google.com (mail-pj1-f46.google.com [209.85.216.46]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-11-JdOp2DmdMGqTkzp7dmyfJQ-1; Wed, 17 Jan 2024 01:13:44 +1100 X-MC-Unique: JdOp2DmdMGqTkzp7dmyfJQ-1 Received: by mail-pj1-f46.google.com with SMTP id 98e67ed59e1d1-28cf491b197so4995497a91.1 for ; Tue, 16 Jan 2024 06:13:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1705414422; x=1706019222; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=I5uiWtin0rElaUaig1YLgvedN29dlfKMnI8rF9RVN+4=; b=PQxIglSW9PgsPvlpLJeESpHrNzboEdQ24jhYDOHWdMPp3yL9foQyqx37Ni2B/kJian 9gjV5HY01+/hbQjRnYDDiF9LtGOS4hFloWDJLNCQKRuNdwdkb3zAOwhn6KdR2qDRqCkp EOSyzY1nmzYT17c88YFR3W4xWbCyeXOAkTBs2C2LEBalnIXk39o02Lp7zbqzROdrsEWo FbJVWz3Cl2VZo+yXffgoBSWO7GJPHnvWCvdK3o/ee+3JXIaqhexEkWlxBCKKZF+pnvbx CeK1+TV3ISl/6keyjddZYUyf8LibRo9OJmNQIhTCXaZWSLmkTlBfBhbX80ksrhEeGdfQ WvuQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1705414422; x=1706019222; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=I5uiWtin0rElaUaig1YLgvedN29dlfKMnI8rF9RVN+4=; b=aOchX7gRiaUCFyS6rsTNYofEPSpQKacf4NPvnDEPCeLaeqerfznLsRufgyuqcnOl/f PCvk5txXsfiSOR/Hk1OzkNbLjo6AP5mNMarwiQbtun0WkCcqDQg4SUtyKpKEPB42aiX+ w0MbZgWEw6Q//CoK/G2Y6uLl4xeQE/eYK3TAaa5CQwkvEW5Zb9lxCNTInpiVal0Q7E+h h+7HiQanSh6ydCgMhZLuff73GQiqzAZRzwd7hRWKfQQDyiK41DH0XztHjRC0q4CQFcgw 8xvJWvm6V6t7SPIrufmQWnN6WTlF6r8ktvLSRn/WzSXEq8kNAvHTBQEUG/r6rNhNFqJs nLDQ== X-Gm-Message-State: AOJu0Ywz05gZzCSS09sO4YZL+76hmP2h1HcFy2xrjLRaAunWmxnFy35N EYGmRLsTQ+1/xQqo5I6Vpf69gF3nmLXwwx/c3e8CLBFvo/6coo0W X-Google-Smtp-Source: AGHT+IG8TLtICweffrSomCDLG0Ex5gsCzGRa4kRMqt+Q6p1WFuwSHiIvs9WsEecLhD1PJqnjlMkP1Z8A2BE4xVZQKZ0= X-Received: by 2002:a17:90a:a406:b0:28c:9b9:2c52 with SMTP id y6-20020a17090aa40600b0028c09b92c52mr3593023pjp.73.1705414421962; Tue, 16 Jan 2024 06:13:41 -0800 (PST) MIME-Version: 1.0 From: Jonathan Weinberger Date: Tue, 16 Jan 2024 14:13:31 +0000 Message-ID: Subject: HoTT/UF 2024: Final Call for Contributions and Participation To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=PQxIglSW; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of weinbergerjonathan@gmail.com designates 209.85.216.46 as permitted sender) smtp.mailfrom=weinbergerjonathan@gmail.com 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="000000000000d0e5b8060f10bcbb" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.216.46];domain=mail-pj1-f46.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.216.46];domain=mail-pj1-f46.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT020:EE_|SYBPR01MB7180:EE_|ME3PR01MB5607:EE_|SYBPR01MB6160:EE_ X-MS-Office365-Filtering-Correlation-Id: d517f44c-c18a-4898-42ab-08dc169d5b49 X-Moderation-Data: 1/16/2024 8:30:45 PM 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: qPYFZ31CXj7FsY4mIxHfhm1pgXjDnIuN/VDWI37DN1FgcmJkXkg813TGTUYgZjmNyoPtrbzw0IFedhPl/dEHgSgm2ZKda0en6B1s+2rTcsg0LSv6AF11AF/9TYJHnLIlpTGD2Uk6lAM+o7YghYzP4yZV/ecw+RmlIj3OBWrA7iZ7NLOi8drzX2la3aAtmK486Pi1i7lY3+yL2Ts34yb+BgFVE1ppJUsqtDgGETuDyG/ZeFPKIdL9FNLZDdDrSS16g/XqMHoX97smwW2lbKhIRXt1RA7kNkwbZpTfMtrAsPO7GXNRBUsAtopGLZL/U+aJ5il3UQueG1uL4kWBDervu7iK4nLmfQut0D4MvdtwPwPq6OlCL1mFQhtb9WcDkxNilJWtMT77i5pOzNUvcC6e/BNMJB168BKbZMJUUkwzIsMqhAeDRmlbgX7wJ4EK57UXff5yFRZOtxlqXPgkMMXAA7wEHtCXgVdfPyxK3Janc0EuxaTca1lv0mNKX9p6+hv4Z1V9qj7X8VpsIXjOYpe7BfkGuWr7RArGZxPnrzgg3PSdE7RLujkdEVXhs9Yrfd5NWtJ3FnxdHgwlbWyYSxPcEWTr7RhFn1qOmcTXInY5lHFbfpxC/CllifAsOW6TJxXkmD5R9AryMt4Yg8ypMCuJBy+U8WlHo0hJIzVWgE8U4Yi4uGsfgSahkP8ZE6htBa0XAsYAdwCbr0e/z/e6Biu+Ik/ZRh1NzaeVQDCqiwZ18kxW3ubODsYEedZaV7DBktgT8tVHCyKjZ9XdiPCF5qBLwInY1Ja7PtgRZbpSuIStKjhGzFV5+TdT7mHJwXudx5YOYX+Uoa+e6TTLjx0zTVYNap/NoC6ofni/k09YjcRIlnGO7ZR0sFaIcg/WVafPpCGsXDUNpfTy3Yfkc7hPBWnQcg== X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-pj1-f46.google.com;PTR:mail-pj1-f46.google.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(376002)(346002)(396003)(39860400002)(61400799012)(64100799003)(48200799006)(8000799017)(451199024)(82310400011)(40470700004)(40460700003)(40480700001)(73392003)(76576003)(66574015)(89122003)(966005)(88732003)(83380400001)(498600001)(34206002)(7336002)(7406005)(5660300002)(7416002)(7276002)(7366002)(336012)(786003)(8676002)(316002)(8936002)(70586007)(42186006)(68406010)(76482006)(6666004)(26005)(82202003)(33964004)(32850700003)(82740400003)(166002)(156005)(7596003)(7636003)(2906002)(41300700001)(35950700001)(55446002)(86362001)(32650700002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: d517f44c-c18a-4898-42ab-08dc169d5b49 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: 16 Jan 2024 20:30:47.7268 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: wLxFHUNksRbReMuPff5AES42CE2R5AGEBe/1/E9cRcisSM6D+WfO5ZrqsH8ZkmPmjZOEleZxo01qs+YbXwiZtRfPhjCsvx3Vh1iWXzsL8rgvJtLyc8LZVyMY9PLwDaCrPvTJoBFyw9n/xTUmZ1JNfgUGQpUPjKzkvIV63DoJXtRaTAP2uXcRDlBggTuxV7dK X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB6160 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?dXlRNncyck92c3MzNjZCTHUxazF3ZmlGb21Bc3Q5MjAvNHlDQ3NYZk1QMzJ2?= =?utf-8?B?ZHd1RUJSSjAwa0k5NjRLTTIvR21SaTNmdWtzSWJkcVJkd2VOZ2RSU1AwM0g1?= =?utf-8?B?K1UvWmdRWU95MjByZFMwZWhiVk96dnZ1Y1NJdkU0VCtSTTF2TnR2WUFESHI5?= =?utf-8?B?eFV4STF6dEJwRmpFaWNlMVRSZjkzdzVZem9kSi9oVjJZTGdualhOY0kwem9Y?= =?utf-8?B?d2ptSGpLQWNvWVVTa2h2QzF1cWU0dy8wRGcyVDVxYk03ZlRFd1dnbCtTQk9C?= =?utf-8?B?TDI1Zmx6bzhvcjhXcjArYmh0T2xlR2tXazArcy9OZGJ3THcrcnk5U3NkQlQ4?= =?utf-8?B?eTZyRFFZeTAyRWpXYWI2Ty9pN1BOWkVzTy81UExqVCtmZVF4NlYyajd4WjBa?= =?utf-8?B?R2pMY1dGL3BjWmNydzhlUFdvM0hrT083R2tBWllxV1hwSnUvc00zbkhNM0dK?= =?utf-8?B?YjcyVVVtdXEydUxadEJZVEg2SzNLck9MeVp4aGkwQU1zbGlqYUZpMWN6SllP?= =?utf-8?B?NzMvV2QzZk1LTC9OSUU0eGpPQVZVWUtKMC9HS2c4WEU5WDNRN2NYTVBLNEV5?= =?utf-8?B?Q2JneXMwTnFaU0JBZWEvMXAvOUltU3Q0eW5uUzUvRU00Q0wwcU8zcmJzQ0hr?= =?utf-8?B?NlE2cnJiN0c3T3U3SEgycDhpSHhtNlE1c0lNeFYybVZMeE1zR3QxVFVQekxy?= =?utf-8?B?SlRiOHE0TFRMNVplZW9ySE1BenZWYW5QZENIU1ZQaGgzUzBRL01GL3BtTHFO?= =?utf-8?B?aGFmRGxsTTdYTHdRM0haV3JGbDFHWU5JeVR3ZmRyS29OV3lobTNMdTV5ZHVK?= =?utf-8?B?dVVsYklqb1RMNXN2RDgzWUFYa3F5WDNUbk4wcWt2NDMwYnNsSVd5N21ROFZn?= =?utf-8?B?YS82bTlrUDM0enBPblVFOGJDSk1ML1NQWUZSRXBVVk9IYW51NVVwUGVQbWFB?= =?utf-8?B?VWJGRW1ReUZiQVNYRHV3UnZFajlWMHVma084T3VKaWRRWVBmbGR2V0pVWGhL?= =?utf-8?B?eEVyMVRTNFhuUUJIWk56bUZveUgxUGZMU2FUN1A2QlgySVNwUFFkbXZrYUFG?= =?utf-8?B?Wlp6YkJDa3RlVWFqRHloY0lHcGRwV1ZudXYzdVBrUkxuYmFaSUdSSmRmbzRP?= =?utf-8?B?YnhEWXRlYVRjY2srNUMwUFlrNnRYaEFGNXllMXNVaDlOMHh4THRycW9QQlhv?= =?utf-8?B?akFjMnVndjVTazlxZUVLQ1lvampOb3cwa3FpRWdBVlF1VEh2MEJZT0VhZXFN?= =?utf-8?B?Wm93VHpHU0hoRjJHVmxQWERWejlLL0s3VnhTOXVQeTJqL3Rwa2o2ME03ckFQ?= =?utf-8?B?K2VOalp0Rng0ZUlUVVk0SGwzY21ZcmJkVDh1UjM1M2gvdmc0NFJTRXczT1Nn?= =?utf-8?B?WGFMRHVyS2EweGZ1cCt1OU9sdjZLTzVEQ25RY09RZk5CMUx0d2VnNjhvWS9Q?= =?utf-8?B?ODMzWmdHU3ErRXJvcS8vblNydUJiRDBSTGdTNmxOdkhVY0s3ZzgwUkpxYWZV?= =?utf-8?B?ZWlzM0drSG9yOENibitQWVpjR2wvQ3BKOEZreXE2L2VFUFhZRlgxU1FoSUcw?= =?utf-8?B?QURuVG9pN3o0eGJmUWVBUElhNm82QlB0dXM0TmRFRitUTDYyZlBuSzVXcDF6?= =?utf-8?B?UmliN3dqeWRiQWx6R2lIT3JqODZkY0hvODVLZ2d6bFJsVjFpY2V6WGtoQmRO?= =?utf-8?Q?qgAPn5YAJTCdnE96u0q/?= X-OriginatorOrg: mq.edu.au --000000000000d0e5b8060f10bcbb Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D FINAL CALL FOR CONTRIBUTIONS AND PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2024, co-located with WG6 meeting of the EuroProofNet COST action) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D ------------------------------------------------------------------------ Workshop on Homotopy Type Theory and Univalent Foundations April 2 - 3, 2024, Leuven, Belgium https://hott-uf.github.io/2024/ Co-located with the WG6 meeting of the EuroProofNet COST action April 4 - 5, 2024 https://europroofnet.github.io/wg6-leuven/ ------------------------------------------------------------------------ Homotopy Type Theory is a young area of logic, combining ideas from several= established fields: the use of dependent type theory as a foundation for m= athematics, inspired by ideas and tools from abstract homotopy theory. Univ= alent Foundations are foundations of mathematics based on the homotopical i= nterpretation of type theory. The goal of this workshop is to bring together researchers interested in al= l aspects of Homotopy Type Theory/Univalent Foundations: from the study of = syntax and semantics of type theory to practical formalization in proof ass= istants based on univalent type theory. The workshop will be held in person with support for remote participation. = We encourage online participation for those who do not wish to or cannot tr= avel. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Invited speakers * Rafa=C3=ABl Bocquet (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary) * Matthias Hutzler (University of Gothenburg, Sweden) * TBA =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Submissions * Abstract submission deadline: January 19, 2024 * Author notification: Mid-February 2024 Submissions should consist of a title and a 1-2 pages abstract, in pdf form= at, via https://easychair.org/conferences/?conf=3Dhottuf2024. Considering the broad background of the expected audience, we encourage aut= hors to include information of pedagogical value in their abstract, such as= motivation and context of their work. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Registration Registration is mandatory with a deadline of 8 March 2024 (AoE). Registrati= on information will be provided shortly. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Program committee * Pierre Cagne (Applachian State University) * Evan Cavallo (University of Gothenburg) * Felix Cherubini (Chalmers University of Technology/University of Gothenbu= rg) * Tom de Jong (University of Nottingham) * Eric Finster (University of Birmingham) * Daniel Gratzer (Aarhus University) * Mitchell Riley (NYU Abu Dhabi) * Michael Shulman (University of San Diego) * Kristina Sojakova (INRIA Paris) * Jon Sterling (University of Cambridge) * Andrew Swan (University of Ljubljana) * Jonathan Weinberger (Johns Hopkins University) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Organizers * Evan Cavallo, evan.cavallo@gu.se (University o= f Gothenburg) * Tom de Jong, tom.dejong@nottingham.ac.uk (University of Nottingham) * Mitchell Riley, mitchell.v.riley@nyu.edu= (NYU Abu Dhabi) * Jonathan Weinberger, jweinb20@jhu.edu (Johns Hop= kins University) 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 --000000000000d0e5b8060f10bcbb Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
FINAL CALL FOR CONTRIBUTIONS AND PARTICIPATION
Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/UF 2024, co-located with WG6 meeting of the EuroProofNet COST action)=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D

------------------------------------------------------------------------
Workshop on Homotopy Type Theory and Univalent Foundations
April 2 - 3, 2024, Leuven, Belgium
https://hott-uf.github.io/2024/

Co-located with the WG6 meeting of the EuroProofNet COST action
April 4 - 5, 2024
https://europroofnet.github.io/wg6-leuven/<= br>
------------------------------------------------------------------------
Homotopy Type Theory is a young area of logic, combining ideas from several= established fields: the use of dependent type theory as a foundation for m= athematics, inspired by ideas and tools from abstract homotopy theory. Univ= alent Foundations are foundations of mathematics based on the homotopical interpretation of type theory.

The goal of this workshop is to bring together researchers interested in al= l aspects of Homotopy Type Theory/Univalent Foundations: from the study of = syntax and semantics of type theory to practical formalization in proof ass= istants based on univalent type theory.

The workshop will be held in person with support for remote participation. = We encourage online participation for those who do not wish to or cannot tr= avel.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Invited speakers

* Rafa=C3=ABl Bocquet (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary) * Matthias Hutzler (University of Gothenburg, Sweden)
* TBA

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Submissions

* Abstract submission deadline: January 19, 2024
* Author notification: Mid-February 2024

Submissions should consist of a title and a 1-2 pages abstract, in pdf form= at, via https://easychair.org/conferences/?conf=3Dhottuf2024.

Considering the broad background of the expected audience, we encourage aut= hors to include information of pedagogical value in their abstract, such as= motivation and context of their work.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Registration

Registration is mandatory with a deadline of 8 March 2024 (AoE). Registrati= on information will be provided shortly.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Program committee

* Pierre Cagne (Applachian State University)
* Evan Cavallo (University of Gothenburg)
* Felix Cherubini (Chalmers University of Technology/University of Gothenbu= rg)
* Tom de Jong (University of Nottingham)
* Eric Finster (University of Birmingham)
* Daniel Gratzer (Aarhus University)
* Mitchell Riley (NYU Abu Dhabi)
* Michael Shulman (University of San Diego)
* Kristina Sojakova (INRIA Paris)
* Jon Sterling (University of Cambridge)
* Andrew Swan (University of Ljubljana)
* Jonathan Weinberger (Johns Hopkins University)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Organizers

* Evan Cavallo, evan.cavallo@gu.se (University of Gothenburg)
* Tom de Jong, tom.dejong@no= ttingham.ac.uk (University of Nottingham)
* Mitchell Riley, mitchell.v.ri= ley@nyu.edu (NYU Abu Dhabi)
* Jonathan Weinberger, jweinb20@jhu.edu= (Johns Hopkins University)
 
 
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
 
--000000000000d0e5b8060f10bcbb--