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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 7705 invoked from network); 7 Jun 2022 06:51:22 -0000 Received: from mail-wm1-x33c.google.com (2a00:1450:4864:20::33c) by inbox.vuxu.org with ESMTPUTF8; 7 Jun 2022 06:51:22 -0000 Received: by mail-wm1-x33c.google.com with SMTP id k5-20020a05600c1c8500b003974c5d636dsf8444192wms.1 for ; Mon, 06 Jun 2022 23:51:22 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1654584680; cv=pass; d=google.com; s=arc-20160816; b=z+W23VBvg0w7zATQMlP9RJJ0zSquVCCSspdhJsYzqN7ArUEkNzzWbkDrbMF0GBQEsG uxAz9ogqMLfPEzR9f5ygIkhs/CJO1LMnt+35aNcxHcNhlpy7wxITT8dIy/QrmPhxrx1M 19fmCNywhEKxa6ZhdeEkMChglh0lt6s/PMQQbytwwpnFjT7fEIxnGbGe4QFObCyqiyjM IP7irdrItd9VY7Jfa3XYhoaZ+zPH6RopjEaXkRz3q7xkr3cLHOzHVBIsM/2FQFAyDqUG BxPjUD/BNxAuuuxfRHogixFgQa31wwYCLGZHJPz4uhe7UVJboPkR1b53pSyFcM8tbSA6 ujZQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version :content-transfer-encoding:content-language:to:subject:from :user-agent:date:message-id:sender:dkim-signature; bh=WmqNaELMvX89SLA4yEGINLnBVjBz9Hp+J8r2wo5f2OU=; b=hOICso/kbMO5As3+jgFww/94bCtMOrGIPob25t53jQczIN+Wth4NmLd2wRWx+binRd kpdB74zjpsRVYI7m59tVpbQUzHQHOF2qEFF3rBgLYN2KmWERXEzR//wR7f3bcUtcYg0Y KZShnZUjTNZ+HnKLKxI8WaK4UrhTH07XN6z9A+k2pbwflv+AoIvLI8I67KqZ38QNw3J4 6nj5nV87PaCD/02yAYZJLyoZVjHiG5VOPZieeVPq+8EUYILsU4ZTX6BhXQi+i5tXfZcV IQojX2IZFn0/IDKh7u/rZClVomV2rrwj0q6JHJnl6gKNlrg3SDgqx7nHNHDXCaTopDAJ e7rA== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=RLUsMIYi; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f400:fe15::621 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:message-id:date:user-agent:from:subject:to:content-language :content-transfer-encoding:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=WmqNaELMvX89SLA4yEGINLnBVjBz9Hp+J8r2wo5f2OU=; b=oec0Hoc9Xt0PVfP7EPSAUEIT9JeHVasMN6iv8Vsc5ad5n0gWwcqAYVhKHXZUl+/13H Om/i0cCTCQhpTcM4yJHtDpZfpVTOy4PtGUFqWoniQOKqKWgm/ZzBp6V85Ft8wwi+F/Nx thQF5RzkJVPPXCVSSuUuNjiHyCfku82VdKQvgynFdOM5j1D4vQPHg0c5A+mSSOI6i9rK dLmmjtMFBd9pl47kIjfyOEjjjNvSlKjvK/Doi792Fk5YeYi7VkqN6vkU3uD1t+gcJ0RW iW4QiQnXaFToRJE4SXjgjRYMe/N0Gn930hsiZa1DPDU54hxF+cw8ts04f5ITpY1XJDeI ucnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:message-id:date:user-agent:from:subject :to:content-language:content-transfer-encoding:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=WmqNaELMvX89SLA4yEGINLnBVjBz9Hp+J8r2wo5f2OU=; b=Wzd3oym8w/EtZo0Cn9PvQ6CyVjjGrnegPYvSxbFqOsjqhUMzF95fTFzI0EObzBkcTJ Cd2zfMaa4dUV47bMQFxMDFy5DtE102YZ7n8kYZAYOR06HwIMWvY3GxezlCDmWraVarlQ EbwS7OSNb+b7qlIE1jsmStfuzxi6+/FsBrkk/YY6MfY3DQhL5m9MOpX85OlRFM8XeKwL 3oJpKrzkWJNya/59fbCsDjd61yDCyK1eJxy8bo6CLGmT8lnFmf4km2EJzdokofBL+7ga 5Iy23zVRjfQ/IMPKIdRiiUkftoFJ2zFUXm8hOnVDX5ibuKcFfQDnRDPsN8TwnaZyT9+x lTPw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530+dieHzZ/HTNPYu3cEO28wYCF5spmxrIF4r85tA97KOzIzBVuB fnRQcs0ALHd+y1YN2Cv2VcE= X-Google-Smtp-Source: ABdhPJzAz6KECKNtYNKuExlq/r7C3DLQaRpFrGqgQnSSKGn+6LHsXHC81AeK7c7d+98/r+543DRpIg== X-Received: by 2002:a5d:44cb:0:b0:216:9664:bf07 with SMTP id z11-20020a5d44cb000000b002169664bf07mr14747027wrr.175.1654584679923; Mon, 06 Jun 2022 23:51:19 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:6dab:0:b0:212:d9db:a98 with SMTP id u11-20020a5d6dab000000b00212d9db0a98ls3327071wrs.3.gmail; Mon, 06 Jun 2022 23:51:17 -0700 (PDT) X-Received: by 2002:adf:c614:0:b0:215:cd85:bd88 with SMTP id n20-20020adfc614000000b00215cd85bd88mr17089407wrg.437.1654584677873; Mon, 06 Jun 2022 23:51:17 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1654584677; cv=pass; d=google.com; s=arc-20160816; b=gBDnZVF+VTsH5bUZjMXn7QK55qJccj4TX+1jQvfrRy/ElxLzN4/poYcUTutIsLrqjn t3IuIrJib48khH1a9cJzKBjgf4LL1TclWDzfeghjrmEFZCglxKxISCB/QYMZFAO4wRN3 NpLbO/sZtyuUNVSvXOpgjriOKzRMRWPQOEEBb6uO+QvkYPBwEb42Q54Rv4k+ENSeW0D2 tYIRudEVbohC5HSWGHNQuxpkkE/p9gajFCqo3hQosIkkzsOPPFkFJVj5/p1piVvrqQdW v/OZnNqKOyxxfNwmMIlfQvbtRc2OBgWWr32gMiCeCEuwkHj912Jly5+fVAQuRXfUuJFf P5WQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-language:to:subject :from:user-agent:date:message-id:dkim-signature; bh=+jT3CRXcsE0f7LNOh+6PzGe6aAXKT86SLB4WX9r1MuI=; b=Ze9JsTRcMeC+gHfYPYsZbKaCpHK29SCB17ZIjm5UKNSHK3+orWJfmJzOFZ9btbbrDz QYAUQr1sIO2WsqdNk8Jn3w3lLfODWGvNjI1pIpAbbvAF5MIbBk41kjVAJ3cQLF5GZPRp yW1j1/fi0rZY4NZs0tzhXalthn4chmvkpm220ObuKkwPh76BU1qosM4FaYR5SzRGBiiz wHXkFQUYr41KB4hoHRHnJTTDmL+ILCEoNUfCcrQqiRV9dtFrfp33pYqLvHWZ/WYFO4pi TwMKTORw+hoql2F19k4qP+lXIc49Z8z4EnEN1QoR8zktjBqWDJ+U5zqp40bb+90jGn4m 0Q6A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=RLUsMIYi; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f400:fe15::621 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk Received: from GBR01-LO2-obe.outbound.protection.outlook.com (mail-lo2gbr01on0621.outbound.protection.outlook.com. [2a01:111:f400:fe15::621]) by gmr-mx.google.com with ESMTPS id o24-20020a05600c511800b00397320af7e9si839313wms.4.2022.06.06.23.51.17 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 06 Jun 2022 23:51:17 -0700 (PDT) Received-SPF: pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f400:fe15::621 as permitted sender) client-ip=2a01:111:f400:fe15::621; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=hbA9fFMadq61lm02S3003AMNdG5sp3DxzsM1Dhu4lXTr5vWxGYRK7RvjiLX43M+ht//j8gvky8W90rVLMJjWpshx+C3WDooft71/wweeqCwlxrz6NETP2KOY3qCjTdZIZy922ShTG5/wDvyQVWQ9huvlcZ/QsXW8gZ/ENsTE5pd52GYnyhjBXt4auUOliZpOJX3s+yMK/1KCgcyjTi5YhkRs+tyVhz1yruwO2Q3QpcaBhXMO7jbKPBz2JjbqGown393CjMcMx00LmlLf3qUM0TytRtA5dk9PgQOwKhO/rvEqQRmGatoCd3GAI+9e/HJNROSkHIR0sSHGBRsLAg1m6w== 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=+jT3CRXcsE0f7LNOh+6PzGe6aAXKT86SLB4WX9r1MuI=; b=Vw50H7IDjv+99s7pobTeKG90jkDs9NWjLmYFj8ECQXTuk20TA+N40LuFB3Z2bk7M+WZnGBpQp8+pbIp2in3Ilz2tXwZYX75r1DrM1M6fPfYQfOB6dVLNi/EP4arqrWuS1eC+AdhnlCn2NOACxUa7ecay9V0ylY71TMOzY8AlGabW3V/hW+3iM/qPvC53qId8IBYOa+rA+ifpZ1MQdjvwwPDMEpLkZVNvEnxo8geySIu8f8CAZyOnAAUXrHyd/uNOjix2OhLB3Jrc3Sx3gGI9o3Pu1PVLtSi1fkQ9BzZiIdJyqqI1oW6fifNlFgNCji+s4oXwqG7z+ChEtB+4BCFkWA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=strath.ac.uk; dmarc=pass action=none header.from=strath.ac.uk; dkim=pass header.d=strath.ac.uk; arc=none Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) by LO3P265MB2108.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:105::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5314.13; Tue, 7 Jun 2022 06:51:16 +0000 Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::6841:49a:54ed:f704]) by LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::6841:49a:54ed:f704%7]) with mapi id 15.20.5314.019; Tue, 7 Jun 2022 06:51:16 +0000 Message-ID: Date: Tue, 7 Jun 2022 07:51:14 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 From: Fredrik Nordvall Forsberg Subject: [HoTT] Applied Category Theory 2022: Call for Participation To: types-announce@lists.seas.upenn.edu, logic@math.uni-bonn.de, homotopytypetheory@googlegroups.com, spls@lists.cent.gla.ac.uk Content-Language: en-GB Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-ClientProxiedBy: AM6P195CA0070.EURP195.PROD.OUTLOOK.COM (2603:10a6:209:87::47) To LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: cb314518-93cf-4ea8-8a99-08da48521eb1 X-MS-TrafficTypeDiagnostic: LO3P265MB2108:EE_ X-Microsoft-Antispam-PRVS: X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: K1kL3yXv0UVvvTywn3iAJ2B9UhEd/R53M9iiwEbG1SVvS5w4TtLiaskDJuFiik/zMUxQLvL5AdPxPYGSEtPpgS5UqRWl3G2obaL5Isgr8opVYRMAICnEYzujeMS7QIajJh377ffd19o0NIhZHgvvejR/OespkJn8tjt5pcyl331jbEH+Y5q4KGndXIbgKEzMWRUQ1GSUCuN2SibZNk2zu7xMzC6Mpu5ab8Jt3779A2g0hL1NkIodxQznJRSI9dUhzh0ZwJ/UxDI9M4291iRPzjq2ukwPt8GYnUaaxUQf3T4yV/1G8sVIubHpHQ2XF2foicuFUDIQH9eHC7wZwdr/7pplM9NdOLvO8489xJxdBZP5P1aIjYWJAaJCHnRX54YtVDLLrJAb3uliBq4g4ELBkhjboGNDYI6jBrIMNsUw9nD2z/7RVP7uN7pCm6GZfkSVzuPktj8jS7LpovpOGa90o8cXxHYqMu737SMvIDbM5wQdPKxKfPYxb5K8yDSX5EvGhOXHeqISYIDut9lJE7XujXFP7RhMuK4rEyBst50ZCxBWxQ1UfkyIr3zsNCVn1NnFA0XlsAT1pcBDIcLOg0SWfawv9lyZQMEcOCg8PtM0QMWy4WFiwuV9LPx6c1HTU3uBElU6/QqtW1AxyIB0WrkKFsJScclwx1t5kUWFbNZmF3XTvAHMu2CZg5OacgHDbgVvF7j5bBCDuxXvENQBnri2fjzUNnwQnNQ3ZtC+PDx6tZcHBO3/aE+wRxVFTIBGCanKFL1fmM4qrWlKVBUWL/YfxwWd9si466D6Y0QTvhvPCBHuHA8zvPrCfw8C0VmL7H9Q X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230001)(4636009)(366004)(8676002)(83380400001)(2906002)(66556008)(66946007)(2616005)(6512007)(316002)(786003)(6506007)(186003)(66476007)(38100700002)(5660300002)(31696002)(508600001)(31686004)(8936002)(36756003)(6486002)(966005)(86362001)(43740500002)(45980500001);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 2 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?NEYrV1pXc2VRRjU4UnVHOG1VTWFsME9hK0RWWEVvRm1zZnRjWFp6WFFpd3VO?= =?utf-8?B?UVA4cWtVN2xObWcySVlwMEdkZTA4VVVsS2lpRk8zMUxJSmY4STZCM2RCcTJQ?= =?utf-8?B?RFMxaW53aGNRd3B4T3YzWGZlOExXa3VFcEh0a2ZmRGxqYWFsQ2Jwc0tzSU5E?= =?utf-8?B?YkRQbmtOWTFKVXdwdVJTNlpIclRQV0drY2JkSTFDTTFrZUtwajVKMWtCK0Vh?= =?utf-8?B?WDVpamJPTVUwQ1RuVDZnTmwxb3ZxbG1XZ0g2b0JEcTQ2OVh5TWFHWm1vTmNz?= =?utf-8?B?cS8wVzArMElCYzFxVWdBWlRiYWlXUkVsa2ZIS2l6bVgrVVVUR3JwcjFQVEs1?= =?utf-8?B?WnhJVGlPRGtLWHRqZVV2empZazhmNzBjWXgxZjdKUmxyekt4eU9lNnRrcDJu?= =?utf-8?B?ejgyckRwTk15SXpESmtlTE0vMFR0b2dPblY1alNYUjQ1L2wzK2JPTlpmcmc5?= =?utf-8?B?K2NYL2JVWWVBTkJKSldIbVZKdFdsOUdkS3h4bXovYkhaTFZockpvdHhEekdP?= =?utf-8?B?eGhBV0VUcE1DK1pGZ3h3NEhxR055ZFNETUNJK2xvWXZLeG1WZTFOYjZSV0dG?= =?utf-8?B?cGJTYlVMY1N2VkZzSjM2N2ErRTZJYUExdndpdVFrN0UvS1B4ODYzL2hqTHlV?= =?utf-8?B?QUtRSlI2NWFwTHZCWE1iRlpVdjJDR1BIdkk4elF0dEQzWlJyMGQ4VmNKb3Ny?= =?utf-8?B?c0ZtT3dQYlR0cnl6MGwyZVB0R3BJTENESmNSeWhsYmNiYm0xK2JYaURCWDFQ?= =?utf-8?B?bmR0dWEvelJqYnBaenRYYWlqUDZVMkhzNEFDcyt4VU83QU9HVHN5RWFLWUxr?= =?utf-8?B?M2JSeGZZR2VFT1d1YTFBVGNNOTFzZ1VxOGlHNUhxT0owMnU1czk1Tm9wR0RY?= =?utf-8?B?L01STzB1aVhTYkErUjcweWNPM1VsRVhPNGRUVkxCc0NmcHlmajJjZG5HMGR3?= =?utf-8?B?RkhJTXVmN2Q1VXZXMEE1YWtKdWxHOXY2NGgwa2ZnOXBpVnFVeVk5amNMYVNH?= =?utf-8?B?bDdxWnVBUnpJcE5nU1lTOWNReTFhSE5UMXNkbEFFMlVlQkkrTGpaZEhNU3ZV?= =?utf-8?B?dDdmT3hWNTRGN01HMEx5Z0FmUFA4Y2RkVmMvbElTdHJQMExxdTAvR29ndVRZ?= =?utf-8?B?RUVidmE0VEJualJJcGorT3BKTi9wdmc2U0VWTTFlMlcwQXJUekpxSTRacXk0?= =?utf-8?B?aEtMQlg2MVJ6Unk2OHJLbFdadmRsZk12SFl3YTV4bThmd2tGR1didkk4UGFP?= =?utf-8?B?V1lVOEI5NFY5MUtLb3NLdVpLdUZSRWpjOFV4a1FMVHZlcFhkbnp0VDNKdDlq?= =?utf-8?B?QklZTm5ac1NJSWxvcDZReHFQTlpEdXo0bWp0L0xWbnhJN3hId3FBSytmNHA5?= =?utf-8?B?MTNlc3p6UVZiRndabVU0ZE9CNElwOCtqNEU2cDNJZXdwTlV4RVJ1YUlKTXZm?= =?utf-8?B?TWQyOE9xU0JwQ3lud3R0TDd3dzBGK290YW90YXFDVk9PMlpKRlIxQ1VySVg1?= =?utf-8?B?R3BwZ3J5N3p4dWFTTzd1NDVweW1tNUJQc2p3TVNVdVY1UGpPd25Kc25NTTla?= =?utf-8?B?bWMvR0pDQ0J1SlBHRTRlL1pwSkdLaHhlMzV1cFA3THFCa1RTMndMcVJjRFpD?= =?utf-8?B?Z2c2b3VTZ2NZRXdnS3J0aTNFQUFwNnRsQ0R3SEdxa1BnUGM0eEJtTkU0QXd0?= =?utf-8?B?NStseERLd2s5aVRkSU9tNjhoV3lYb2ZLd2hWWEQyaTgrZUNNSnc5ejErT0tL?= =?utf-8?B?bzR2YzNvNzM0RzJuSEUzTGR5MnpSd0x5Zzl4TVlkZ0xhcUlBck9zcGtEK3J5?= =?utf-8?B?emVJQ3c0K1p4MzU3ZjlhcVdpaUo2Z3F6OUlEWTl2T0ZmTW9jeFQvaExaU0hv?= =?utf-8?B?YjB4VXFHbmt0aktLSS9hRE45cFZkbnV5NGY2cGJ0dVNJRkFkeGJ3dkkzc2NH?= =?utf-8?B?cWVCZS83ZCtqcnQrcXVYUWVPSXdNRlVucVNETHJzOWI4bUtQSkc2akJiTVd0?= =?utf-8?B?VnVORGR2aEFpVGxTV2MzbVl6bjRNbTRKalNIL1NYdWgvTGlKMUhOaHdXa2pV?= =?utf-8?B?d3pCZURPNjBBcTAxMCt4RklUK0kxSFpvbXBqSS93bjBCQUxoWkYwREpHOVZp?= =?utf-8?B?bVB6Z000dE04bnkvampFNmZ4cjBKVGxZMFZSeitBWlVTZXRZakFCWmt4Y1Vi?= =?utf-8?B?d0dENTgxeXc5aTlzNm9JdmJxYUp4UVMwa0RwczlFWm44NDIyOUZub2hiSWVK?= =?utf-8?B?eDBqVElidGZTUWhnWnBiQVdrdTU2MS9ZM1U1azV2T0Y1S1J6MFNESmdPN2FT?= =?utf-8?B?QlJQejFVaEpYbEVkZTZQRnpEVG9WakNmTC9hNXU1dFg1VHdTcEdZZ0lRalJl?= =?utf-8?Q?rEz4NHI4MPUMVLa4QbpKsbVB+AvtSHipmAfhrWVRk5yW1?= X-MS-Exchange-AntiSpam-MessageData-1: 18ELUKSM0fIlzg/LBOMO0PRA3N+o+tWU+0QuYb+Wsq2oiXG1lTrElxJdvZvqqQ4nlW00Rh3aNLIfqw== X-OriginatorOrg: strath.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: cb314518-93cf-4ea8-8a99-08da48521eb1 X-MS-Exchange-CrossTenant-AuthSource: LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Jun 2022 06:51:16.7378 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 631e0763-1533-47eb-a5cd-0457bee5944e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 64xCW3tbFPcEifQyx+3S+Cwbfepykj7SrL1h3BkNfhv51sax8u8wjGDMIsSAt3lDV8bQSI+5tUQ2SKbfvAfTG5AvQSF95s752KCzfh1QaJxQ4RH2TTphJJ2/c3k3bez5 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO3P265MB2108 X-Original-Sender: fredrik.nordvall-forsberg@strath.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=RLUsMIYi; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f400:fe15::621 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , CALL FOR PARTICIPATION 5th Annual International Conference on Applied Category Theory (ACT2022) July 18--22, 2022 https://msp.cis.strath.ac.uk/act2022/ The 5th International Conference on Applied Category Theory will take place at the University of Strathclyde from 18 to 22 July 2022. This conference follows previous events at Cambridge (2021), MIT (2020), Oxford (2019) and Leiden (2018). HYBRID FORMAT The conference will be fully hybrid, that is, it will be possible for both the audience and presenters to participate remotely over Zoom, if preferred. REGISTRATION We are asking in-person participants to register and pay a nominal registration fee of GB=C2=A320 (about US$25) at the following link: https://onlineshop.strath.ac.uk/conferences-and-events/science-faculty/comp= uter-and-information-science/5th-international-conference-on-applied-catego= ry-theory-act-2022 If the fee is a financial burden for you, please contact us. Online attendance will be free, although we ask that you nevertheless register using the above link. This will allow us to keep track of the numbers of participants, send out zoom links, etc. The university's Covid regulations change unpredictably, and we still don't know what the capacity of the room will be. In the event that we are over-subscribed, we have some side rooms where participants can watch the livestream together while still participating normally in coffee breaks etc. The reason for the registration fee is to give us the option to limit participation if it becomes necessary, and if that happens then places will be first-come-first-served except for accepted speakers. Registration closes: Sunday 10 July FINANCIAL SUPPORT We have a budget for financial assistance for participants thanks to our sponsors, for which priority will be given to accepted speakers, PhD students and early career researchers. Please contact the organisers if this would be useful to you, including information about your status, and your estimated costs. Financial support application deadline: Friday 10 June Anywhere on Earth Financial support notification: Monday 13 June TRAVEL AND ACCOMMODATION: Central Glasgow has many hotels and Airbnbs, but can be busy in the summer months. The conference will be held in the McCance building on the Strathclyde campus: https://www.openstreetmap.org/way/86419875 The nearest hotel is the Premier Inn, about 30 seconds walk away. Glasgow is well served by trains in the UK (e.g. London Euston is 4.5 hours away), and can be reached from the European continent via a Eurostar train to London. Note that advance train tickets can be considerably cheaper in the UK. Glasgow has an international airport, and is also quite easily reachable from Edinburgh airport. Please see https://msp.cis.strath.ac.uk/act2022/practical.html for more information. We look forward to welcoming you in Glasgow! -- The organisers Jules Hedges (jules.hedges@strath.ac.uk) Fredrik Nordvall Forsberg (fredrik.nordvall-forsberg@strath.ac.uk) Jade Master (jade.master@strath.ac.uk) James Fairbanks (fairbanksj@ufl.edu) --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/fb3c90f1-0c83-d755-2155-bbca63e28b5e%40strath.ac.uk.