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.3 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 autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2094.outbound.protection.outlook.com [40.107.108.94]) by inbox.vuxu.org (Postfix) with ESMTP id 9A36A2B3B6 for ; Thu, 22 Feb 2024 07:17:47 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ksRWF/Mtay0qDtkqDl9Agc3jVPmMsmGMal/lxD9cN5gPNGcvr95fckfPQ4H9TEg4ewzg1rukXtVlc2qVxmCrh6HalEt1O3wDsQXLIWi9xcEIewRg+3CnCsGpNRyYd84ehVLLQ6X4XkAQIt5NXZwdAhK5FW7JYppClryiNVCQh8tN6/284LRMSnDj75EC3crESMgbvaIa05H+w3dhrgShfbby5GQ1ZAVkD+c/Q1AVbYsvuC7zPk/y1wWyoZq+Q5bD5DWNvdPIhvSONLnTAvfWb0FvMiRueGCzn1HDYjRBjjzLhy1lMjveAh3BZPKaajkmuGDdW7nV49SDBgBhlXFAsA== 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=L/bsggfOZgUMKXGQYEbe/ml2TVDWMBc3Zt9zfpEbZkc=; b=Muj7ZzT8hXgq+CFS425owVMJKEHd2t1Bd3OTu726nFPTCq9xcXB2RDeNpMz/pQd/IvWApHxnKJzyHZSgTaMH3V3RCp78WSWaFEHeUCP/GIn6REqgumEN8uwpGyDpljiHeRjVTeClmJMhQ92SMUX1j5u743QDn+m1K7B0rzpGRdRtoTJVJ8Po28XgU+TFCSGGCuJ9cUfvY7yF5x60LqADoX+9ElPIVR2bTci+xxB/1wkmEAghVMawatCraOp+nxzGkx3GHtwA7b2XmbcO4G4QIt20vR/7WSFslW9MVJ+8LSn767AnuTbNP8aOxWRbzUGkkTYsBRkg1pobMk77LgP1kA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.215.175) 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=L/bsggfOZgUMKXGQYEbe/ml2TVDWMBc3Zt9zfpEbZkc=; b=YblKPPTy65w2haVgWZHwVke3o6Zm33CjN2r4P0SsLFt/dP42EAAUYqb38Ty4ANGclk8d/gKuI22tBDSBEAtYgOfxXT2Y+OmD9NK7CCQBJe/5i+qISLOhdIw1UNrz1KQMiV+6PEwP4f0fvJSDfpxZtkw7smNc6tuyGsScpe+8nzU0uk4rHYApXld+twQFO3hP3SjVUs4nWBJnhPBoD3sgJQftDQlLKlW8Bpff52MiCvqKUG/mdWjE1jp7W3fCxxDk/OOihXMk3r5BGVpPeiqCe8l9ZlqCx7LjfBenpzXGxfM+EOXRL1s7vJmF/Rcem9GH0li/axLVovWqbAM1vZzMeg== Received: from SmtpServer.Submit by SYBPR01MB8041 with Microsoft SMTP Server id 15.20.7292.39; Thu, 22 Feb 2024 06:17:44 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=GD4T7S5Em3N4OM5EZxFkXXa1g625nxvDCdNTL9StocJM7rzlbBuxveB8jY8GsFhCo5jvfOhF4Xl71+GrdDtcvHHMsGpcIdL7oGnP5+pIMbChcQTIzgL3VHprEpKNCrQP6lYj6aIWW6yd8CWDcr6Xiy2Q2OKt0rREx/1goDokSQboIJawdCtNG1lowY6+sYHythrd0tMN9MhWRp/SAp8nbWsHG/V3wG7sMdzib6/nAWcK1MHTnItRXDlPfmnCe9yKRmlN6kFTD/Sn5mAhDSJ/D2BDStmE/8L6xRFKAC1l4nDFbwmsmWJ+uVjPCcTdxzQ31WBj9WKixDc6lKLRNeISKg== 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=2P8HalYQTLtukHXTCvv7Y92ULanSZVG7i5ROlMjFebc=; b=g+VVWTyxhlwFplv2dn8cSEQxHqQldQqgToOcYCM24GJpbIkgvQp2hCuRUAeAlW/DT0eJqECTX4wh+ubVgSp0DUvaHuSFBjvQYPMsARXVheCPMS4vsp4VTmUBUofptbE8nJ8mjo7wVfBoDfX7DR/UjqE3u9mtZDAtaT7QvVYOq8fnjTEs8YqXud+aabNVP+aA6MxNj0MSXdk9DJpN7+6BRd29kbMK2Ta+Mzyl7mCHu6hATXziFD/sASSUBdQwwrT522eoqsi3BRehKw8yQ/bTs704rx4tLLOkVTj2i/BjdD3suFWY9EjH9Ri4Bst13HZgiTLUyoyzxhIxtOeGxhZaaA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.215.175) 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 SY4PR01MB7843.ausprd01.prod.outlook.com (2603:10c6:10:1b6::6) by SYBPR01MB8041.ausprd01.prod.outlook.com (2603:10c6:10:1a0::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.39; Thu, 22 Feb 2024 06:17:39 +0000 Received: from SYBPR01MB8556.ausprd01.prod.outlook.com (2603:10c6:10:1ab::6) by SY4PR01MB7843.ausprd01.prod.outlook.com (2603:10c6:10:1b6::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.21; Thu, 22 Feb 2024 06:17:33 +0000 Received: from SYBPR01MB8556.ausprd01.prod.outlook.com ([fe80::7fb7:39c3:716e:817f]) by SYBPR01MB8556.ausprd01.prod.outlook.com ([fe80::7fb7:39c3:716e:817f%4]) with mapi id 15.20.7292.029; Thu, 22 Feb 2024 06:17:33 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Ya/VVNw/S0GHPqP1g6XOwXUWTpWE5JC0qg1vdtSMQs+W5ZvW9hH4zuTj/hRX2eE6MG/4IOQcmDPgGAOdbsobiERjY8vgjT7iB83eQipNIFQ0t80G9uJtL7PSq06n8DNPpn0UsbhNrX04/Y6Fsbomkd3Kw7RQ99+duaoIaJVnAPS4vqf+Kz0HXNuZXGvIHqLD5mQLk934ieL3ZUbro3/YgohnsbwvNJ4kJrTB4aOcue09ZbIkQ7NYiA5fdM7b2Oso+x4ZDUvRsIIF03LzBQFFufgNwgCUqEyAAg+cmUvUUYdu613Jv7tnvJp0Rfb7rzu2Qkf+rv/xHVNk65Spxy+wUg== 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=2P8HalYQTLtukHXTCvv7Y92ULanSZVG7i5ROlMjFebc=; b=MS22I2dOKI6098Bd6Z2+BRL+P7JfoBDrAJ+jXhsmcaNgnqAw9+b8xICi05MxvfTeShG9lH0B661ZStNA08pXocT2v0HoXjRLO8T2RwdMg7W2tbbHliSaz3hgPSV6g/wyGmCHuY291L2B/yr69wqzKg6OPn8uZaWK2Fctr1udqk5UkFjILV3mXQjxPTfr9E2rM0+dHjUg6NseslsI/uAKHHH92gfw+wydXwZ2Ps7fS21C93reebdvLxCDP+jlLeuCFmFEPtG4EhC2V8WfQua28ohdxqOO750FEfUdkMBGTo7vpOKtJ9kqCq6bzX+vN+jXQsr5lUNN4BuTG+NKGqDtjQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.215.175) 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 SY5P282CA0034.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:206::14) by MEYPR01MB6773.ausprd01.prod.outlook.com (2603:10c6:220:12c::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.23; Wed, 21 Feb 2024 14:47:47 +0000 Received: from SY1PEPF00005A3F.ausprd01.prod.outlook.com (2603:10c6:10:206:cafe::c1) by SY5P282CA0034.outlook.office365.com (2603:10c6:10:206::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.39 via Frontend Transport; Wed, 21 Feb 2024 14:47:47 +0000 Authentication-Results: spf=pass (sender IP is 209.85.215.175) 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.215.175 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.215.175; helo=mail-pg1-f175.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY1PEPF00005A3F.mail.protection.outlook.com (10.167.241.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Wed, 21 Feb 2024 14:47:46 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708526866; 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=2P8HalYQTLtukHXTCvv7Y92ULanSZVG7i5ROlMjFebc=; b=mnpQzbKlBtHg/eV1SQQcavdOkEiMYM3N+oocfGhgfL18JTzmH+SrzPJYUYlaLySmVXqwFA v2YU+R0gQYejqedtNvMkKszaRe1lfHwFiDgMv1c9u89Kzp3shNrwYXxjtfJcdSiv/daLem numDgFNmPYsPsDkNsIPzgtB6rTEcXRDQH8ksDHNoVG5qJZbedf0ViXVDVYOO0KbI8ZWjIR mbEeyux6+dZibqPjH0t6wm3SDvTh3pnFShegHgEY8MpfhqBtGvVtpDhOAloHhPb+jhiUFY ua04hhc8CO7Xr4OwqwFbMmFe758ZWFtlHIp9sRpI7woTjxy1JQ59wMhKcbU7SA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708526866; a=rsa-sha256; cv=none; b=QYlSbRNiZPepsC5Xua4jTTXVgAQuOBttPuZ+xtS8fCDlKoZaSXObu+2uHXZL6mADc+k8pm l+UmdBRrV28eeKELl+73mpbEVdE2zo0sT5zp/p7LtGIemv7SWXopXjB/hVNg+UhA5ldtat qC/xJ0ZgLO2uAYKD9NMBflawUzpywpKdiYXvB/9uLz9o2odaVK3C+8K9Q5e4dSQLT/dhGd agxda45hG/MPBsYS9bZFMnkh8iZ1fX7mto5BUr8IYO9RQOsNln/MeaP3xRH7+DzooWKzv/ vuyxmf62PkMvMjPxAWPAh8SYzIw+Cw/FZjY5Cyi7tFJWxtAjb4Z7tHi0M9F/Aw== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=VEZdiosM; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of weinbergerjonathan@gmail.com designates 209.85.215.175 as permitted sender) smtp.mailfrom=weinbergerjonathan@gmail.com Received: from mail-pg1-f175.google.com (mail-pg1-f175.google.com [209.85.215.175]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-50-Y9ZRhqn9OyCbdHteSN3Hcg-1; Thu, 22 Feb 2024 01:47:36 +1100 X-MC-Unique: Y9ZRhqn9OyCbdHteSN3Hcg-1 Received: by mail-pg1-f175.google.com with SMTP id 41be03b00d2f7-5e42b4bbfa4so1109965a12.1 for ; Wed, 21 Feb 2024 06:47:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708526855; x=1709131655; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=wtFYjIEaXWAWfQnn8walhyc0y1dBQesHub3m8aS9la4=; b=VEZdiosMhOaoxKKCXaF/Up1arrRebufncYXYdNjEgSgMqgLignorOoW3Uc8CB974wE jJXsk2KouZkqShTIMVgcg8lHTdneDeVW60rTptjgVnfNeJd2/s4TQL+V+xUgU51rB4dW R5pTIGPzIM4HUMrGAjmvWwTCnDWJBcoOaWJDTOSscU/0lHVnY4xRPMy3+NVL157hgNVb N9wRcNg6PPFWrepBE9DsWXWh7ntGTSaPSL2YbaGTHTpyB4OV35ImS+earcx5JeIeHmYW Yd7o9Bs5LUYpIceY4n8FhOP410Yf/8akfSxLkCjcQJ+b8s30zdmHkpmJ1xHH1h9BtIHM cQZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708526855; x=1709131655; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=wtFYjIEaXWAWfQnn8walhyc0y1dBQesHub3m8aS9la4=; b=IMX30t1v+BpQZbmFBSqk+G6dnVG0KKAUQ/B/+XkA65J+yHE+7ErFudApOrNIU/9SMH tYv29qBel+U5HS8qMJLCUoDBqgD74I5uyhOMohJ1k2sazm2N23Xev9J9JWSuPU1ZUqvg d6T8q46WaOGHIU+1gKikbivBQkwGu73VMFGAcDRWmkzou2VC9lSfl/NwYyIzWiGaMh/N /mLkmeK2LZeCYqRtDaQTAbN6QZuy8df/0g9SA4+zIRDFTgoq5v3dOM66KgRuXwSTxOnb vpmyY2G9lIS8BRyul9TkiCXuEnXYtUzNAZlc4BzIhTd6PcctzJYbJov2l1Z386JMbNzw ujqQ== X-Gm-Message-State: AOJu0YyWlPk5RbAkKeyJ/gf+bcUzg+2KqYnpZdOLNbQWTvPtZFy50ogE XYljyYVp85HZQDqqJRz6+cwbpt0YQ/pldVfxW7bJ81C1SbhQ/a0+RBUotfxPHA+brG5EZVeSpyk 1rAcoOz3KwbBlTeo6f/NuOHUJLWyUaxYvMXaIdeqM X-Google-Smtp-Source: AGHT+IEPU9nbbuJ15UN4Q/ODK/uWZF/fD0bsnD2iPu/Bw/JXjEDqHplys7O8tN0u9ec10F3cBIuySAAnAGp+IUoh4ow= X-Received: by 2002:a17:90a:1648:b0:299:305e:68fa with SMTP id x8-20020a17090a164800b00299305e68famr13905753pje.8.1708526854439; Wed, 21 Feb 2024 06:47:34 -0800 (PST) MIME-Version: 1.0 From: Jonathan Weinberger Date: Wed, 21 Feb 2024 15:47:23 +0100 Message-ID: Subject: Call for Participation and Registration: HoTT/UF 2024 To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=VEZdiosM; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of weinbergerjonathan@gmail.com designates 209.85.215.175 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="0000000000003f89ca0611e56871" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.215.175];domain=mail-pg1-f175.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.215.175];domain=mail-pg1-f175.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY1PEPF00005A3F:EE_|MEYPR01MB6773:EE_|SY4PR01MB7843:EE_|SYBPR01MB8041:EE_ X-MS-Office365-Filtering-Correlation-Id: b9a3d776-1016-4dec-5e7b-08dc32ec119f X-Moderation-Data: 2/22/2024 6:17:32 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: 7SalH6wiIRa1GOwAWDc3Rp2nmn5Y4uGo9FQUsCDtoypMAxTXaQUKyRHPufQ8/m14+npsU+Mvq+3o29fMhq9WMZK+iFVjvx1XgKbUtQGYea2/gli+M7y3UuD+lepw1LJP3RdhsNW9mAyjs3oBsuw37kXvHEWcHhHsdPD1gqjj4e33EBk1CXScS8UTDVwGTNtQk8omdzqKbDfI8Q/h7zyMVDIjF9bKj0yTmkefyECd8iwQOTM559l4ht3oYWMHiNFPUTHysF0yAI9QHPIh9nUhpCQMI5/LsgywXW2JYytHOFKZjHOZtGCzCJdQ/CaCoGBLqo7/ab5Gu4UQVKkWuDK2Gipff+JdIwtUnDGDXbU33sT/jlSVlbHq4zL7CAIgzXfLInzA5OA2ceqnD9SSvsVGNofrzwbJOXjU80GozLV59btWhyuvifaZlJzRsmFlPtQmzC++z6s6J88vxPFq7pzRciicRknBRSdMihtSBd7IN8Yf9HcyXDLto3ZSeFLX/lyXKLZRh+BQR+z8Kf75YuPUnBJLbbjrp5b6jk70CFD5xqpCLr5Y2Hy2QhGG+lL4hZ8nXM+FV6wmKzmDz5u28ykvac/VROoctm3xS/Wi6WBPkQjUutAM+aY5x9188a9IkmX6kGC4FnV1nIMjuM+fVYwwZ8ObI9WWqRujB5RavMWU4LpSYHDPJ8IDJ3KYU6rFw9ZcNWEqroa4XoKScPXySYVRHurfv89LYiBr3n9bMgkpL5o= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-pg1-f175.google.com;PTR:mail-pg1-f175.google.com;CAT:NONE;SFS:(13230031)(35950700004)(32650700005)(40470700004)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b9a3d776-1016-4dec-5e7b-08dc32ec119f X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF00005A3F.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 Feb 2024 06:17:33.7898 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: x04j97+lnECmBFPTfZCgH4kZmQAVmnaQtN6ttwi0zXSsIJ9HqDkwaqqEWNWOhnpBhHyGQX9dXvFlTDmTVytem+n/Nx9ij2f9oENQNbP1GK/66unGTvPmn8hOsCyMqIwqrdJ4yqEXmJOVow5wTWOswTPMvOLRLjNVdUTscoCyf0vU06S95d2Zicr1X+GtukcD X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB8041 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?UStJOXFubEJORGhhVjIwNHBTTnlPNTh0Ly91QWtWSnMwU2pibkdQNjVFa0Jw?= =?utf-8?B?eHRiUmdWaXN0aFBKV25HTXBiZjRQTU10RHVKUlZuODBZVFJ4aXY2UVJ5eWt3?= =?utf-8?B?VkdvRTF3T3dJeksyeS9sQ1B0ZmRkckN4b1BhZHpJU3VUeExkREV5WjVrQVJX?= =?utf-8?B?SjR6NitiVlpHY3llc0hNbjVFVTZaa0h1UTBEVWhnaUhQeG9qTVNvamx3cWl2?= =?utf-8?B?UjM0cUNHc3dYTE51T0d2QXJmNkRVbFhRMUs1VDhGMnIwWTBaY0lNQnlZSno1?= =?utf-8?B?QitHRXRlYTdicGQzcE1YdEcrSTB1RnNsbEswK1g4bkwvSGI4N1dpbm9zSGlr?= =?utf-8?B?N1QrVkR0R1NzSnlpQmlYV2hMTEJjTTBOb0F6Y0Uxam5ZMGVwUnk4MFpSQkND?= =?utf-8?B?bTFyTXM4WWs0N2gxUGVVU0cydWdBSGdnaTN0bDhXQUlGd0NvcDNYajFQUERO?= =?utf-8?B?bVhvdkhRaFduWGFBWTV1RTJnYytQVzlWQTRlQUR5UTNaLzlkZmoxWWpGbUdS?= =?utf-8?B?ZHFxVlJtL3hLN2tvZDlaanYraUlUTjVwSlI5THZ2bDV3SWVjdm1VdWhVdGVL?= =?utf-8?B?dHNtMWFyL2cvVW11QjNSek1aeVBMcnRMMllhYU1xMmRSNFBYSnZKOGl0Vk1E?= =?utf-8?B?NFA5andERE8wRzE5b2VoS0c5dEx2WmN3RU1la2h5ZmJBQXpZZ2V0cUxFaUh2?= =?utf-8?B?THF4Q1pKS2l0dzIzNjQ5UEVhei95bjgxd2orL0NtKzNQTEJRYmNaSEVhaUFa?= =?utf-8?B?L2xwYkk1ZFB1bVltQ0dpN1lEY2lLa0NEMklDZVdoOXJyTnNCNER5UWk3em8x?= =?utf-8?B?Y1FMU0o1cGovUjc4TjkyMy9SelZXSjlvSHVGT3dYSWJpcEZjZUM0Z1ByczNN?= =?utf-8?B?N3RQdDByVEVFN0wyc0liOE8xeXV1UXJWNlZHM1VVRnFQeVIrbFFpNHpkVnc2?= =?utf-8?B?dmVUUmdjU0pweUJFNGVHclA3N0tmQlFoc3dQTEFqeVY3Zyt2MWt5QUxSbzVi?= =?utf-8?B?Q05RdEJ3QVpMNTR2SDZoL3NxWERPVFhuS1pDWmdVODNnUTNDd2hKKzlyQlA3?= =?utf-8?B?SThvQjdlcjVZdEU3alJYNkNPME9pQ2p2R29CRFBsN08yaFFvMHZIUk5wTVQr?= =?utf-8?B?VlI1TWc2bkkxYTNKOXRUVnVUVGFUVG54cjAwL2s2UzRsQmRPZXJBZy9rY2dF?= =?utf-8?B?WGVpYWdRVUYwTE1yaDdFOTFMMnR6dUZ0S2pERDhKNG4wa2kzNUlkcDRzaUJt?= =?utf-8?B?Vkp1dHFFYThzU0k0MlVwdEdlZ3dxc3cxd2p3QnpOZWNmL3Q2bkhVQmpRZ3Bn?= =?utf-8?B?M0t2eUxuN1M5YnFhVm5ib1VUMjZKek5zbkRGT3Zab3V6ZXYyQkxlWlZVdXE3?= =?utf-8?B?Nm15cWh5WHFaQ3ArM1RXSWEyYS9oWkNUYndNcEVzemR1RlgwM2d3WDBpSzgy?= =?utf-8?B?dGlBMDBlbU1qUUIzSjdyeTNXRkJTWFpnaFpKYkZkdWZKRENCM2VzQnBjaHVD?= =?utf-8?B?b3pmYWM0eHlORTNBelFRNEFSU0pKYU8zd2p4U1lKajlYaTdTS2lQSzlUM3I5?= =?utf-8?B?QnFqOGhmcXlMYWxmM1FTZ3RQaDVNK2xUSk8wSXZEdWMvdnRhdVpiMm5YT0xK?= =?utf-8?B?QnZTZXMzZTZXNUE5UlVYSGtKZkFkYXRPT1dqOFFGZGh2Rml6VEVaQ3ZPbXZy?= =?utf-8?Q?b7V6yTJ7kPJ+8PsgCfx0?= X-OriginatorOrg: mq.edu.au --0000000000003f89ca0611e56871 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 REGISTRATION FOR 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 # Registration Please register by filling out this form: https://docs.google.com/forms/d/17WFBrTRoa9f3ZkKDpDlPAQFwvEFTreOAqbxC4XWLO1= 4/ Registration is mandatory (also if you're attending online only). Registration deadline: March 8, 2024 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Invited speakers * Mathieu Anel (Carnegie Mellon University, USA) * Rafa=C3=ABl Bocquet (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary) * Matthias Hutzler (University of Gothenburg, Sweden) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D # Contributed talks Authors and titles of contributed talks are listed on the website. =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 --0000000000003f89ca0611e56871 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
REGISTRATION FOR
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/<= /a>

------------------------------------------------------------------------
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
# Registration

Please register by filling out this form:
https://docs.google.com/forms/d/17WFBrTRoa9f3ZkKDp= DlPAQFwvEFTreOAqbxC4XWLO14/

Registration is mandatory (also if you're attending online only).

Registration deadline: March 8, 2024

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

* Mathieu Anel (Carnegie Mellon University, USA)
* Rafa=C3=ABl Bocquet (E=C3=B6tv=C3=B6s Lor=C3=A1nd University, Hungary) * Matthias Hutzler (University of Gothenburg, Sweden)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
# Contributed talks

Authors and titles of contributed talks are listed on the website.

=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
 
--0000000000003f89ca0611e56871--