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=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: (qmail 30906 invoked from network); 22 Nov 2023 21:49:35 -0000 Received: from mail-me3aus01on2097.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (40.107.108.97) by inbox.vuxu.org with ESMTPUTF8; 22 Nov 2023 21:49:35 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=nJmVAw6MxuTqkfhqggOFk3AJ7RsNdmQI47Cmmbmc2z/QsNkylbqwHKk3mIDh9VAAacW5gd6HitJqK/e87blYBxvSbXTivasTdoHpd+qU2Enh8jhu7PlljPI5Au8e0X//PQD9isRrhvU2OeOWU1iXoenmCmEa+nbbtms4gNAEXTrNNvVW+Dzq7kUa6I36U5SizIdefj615cCzqsEyVQ2LcNQnOMXwuEqWxiGX7QKBkoBmJtgCA7YhlZ+OazBWb8jfs7cQuZZXn4zRB4HkY69WLCsUUlKNiKNCNBUGDM0OFkbrN1jkKg9uxX547G5PBUXMB99Y6w2SpLq4Td6/S6nNnw== 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=jkhFL7RCnnJ5kjZmadUCJ7idJpxQ3M52p141m/Mtl1Y=; b=MP0pCoRfpxZw/p7d6jmq22zhsEyivBO8qtEvLloro+Y+TW3bLhl7IDXp/FwfzB3gl9BY0XKZ25sl9EBIpxvuCbkzBpMz+5pZsgcCr+/UIDX5oxxAyKNWM72dI9bEV4gefSPkbMkvitWsBggvaBGHUx91DVf0pZWjDlr4r/ffqHDEjylXkrdoEzgM1fxtJx4nKqqPBNgQ9W5sUnv3QYUU0oBSpgyp6ylj733aBJE2iHPEEF7qWu2pYbkEE0DR6sBU9MNT9/lWCt/CK7khdyVSu2I4sBJekHY3lfrmPJrALg5aaI1K32oyQ8X7Q9PEaleoRaDxIWzsqnyG6lTzqABthg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.214.177) 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=jkhFL7RCnnJ5kjZmadUCJ7idJpxQ3M52p141m/Mtl1Y=; b=C5CpoVSYqn60nAV7RMNCjZP0GyKAWYb6fowU5TX2cFLrChBBkikKtfnnAAWIffFy5+7pM0nedJs5CXqd30BDb3DG+iGmc8xR8nsFLVfpPsne//IN2x8pMI6xZCGGOhB/I8MUZ9kqH9nN5BCwt8IEQ4FnA3oZhBjV2bGALbFPZSfcD7zMpYCBZeO8bi4QGaqlaoefG8X5WsaXOyo6O54sw4/ZdwIAi1XywlIpZ9M4bf5La4TrGCmbLtIHlm2RWy2PeXOv71V/7Xgf6NCy/hl4Rf6mhNkJCFpy4emA4NySb401H1nngyxQtdfbawpkc2iVPU8Momf6fVAsGrEyXrNMnQ== Received: from SmtpServer.Submit by MEYPR01MB6311 with Microsoft SMTP Server id 15.20.7025.20; Wed, 22 Nov 2023 21:49:31 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=DjzRFXw5b1MUSpGY5byRebkP6hYd4xYF9WML548sV2DePlky/b4UcUgGT7L0ngUhYsb0YxGj8OVzIyrNARCyVHGmqTBd4IsrM4sej0tiuD7g+IQEi80zKsGHnbaCBKODE+TBomeZRCCjyWsU2emOGSFP9OZcSe1rkMlvFX39cHfOP1+J9W8uVLMaDypVrc7s+GQ0gRj9AFVafTgxgOyLXOGR1ZVlbCLKXafIXuj/Qqkj0nsOlhGgLWkuKlCgD0SgGvloEawheGaIr8DleUmvcdf7/akoQ213txSrscj6IgbLfEvq6pNMko4O6FgRijyKf53T0epXE+PTGuoZaohiZQ== 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=YOd9guFUaTqU+KXrQYilUsz4fUSMLMxWqGHnGVrN4B4=; b=jr2swyLz2Gf+CcFoJnzWYDJwej8ZOWMygrtKzbTyvRIN4ZW1CTTZW16ZbywOLdHqk8HcTdqsHM7qmyhogwy++UlQicInvmMHP8mGgn8m0DJleRCB5zPpaxV9srUfg1Bj/nC5OK5sAL7LZ5Fx6ldONWbVT3FFWZWxHPSBilp1yAy1F3oKETqnzlPumBwwyeVOAbRos6os9h5OLr6ykLvE/yYL0wH3BmKvVGL2VBA8Aes1zeEVs++ryb1/zmLS9n/m/PH85yiSDCVocY7A57eNTXcmYAEnrW6FumpHyOQ1ptfZcRrcQStKLNlayTntuHfFZKrxTcr6Q34ioNNO3sq4pw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.214.177) 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 ME3PR01MB6435.ausprd01.prod.outlook.com (2603:10c6:220:f5::10) by MEYPR01MB6311.ausprd01.prod.outlook.com (2603:10c6:220:fb::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7025.20; Wed, 22 Nov 2023 21:49:24 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by ME3PR01MB6435.ausprd01.prod.outlook.com (2603:10c6:220:f5::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7025.20; Wed, 22 Nov 2023 21:49:21 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::542e:22b6:4af1:aa6f]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::542e:22b6:4af1:aa6f%7]) with mapi id 15.20.7025.020; Wed, 22 Nov 2023 21:49:21 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=n3sNdwy+L4TzIgoSkX/v5sa1SsQIWC9nEB7Q2pMP0qv8w1lRISTFwwvMyW8zZzIkf76YWyxDiP2FNmu+YDRkkbyExvQGDmvdJ3SPb7DAwwyVX96DMOwr8o5XY3k8nKMiUiqnWbdiTpvKceI5YQ+mft+/lHwa9EThN28buBMaQ8lr5Itx0SUlZF7HkrpaNdCdUevY5OlkYHjZ4mS/5sqdRpecfr7yJ1uQchY4tgmrU/M3lFir32d5B73/pJR5O/H4X8c0CG+ZPpsJW8ioFFDC1wl/UI5PRSVprZaW47R5AJViDWKk9/cvUZ6fz7yszSp38jPLZaHIqgFHArpa1jRThA== 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=YOd9guFUaTqU+KXrQYilUsz4fUSMLMxWqGHnGVrN4B4=; b=TLknoO9AnrUI8cfp4UCmIlz2e8jJtf0dxjFx1peu/tALhbLnNlO3soTKDqJ8XV8kj4LXIH2QC5Ix5UIOWCiFQveKNqQZdXC8IEOdYIS5mWcvvxBQxtSZVCCPm30pSmtxAY36bDO7C8Fi1zZIW8ZenU2qnaBmeiLXVlFQU5XvqwR5A9f2BAfb0y5Yr+G3R84/wT3dTxIjpOCEoRdx2uvTu4WFlGgDRAAlqc2AO+rYA7rFNkGmcoNKri/2xGR+ufqFCZPpETULgaMbMVKCLAZEnMue68XQdKsO38yKwa9xJPYDHx82a4/B7mM0z/tznc/d/gmsAmk+V9XK86oAq4cMtw== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.214.177) 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 SY5P282CA0138.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:205::18) 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.7025.18; Wed, 22 Nov 2023 17:06:31 +0000 Received: from SY4AUS01FT020.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:205:cafe::74) by SY5P282CA0138.outlook.office365.com (2603:10c6:10:205::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.28 via Frontend Transport; Wed, 22 Nov 2023 17:06:31 +0000 Authentication-Results: spf=pass (sender IP is 209.85.214.177) 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.214.177 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.214.177; helo=mail-pl1-f177.google.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.7025.20 via Frontend Transport; Wed, 22 Nov 2023 17:06:31 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1700672791; 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=YOd9guFUaTqU+KXrQYilUsz4fUSMLMxWqGHnGVrN4B4=; b=T5+tv6qbKZW+4pbLTgF+cU+PWtDMNqgipz9Lb3b9ZrUV0v8A+pF8Kk90D46DO2Z0OyPnzB L7qsW+bPSF0ZgGRRdhHllWyoYR1Gogim/vLnvkhH638QSb7vPz0u4sKVvjHweHqOBT22bz XE9Maou5bzJvZYuNe5nTyfxagpZ8DIj0chFsRZaiTLefnM5KxmE+nqw8os1Lv6w/MNDeGV x1rDMAs7jaU5HIbYXzuKHoiMWRfFOCCi0kFRXp7y+oHw+SPs6Cz4pzWa4AylhLAxwNj1VK BmWG+huIo/ge6EyiVqBPKeLUoH0BK7g7ON3bECWmRZYXyvOip0uH1qV83LoaFw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1700672791; a=rsa-sha256; cv=none; b=Vs0cN+L1XnV9qOeahbMOZrJhMGeja4xVsl7EDdQfcKrOi3RmgcgaDXJ/sZwMho78mPUK7c uEw7CDrF2VfuvY63++zEv+2kCpwe20fwV1mKg3JQPmZASPcfn0tsPFF87YApcuujoH3lLr g54cdzLwzqBHZuow5HcSDfMStM0NeEt4DUMBF59b6DEd8M6r36lvBVuDTy9/2dJF7W6KgB ca7kCF6s+NZy2RYkEmVXmSzvd2Mqz/yEXnCi4vl7Pcdg85jTRJM7VBlXcI0dK0ZDRU4so2 luA53wn9dE4O7XwPTGViSKvHFa8kAf9RfECRVtkx5sg1YA0tqllCXhlLYHJztg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=N73HSTfC; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of weinbergerjonathan@gmail.com designates 209.85.214.177 as permitted sender) smtp.mailfrom=weinbergerjonathan@gmail.com Received: from mail-pl1-f177.google.com (mail-pl1-f177.google.com [209.85.214.177]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-97-MTYCYVXXMWeYI9Ofq-JwAg-1; Thu, 23 Nov 2023 04:06:28 +1100 X-MC-Unique: MTYCYVXXMWeYI9Ofq-JwAg-1 Received: by mail-pl1-f177.google.com with SMTP id d9443c01a7336-1cc5fa0e4d5so58706465ad.0 for ; Wed, 22 Nov 2023 09:06:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700672786; x=1701277586; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=4MTr3wKBOOqs1TjcB763tOtnxVvpTdVzPbAeT1+LrQQ=; b=N73HSTfCS/u9XwSg1MOVoZQL/cf1MRSFgx2FLmMpQbCSTFlJSFjLAH/yrYRPsYEfgC LOiojLo/2pK4NU50EgudKgptaKHJiq4a2WOTooWnp91TUGbotQQbAtI12mCXdOF/KOC8 IiEIzCSJFu42BmaOBeLYoK9ABc3Ks2k9S3N7TdJ5fkjFT7HMkTRkHZqYG24yCkKWWNoA e3X1Pg6DjWCgVDbFloxx2iKFFxaKAYVuppWbbJ3JRdMI1VgIU2hm+yuqB6qP0JAbSMOv Q1eS70aDrmOy3+F3eC2RQ0713bHT3TtkGUKHSJcoR+tNvtRxz8PVXIbjJpSSbb3J5PIN VpcQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700672786; x=1701277586; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=4MTr3wKBOOqs1TjcB763tOtnxVvpTdVzPbAeT1+LrQQ=; b=C6+2ru7pIqPRYo12ObqMMx9axhlEvz+/QrxkIz6PVOex/JkhzWm6jvnowLmOdp1SPH Lp6n0VIXOUTcOwgYNL7myihR6N0qs/bgBDivYWXqSaTEuJAZFjs5WxBIuGQaUSge8hLu IFdDHopu8UNI8M0eXEMUdVFoO/iOjr1ZRU/qOqDJazx2DLDEiFZDnkAVqmxtku/xWGb3 UW0nEPyy4qlLegQaWRek0ImGwVXHsN0A2pM52BRRh3tyMjAqXivZejEtVL4iHX6udBxF oovak3NU/AAWWBAqOadCMo9bSs7Uo0oYS4GCcbrONjIdIVtERBP0d5K7s3ks8pxQ29Bs nuXA== X-Gm-Message-State: AOJu0YxXx+P8Zk9aJHa2mhq+TKkrgBpjGIM6pL08nU6oiGB+BqaB6gvM /IkbtpsA9dkTN6IjWKgjpVGd/BmHrxUVVtpAFpPv29r2XGpOzQ== X-Google-Smtp-Source: AGHT+IH6vIq2u/xpwTFCPBJ/Naqyz9Payb/pxehXWCc6YqVirioWuW0dlo5NLGIUzef5l/lInl7P6UQVs/P5PsuzAV4= X-Received: by 2002:a17:90b:38ca:b0:281:5b8:15e with SMTP id nn10-20020a17090b38ca00b0028105b8015emr3436595pjb.12.1700672786239; Wed, 22 Nov 2023 09:06:26 -0800 (PST) MIME-Version: 1.0 From: Jonathan Weinberger Date: Wed, 22 Nov 2023 12:06:15 -0500 Message-ID: Subject: HoTT/UF 2024: First 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=N73HSTfC; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of weinbergerjonathan@gmail.com designates 209.85.214.177 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="0000000000004da228060ac0bd8d" Return-Path: bounces+SRS=7tw2W=HD@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.214.177];domain=mail-pl1-f177.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.214.177];domain=mail-pl1-f177.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT020:EE_|ME3PR01MB7261:EE_|ME3PR01MB6435:EE_|MEYPR01MB6311:EE_ X-MS-Office365-Filtering-Correlation-Id: cfd69e60-e0ab-402b-54e9-08dbeb7d5ff6 X-Moderation-Data: 11/22/2023 9:49:19 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: CpzgxSmAHzjIZWdofuM+Si6o4BsKw0AzneE9x5H8u8dHeg7CRjDO1Fi5wPcib5sALFagxVh1Q9gwCAJIBmzhixUCWK4+Io3m0HARQmPOcI+oIERM5GCzyAyndKJIxVdUw6mWa3BIvGQm0Zl1tptJ5VJbj2Qbh4Q2Scphopm0n9JGJp4G4q4krRe8sjnaUGl+tbJfvXXLyPmidElfaiV4CT7ckkUPhqhMAX9Rok+nnu0By1IpeESTrOwBTG15utNvsQC2032fJU6uzl9v5wWCx1Xaj+JkchvfEVevxZstP578PZCQ9Eh633mpnrb9ljMkTHmjkF8b5zjIuIHeFc8R1Lakj91h7ZK0rzAJ50Xupa0VcLm5KK5eOHLb2FAydBZyFPvCht/x7eVV0nzOtmawIfCRdXETAn5AgWWWFxZrbsOXJn/AaC0hLP3HCSA3/CPo4giIhBDvkkZbI1YtSrg5Nxwme0vAXSK/UvME8pmHzTqfFsBmDKDrqdjbk2JiY4SaHT3RQYxG3oE9Mv8UioShQvYM7J+X4pnVj14W++eo4bAWBIiFJpEzpSjGF6d5uvoRuenQIAuJYA8Q8e0KEWWFESAtSkRKExdww1uD/DBnpsCiUZJoO0WLzTiygVNN875s6M3hc3IxTXmPQ8LnBiCuWsYfshYPXN6ngFNAhiIBL6QRfHxygznL+YcGhii2HmAtHXq2Rd2OnCI+bW+ho7N/h1HgkpBrL3R60wYSdgXpo7ELFfGLk+IxkP8m/SH6W8TZW0sfBEqwCSmrI9WEG5WbkAQR3j2eM0t3+GA1fHI053y59SKmBAP6jY6+QcQdBH5wfL55A8QzzLibof6RfA6z/HbJ7FF1/wC3kSEgiu4q1BzECFnoaeWnIR7YMohwic17gGPliXRFqMiEH4Tr7qfl4g== X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-pl1-f177.google.com;PTR:mail-pl1-f177.google.com;CAT:NONE;SFS:(13230031)(4636009)(396003)(136003)(39860400002)(376002)(346002)(48200799006)(8000799017)(61400799012)(82310400011)(451199024)(64100799003)(40470700004)(76576003)(89122003)(966005)(40460700003)(498600001)(88732003)(336012)(26005)(73392003)(82202003)(83380400001)(7596003)(166002)(7636003)(86362001)(35950700001)(55446002)(32650700002)(82740400003)(156005)(32850700003)(6666004)(33964004)(7276002)(2906002)(7416002)(5660300002)(7406005)(7366002)(7336002)(40480700001)(41300700001)(786003)(316002)(70586007)(68406010)(76482006)(42186006)(8676002)(8936002)(34206002)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: cfd69e60-e0ab-402b-54e9-08dbeb7d5ff6 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: 22 Nov 2023 21:49:21.0263 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 01WCoj5WvdWZpyqmW9Y1rvm04qstgkUwKal0cSQ3OrzQH5CoKNTcsdT9piPlWg/Qpr7QeBH638EDXF68E9par/5aDVR+MpPQrAUENLlilEwIFCrkHU8VS22N8D0qnhYDwpkN/XOl649ENYGYQvVIwkfAmqGxndQWObpol+hayP3xVnaqczEi7mCNhr7xmjNB X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6311 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?MFg4bjFMbUV5dlo0WC9SeW5SMDRLTDVWN05vNjFEUHdmY0YzcGtPbk5ZR2J3?= =?utf-8?B?eDc0N0EvU0lWUzhsQi8vTkprUGg4Tjg1SjRNVE9nTU04N0lPcmxhTzJOMVd1?= =?utf-8?B?TWxyQ2dCQWh6VCtTeG1uQ1lRRmk3VTk3ZDRwc3lIQUpWa3lBaWU4WVFTdlI1?= =?utf-8?B?cWVyaEduenI1eld3bmREWTNabmsxL21kdVo5MnR6K0NPNkpBMHc3ZjRiZ3k5?= =?utf-8?B?MTdzTVF2UFhUWkNEdmE0R2N6Y0RPV3FCZWNoa2lzTTR6QXNOQk1hY3JiSjg0?= =?utf-8?B?WCs3Mk5WVXh0RXUyWW4zejhWTGpQelBvYmdGVTd3V3ZmVU00UzBhVmdUY3g4?= =?utf-8?B?V0IzY2o0Smd1dlYyU2gzaWZMc1BDZ3BrbnZTaDl4SjJsWTI0UTI2cHBnVmZL?= =?utf-8?B?Q0VLN2lxREFEanlWem1rVzVuL1A5bzF2em9Wb091QUFVbm1CaTBrWTk3K3Bv?= =?utf-8?B?ei9heVZhRzREaTQ0MDJVOXBNekdONzdBS1k2MUF6YUlRb3VVSm9mV1F0K0U3?= =?utf-8?B?ZWpDamRJYlRjeHNnak1mcndVMmVyRnJCekJiY3lTM3ZWME1LeUdjOFZ5Ui9l?= =?utf-8?B?eDVvdENRRnJyMzJFM0t0T0t2dG8ydU0yNDhCOHJpeExQNjRFTUxseTR4d0lt?= =?utf-8?B?MFZHUnB3VmljenJlNllFbTFPNXV1TUsyaXF2UkdLZW56eTJOZ0NhYUhxd1px?= =?utf-8?B?QUJSZ3drTkRHdnprYkdyMXIzUGVINytTd3VBV1RSZjNNejFEOXFWL25leDh5?= =?utf-8?B?VTUxcFkxaU5adkQ4Y1BCMDA1WG8xMjVBWENCME5rSTBRSmd5ZTNyK01zZzRs?= =?utf-8?B?dXRCWnltcS9KMVJ5QW94a2tNcjVqS0xDV1l6ZTQxTUVWVHlBTFlnRjF6anhR?= =?utf-8?B?WkF4N2pabWhSYVlkbUI1bTd6bFMvMjdWSkFxZ2VJZnZZa2pETGtJdUphSFY5?= =?utf-8?B?b1QzYkEwQU5Wb3F2NVJjYWkvNnNYc0dlZG5IQjFrdzAvVVlxeUc4UnpyN3Q4?= =?utf-8?B?S1Y4VTNXbHB1bkVoSE5SQjBGUnZVTlJNZkRGMGxyU3FnVlRnRFNZWmQrdkJt?= =?utf-8?B?YUZ4b0hIWENvajRDOCtIcE5acEl0S2Y5QnRIOTNTaUtFV2ppRFIxcFZxdUFk?= =?utf-8?B?dDZsWm01WmNDa2l4TWtmRG5pZGd4Yk5XKzNIMmJHVnVJOWpWclRwVHJQenls?= =?utf-8?B?dTlVUmhpMXZrUk04SHkydHFRejNEaHFlaXovS0VhdzdRTUVyR212UHczV3ZP?= =?utf-8?B?b1prZW5LTGZlT0plUktTNkRZZk42RDJVdlEyZFRPckQ3ZmtXOEhlSlh1MGJG?= =?utf-8?B?Zklkd0dSWnNLMXNkZEV1V3d4U3V2YjY5dHR2QUJydmFLWWVnajlHMDhlR01Q?= =?utf-8?B?b2hjdmswYXZCU1dqczRybW9tVnhHTUJLaGQ3TVlmR1ZjemRtMndZYzIyWXpk?= =?utf-8?B?TWI0VzVkU3psMGRZTVZzRE5tL1lsU2R1V3A0VER2ZS9kTkxVM0JMNU96SUpj?= =?utf-8?B?OS9QOW9RV0p6UXdjUGFtZmRSbE9Lb2w2L1lWOGJpNW01WDVsaCsreXVlZTFn?= =?utf-8?B?OWp4aVh4REhGU3FMSGpNbDlOUFEwdVByMUg4dVNsOUZzV3ZDQ0xIRVdodHFQ?= =?utf-8?B?TkZSNkF5b3VUYzVPTG0wRnJNR3A2L1FBaWlXNk1GKzNuMlNPcEZ0UGpNU00w?= =?utf-8?Q?8jjxD1al/UYlI0DVz5Oe?= X-OriginatorOrg: mq.edu.au --0000000000004da228060ac0bd8d 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 1ST 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 # 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 --0000000000004da228060ac0bd8d 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
1ST 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
# 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
 
--0000000000004da228060ac0bd8d--