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 15662 invoked from network); 23 Feb 2022 18:53:59 -0000 Received: from mail-pj1-x103f.google.com (2607:f8b0:4864:20::103f) by inbox.vuxu.org with ESMTPUTF8; 23 Feb 2022 18:53:59 -0000 Received: by mail-pj1-x103f.google.com with SMTP id dw23-20020a17090b095700b001bc4ebc7285sf2068016pjb.2 for ; Wed, 23 Feb 2022 10:53:59 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1645642437; cv=pass; d=google.com; s=arc-20160816; b=Slpv0OPR1YDsZkrqtlwCJ/Ewh5WDUqNGGZMv0xBK8GK2NQ2FdVCM3jOsT4yEUgsmbu NcMw8FKkR1KcYbGxTmA3aW1bm7UNcRm+Su6MNIjXAIU9BsfwozlLkTTiNZOqL8vkKm7S LGy2I5dAdRJAzmZlkVOD84oU424V3n6Xev5ocgHm3uEUjSeL6qwPEHd7Ew1EwLmX9UDv DrsaWGoej2j5tHr+M0KmEOJiXjPQrMtd/sRuGzS+iWHbYR0jWyV8P6yE52M0te6rW/Rs npFE3p3Dy9Cxjhte+XKheoNRw09NgXC1v6NYPkXdH4e1TAFUpP55fsnoFgMVNdYTIsjF K/jg== 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-language:to :subject:from:user-agent:date:message-id:sender:dkim-signature; bh=c15/YRtWZLSidxwLb/kpigfJ84EAmbQ8MNR+xAgip/w=; b=yo2h6gt7grpocKXl9dv9Pq3Bg7a+Av5j/wVrm6Way8bQ0J9dV+QK6ceE3kuroTWmhw 8l0yL+kHZPt1Ca/wOsTj0YeXO4HvFLVPBMdMoqc5sHeUP9JTdED3Kyed5EqJocfwbD5g WnYqO7hxGecUE9OUku9fvi7m1QF59R9UxcKZIFjsAhobmgJinNNzVuhDTS+QWyZKxiCb FlbPP1JAIx90++qDYm7ekoeijx8GL37ZsLq5hF3iKXQPBJUX4ZIwnOwwlSNuqyEnV5lG BWaJ64o9becOacEKuudxOr9ZAnAVTC7teDWDsLJLGhPhUT0GO2uh5lxFlim6mzfSkLhF Sy+A== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=WceYsu1n; 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:fe14::62b 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 :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=c15/YRtWZLSidxwLb/kpigfJ84EAmbQ8MNR+xAgip/w=; b=tz8GIa9mtYgMKTRadrsV6ZX2Svsmq2eUNX2aGfKMWsFBq9gmvNxIctElDOmN0qrMyV Vi1BnwZ/mEWZs6mHwkrgMFrg4wVztOSUETwEcc+3k6stgxoxLgLA+eJpvpu4rPGyIejk hTfxlQf5H5iC4va5ivz014M1W6FsjCid7h5G4G3vb0InKaOGV0ALpWq4Pegs4YMaE/Ws TYqRiuv8I9IHwrHIxSmjAN1lDdfYSmzGryavBsRIs2/MxHuUW+Oi7fBMLjd1vlkKNsCX +sj2/8s2OYonZNz5kLTnb9Q7BwLq/ikMEQ9PRQQ4pE9syy3e+yMpJzS9HgOzb1ZNbqG9 b8tw== 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: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=c15/YRtWZLSidxwLb/kpigfJ84EAmbQ8MNR+xAgip/w=; b=mOKiG4S8cj80Kp/X1Hx1SE4+f970dUTpZzL4p6M8FNnvGEb61pliBESmoQ2GpZuRF0 BBk4uglBzUiyUgJbSbfET1d2kP1ITNuK0dZq7Lzc2tA0ixazSGm82lzhSbfrFXk1SGpY cwf8avj6kxLhLXe9IVb+/W9sKWsF3QlhMiA1P+NOtHPEOEJvSuOBkHwNHoKBJO9hSz3N DAbCY3qPQVHER1DUjZcP9zenkNHmYpmCGHlvvziJH1WucPX7aSzjN2CDQPRT6E0dji+A hhdgYXzdfkSvEqZZ8WK6UiZq1PMdAEuERGdUbhqnoUD9ajuTjIbE9Rji2MiIrBlOK0p3 IEnw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532ENrWCjqiAJuWMYpnVf1D+1I4Yrdfs4O9BakJuBps1U/FOXG8f 3PbfvS034ZlQT3ge/kmmPIs= X-Google-Smtp-Source: ABdhPJz2XKc9eY8cpvEOIe7Rq3eKiHFGixm4PpLDjpqb5csPUiKh903y/9+JAW0GkAygxHVKZQHnvw== X-Received: by 2002:a17:902:7d81:b0:14f:e18b:2b9e with SMTP id a1-20020a1709027d8100b0014fe18b2b9emr933658plm.160.1645642436976; Wed, 23 Feb 2022 10:53:56 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:e80e:b0:14f:ebc2:734a with SMTP id u14-20020a170902e80e00b0014febc2734als350394plg.7.gmail; Wed, 23 Feb 2022 10:53:55 -0800 (PST) X-Received: by 2002:a17:90a:581:b0:1b9:b85e:94df with SMTP id i1-20020a17090a058100b001b9b85e94dfmr713979pji.195.1645642435770; Wed, 23 Feb 2022 10:53:55 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1645642435; cv=pass; d=google.com; s=arc-20160816; b=Xl9Gt2Kto451hOPEwZnJ3P4G48f1hGoLUza+c1Rbyp4rF/4FmDQU7gsO2pCi3gxdBs P//Dc2z1yZ30md5VJweAY2+EuhkHIdAa1dXe7hLQOMu/PZRv1NynYNjqalSbvRz/vs/b XfTIwTV8l3wYro/55rJO3fj4ejui9W1m1a6o0impkHvlxS2U2yQ0mAUv+afVXVFKZFYP 3ZLpArwnYwL1xo7L9dwbOMysu2oWV/SYzrpVx9Yckcz2zyR0r1ghIvPVX25nafkHEjhj nytii0CAq4sgyZHGjr6TGsxbk13VFSH+JJ4q5lp5WvKTv2yYjy3QWioxVzg2Bb/0yT+U Uepg== 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=eUrxBtpoi7LnUCvZD6xlarh/ezBUtD1V/g9Hu5l/Ky0=; b=AgdmOh9ApERWJdwGT93L+lbpKbt85Lf2op9Nzx5WOGF6Jfw6AVFOTw+kATwOk0u0rb Aj/wkBL3mFgU9SOT+c95hRLUiYcFPSuYtL3n/olLpYJ+ruv7j4SOXtmvGlPvjpUx0yVC ADhcMEYcGmIz9SxG7n2bq8nDytIAKueY7rvJCPHDAZxIk1yRu738K6aG/uo+Pwkyl8pb foLnWjDZWnjbPS2TeCgFkmlovHxQbtJjb6z6LIarbzk10S+zFWSr98FdxtKtgqjAlFzr 6bSQQEaIM7eMeSgTGx2ZZYBwosWSK1hM+LweCcd41nmbZ4LS50zIF+RPKUIpOt7MhXGN /hsw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=WceYsu1n; 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:fe14::62b 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-CWL-obe.outbound.protection.outlook.com (mail-cwlgbr01on062b.outbound.protection.outlook.com. [2a01:111:f400:fe14::62b]) by gmr-mx.google.com with ESMTPS id p2si23367plk.2.2022.02.23.10.53.55 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 23 Feb 2022 10:53:55 -0800 (PST) Received-SPF: pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f400:fe14::62b as permitted sender) client-ip=2a01:111:f400:fe14::62b; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=DPQSSk8eoA9cIXmnPYEc+QVQSwVTOL3jLsf6c7cz/6RJzPlS3JYcPpqA3pQR0bQDrcOzo/Mvl5Uk5NMZaW6JRn9LuCLKJWbVhgPOf8gE0e/UBpzWWLetIHcjkTx0ULkfJ6B/z3cMX13PmcPzjvxqkkuBzT2YENgnXnoviFeY6GxEhvutGgErfwiW8RPN3GzfTs/st5O4VsW66ItSD1rDcsxF1qlyLJ2o2EmXffoMHj4jIDCG4wVfYZ+4om68oR33oFaHGvPANVI21JSBTMedc8y7RGTE8Dr4zrF0kTGJxLPTFyX/egVqVwxEtmmnl6VRFG4mjXesQ1+ht9ugM9iwwA== 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=eUrxBtpoi7LnUCvZD6xlarh/ezBUtD1V/g9Hu5l/Ky0=; b=PhabDvXWgPYAoGpvNRXFV58kIN1VaWNLczhixzejT7yLyVPWps5GyWS7FzT0rXX1YdFw31A5rnKMvdxw+wSp2D3N+yEDmUidb/ZRhb56R6W/8b2N1p9dM0jZExb0cyCZKmnQ3i4HK0j0qQOL3owD0M0RcFsn+ghXXgGegpYak/bcZGOfCe2zRmIO5yX0/YD6/JQWQ6nfc5Ai/Xiw2fto7IByNTg+V7KdBX7hn7i1viS79p2Z///xdRsiF8hcm++bgo6K9ZER/QOvSPc2Tg0ehtvo+BEgTB0bstW/KCrxw5uybCEksT7Zgkrme9ErWqdFhrzzo+y6XoT1NalA3Hv9Jg== 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 CWXP265MB2263.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:75::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4995.16; Wed, 23 Feb 2022 18:53:53 +0000 Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::b97f:77b9:1d20:ebb4]) by LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::b97f:77b9:1d20:ebb4%5]) with mapi id 15.20.5017.022; Wed, 23 Feb 2022 18:53:53 +0000 Message-ID: <24447816-6fdf-0fda-6022-4f63abe6412d@strath.ac.uk> Date: Wed, 23 Feb 2022 18:53:52 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.0 From: Fredrik Nordvall Forsberg Subject: [HoTT] Applied Category Theory 2022: First Call for Papers 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 X-ClientProxiedBy: LO4P123CA0001.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:150::6) 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: 0288133d-c05f-4f0c-02dc-08d9f6fdd642 X-MS-TrafficTypeDiagnostic: CWXP265MB2263: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: Bbcavz49ELJnq3iM84fQ87PxqgZ1lfkv3l5x9DEJw16Atk+Q324qUkeYe4aSBLlD53wSUqc1ZPUGK4tLhQT2OJl4EvWkxzBrm1qrNgoy5414382ULJwGs3hEaVSzm0nPqiVIiPQoGONMcV2jxDrFfzbY5eRCdGxnodlbk8BbE44xC+Ysm/zObIcrsYmSB6VTSMjLVunhRG+J+3lh/8h++l3BWmbqkiGe6tqzC/iVZ99wYJ7oe6ud9lUCw2F8k4PDAJZIz0bqR5MDOFXdThCExiCRXxG783WnENok3oczuynGxNVwZVmUD67Q9zEHKFbMzcMq/kvpq7jsVvaKDMgOh0smT/9HuDhgZO5/cEDJKGQRznpQOiRnu0WCaF3lh/S7+oyE5o7n/0XmI6BiKQMw4/K+S3oMEepfdxPEWEIU4eyx4n7XQjwzBxrHT5lSHdkLHr4FkiRekKvDCgc7WcIFjeqD8s/tZRdZB/eiUJvzaVoW6w2tKslsTVN/W1Th/sRR0p/X8PlYl45QKV1h2p/kujqFRbwNRiG+qQjJ5XHBGIh0kzqzjsaPa49pYlt1LmgK72+r9xGz91eYLVQTxiapUep86vbUXO+CrpJHxI8WFj8qRX3+ZNpEUqY9+h6EJMftx+lW0huPfi5F/vV7meuKgfCmKvkXK2vd9Lg2qI4OXjWG3hCl1Es0CnMwTu9ZBBYRXK//zMlEYEmmV1TGRnkMRpHBTchhhcsYhb6uAHKtdE51Lao9lFXAqgoC2WQAXMb8RCrxuJXLEMqvlXzi0duC+a0kxXONBRlVpGWPXgAJKzNwHQA/UnYOl98Z1Gmtc8z6FKzXi1cFwGyCYiqTBlnnEg== 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)(2616005)(86362001)(316002)(31696002)(786003)(5660300002)(26005)(36756003)(83380400001)(186003)(31686004)(6512007)(38100700002)(8676002)(66476007)(966005)(8936002)(2906002)(508600001)(66946007)(66556008)(6486002)(6506007)(225293002)(45980500001)(43740500002);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?aGdINHlRZ0M4RlMvS05YSEYyTzl2dVpaZTdaaG1pTjF6MWZ5SVc0bUZadW5u?= =?utf-8?B?RmtlaXgxdkJHaGpUaldEalMzLzJ6MGtXTDBmMzdzdVgwa2ZxM2paRS9uQ0U2?= =?utf-8?B?S3l5VmZ1aVFlbGp5TysyV051QTMvdEpMY0ZpcjFzQTlmeWJOYkFQSkczMnM3?= =?utf-8?B?dXFNSE9vUVBlWlBhbU5LNlRZMjhKbk9SR1UyWk4xZDFHdDIwNm9LZlNwbUk4?= =?utf-8?B?cG9QYjVQNjRXS2cxd3RweHF4bUVoVWdGcDVNZjhraDNtZ2tEZFpsMzZvTVNR?= =?utf-8?B?UCt3aDJFVUhITUc0MS81SjZDR0lIWWkwTHYvWDVNS2N2ek1nRDBIdlFNaFJH?= =?utf-8?B?QWhua2NoNWZsQkJ3cHd6ZXhscngrbml4TDNiS3FJWDZSUmVFRGN2YVRrTlRh?= =?utf-8?B?c3ArQ2tiRU55bTB0WHdHb2tSdUlSNmNYTTQrNTdnNDExUUNpV3JNUjJZenpI?= =?utf-8?B?U3RnU0orZ2RYRldYbnIvNDUwT0pwMXY1blJsY0JuT0F0THJVUTBCWlRzTVNZ?= =?utf-8?B?bDAwZnpmN1FrRHFzYUM2U2x1ei96dXZBK2pMWTUyTyt2alF5bVRPTWxUdTZH?= =?utf-8?B?RHZ0cjYrY1pGekpiNGt0bXc2Mk5XZFN1RmFDdk03WktRL3poU2VpcFlxVEZM?= =?utf-8?B?clhiU1NSaFBHVFZabHFVTUYvTVdiY0hXUnJwRmg2QlFiY2IyS3d3c0NNbG12?= =?utf-8?B?Z2NJUXlLVkkwWi9kUXlDSnNzTkJ6K2d2dGtuUEZJUHVYOVhpdFdVbUxjTHBl?= =?utf-8?B?WTJKRFA4K0pHUFcranZWdDlFb2F5U2tlZWp1Qk96SEwveHJBT0ZrNnJyUU42?= =?utf-8?B?dk9KaWd4ckMwNkh4SUJwbEZEMitsbFFvbnNtY1VGWDcvY1NMZWxENFRhVk5M?= =?utf-8?B?eTRxUjFZTktvQUs1Q0trVlNlYkJRaWV4b2ROZTVQSTN3cVNUV2hyc2hoZUdZ?= =?utf-8?B?Rk41UmpmN3NmL0l3cFptUWFHck1tbFlqMTVYMjFMbU43NFVNMjVwWjFybUZH?= =?utf-8?B?blEydzJDcFVwYlJTaDNaTjY3WmdZZWdCVUFOd3k2SW5kamhBU0JZaWJpU1c5?= =?utf-8?B?bjZxR254dThxSDkzNmw2UkZNQWI5dnV4TUhuUWhGcGh2U285R1ZMZHEzRzNv?= =?utf-8?B?TEVTdXExMUdmS2dGdkluY2Z6U24rWS9tNHJxUTY2UmM1THlzZEF6YzlwWk1V?= =?utf-8?B?VTQyNTJrRnNaWGkrbW5UTllkM0FhdHVYV3FqbUNmVEUzRHkwMFM0cFhoSzBa?= =?utf-8?B?VU8xc3p2bVpuQVo4SHhNeEgwT3ROZERkWjJvZjl2b254T1J3L0hkV1dYRXQy?= =?utf-8?B?WnVQbEk5S05vOHVSc0FLaVJsajEvOGk0S3A1czNuSFh3WHhjZE9tSmNBbUsy?= =?utf-8?B?ejY0ZFRkUzliUnV4L05ybi80ZWpFTTNVTzNwUFh0dzVST2hzY2pDakVjQXQr?= =?utf-8?B?V0pDQ0FSWFdHOU5oMWIvY0Y2N1FvTkViYlIxMUNKZTVvMHBTczRMUDRLRU9L?= =?utf-8?B?cVRoNE9waGZ2MEUzL0dMUTY0c3NKWUR2RldPWnpoODhhQjN2RUU0VHFxVE1o?= =?utf-8?B?ZEhwQ0VFcWF5OTV3QVJNWXJwUmZrVnBvV3hlcWZnci9oTTRHWjM5dUk5c3Bi?= =?utf-8?B?bHI4NHJZZlZJTm9tMm1HZ05CdjdML1FORk0zb25CdUtkZVYyWkxBblpmSDlC?= =?utf-8?B?aTRzM0xMdGVNa2E3dlVSdTdpN09SajViSTJVWHVwOUttUEE5YURrTFBXWGpT?= =?utf-8?B?VXEycXlKV0ZaYkN1QmxHcTF4WjNiNldUc0lWbjFyN0hzTGZwS2poMWI0M1Vi?= =?utf-8?B?alMzS2ZZUHZxdFNUb0RuNnpiSkF1VHRkaGViL2hhSXprRno0S1o5YUxRWm0x?= =?utf-8?B?Y2VENVhZZFNiQ1Vad3pNRmhoQU1OaWdvRUhuZWZKNTRuQlV3Wi8reElOc1Ar?= =?utf-8?B?a0NZR1dtN1lBR1FmMFV1Nmx1TXJzT3hnaGNtTnVFa2FySUlxcTdQUWVlV0pm?= =?utf-8?B?VDEvNUJ1dzBRUHhHMzZMSWNKM3lpR2ZPMGZmUTE4V2FaNVI5RVRFTjNFZ091?= =?utf-8?B?UjA1WDl1STNvQmJ1SkxBUzF4a1c4NXhpbFIwMGNqb08rZjBKSGRlZFd6Qmph?= =?utf-8?B?WEVvdmwwN2x2bUQydjBxbWxPY3I1OTE2d3hNZmx0Unl0NEhzT2J2TXMvblNL?= =?utf-8?B?Y3Y0MFYyejdRVTg2UU4xNm90ZHIzaTRwMkJhKzBRcWtNTEVITHVNTkdiTldQ?= =?utf-8?B?YnZQaElSZjdiczBqZ1JFR2tWREdKWTRhcU1PVGNTOFFzSlFxVFpYblZvNkdq?= =?utf-8?B?amoxNUx6eHM0c010Y0dJTEZQYmNNc1c3bGhRcWF6SnRyYUxzdkF4dz09?= X-OriginatorOrg: strath.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 0288133d-c05f-4f0c-02dc-08d9f6fdd642 X-MS-Exchange-CrossTenant-AuthSource: LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Feb 2022 18:53:53.2381 (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: 46Jpl0DKkWn1lV1vkkyyOY8doSzFPhH2cqrhxsC+ZfHTfsIo/7SpZ1dmYQOS6ECbDRt9teB76vG8+zl2TfSP3/JyUzkjO6Dutec9Ph7TGZjyfNLjwoMUyEvOUdOdkof5 X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWXP265MB2263 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=WceYsu1n; 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:fe14::62b 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: , 5th Annual International Conference on Applied Category Theory (ACT2022) July 18--22, 2022 https://msp.cis.strath.ac.uk/act2022/ The Fifth International Conference on Applied Category Theory will take place at the University of Strathclyde from 18 to 22 July 2022, preceded by the Adjoint School 2022 from 11 to 15 July. This conference follows previous events at Cambridge (UK), Cambridge (MA), Oxford and Leiden. Applied category theory is important to a growing community of researchers who study computer science, logic, type theory, engineering, physics, biology, chemistry, social science, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field. SUBMISSIONS We accept submissions in English of original research papers, talks about work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a proceedings volume. The keynote addresses will be chosen from the accepted papers. The conference will include an industry showcase event and community meeting. We particularly encourage people from underrepresented groups to submit their work and the organizers are committed to non-discrimination, equity, and inclusion. Submission formats: 1. Extended Abstracts should be submitted describing the contribution and providing a basis for determining the topics and quality of the anticipated presentation (1-2 pages). These submissions will be adjudicated for inclusion as a talk at the conference. Such work should include references to any longer papers, preprints, or manuscripts providing additional details. 2. Conference Papers should present original, high-quality work in the style of a computer science conference paper (up to 14 pages, not counting the bibliography; detailed proofs may be included in an appendix for the convenience of the reviewers). Such submissions should not be an abridged version of an existing journal article (see item 1) although pre-submission Arxiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings. 3. Software Demonstrations should be submitted in the format of an Extended Abstract (1-2 pages) giving the program committee enough information to assess the content of the demonstration. We are particularly interested in software that makes category theory research easier, or uses category theoretic ideas to improve software in other domains. Extended abstracts and conference papers should be prepared with LaTeX. For conference papers please use the EPTCS style files available at http://style.eptcs.org/ . The submission link is https://easychair.org/conferences/?conf=act2022 . IMPORTANT DATES The following dates are all in 2022, and Anywhere On Earth. - Submission Deadline: Monday 9 May - Author Notification: Tuesday 7 June - Camera-ready version due: Tuesday 28 June - Adjoint School: Monday 11 to Friday 15 July - Main Conference: Monday 18 to Friday 22 July CONFERENCE FORMAT We hope to run the conference as a hybrid event with talks recorded or streamed for remote participation. However, due to the state of the pandemic, the possibility of in-person attendance is not yet confirmed. Please be mindful of changing conditions when booking travel or hotel accommodations. FINANCIAL SUPPORT Limited financial support will be available. Please contact the organisers for more information. PROGRAM COMMITTEE Jade Master, University of Strathclyde (Co-Chair) Martha Lewis, University of Bristol (Co-Chair) The full program committee will be announced soon. ORGANISING COMMITTEE Jules Hedges, University of Strathclyde Jade Master, University of Strathclyde Fredrik Nordvall Forsberg, University of Strathclyde James Fairbanks, University of Florida STEERING COMMITTEE John Baez, University of California, Riverside Bob Coecke, Cambridge Quantum Dorette Pronk, Dalhousie University David Spivak, Topos Institute -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/24447816-6fdf-0fda-6022-4f63abe6412d%40strath.ac.uk.