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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 15489 invoked from network); 6 May 2022 14:18:38 -0000 Received: from mail-wm1-x340.google.com (2a00:1450:4864:20::340) by inbox.vuxu.org with ESMTPUTF8; 6 May 2022 14:18:38 -0000 Received: by mail-wm1-x340.google.com with SMTP id t2-20020a7bc3c2000000b003528fe59cb9sf2659939wmj.5 for ; Fri, 06 May 2022 07:18:38 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1651846716; cv=pass; d=google.com; s=arc-20160816; b=S9UMxGxDKSCqZtlgPpwYZAqQJ2NJ0j5XIyzg8dxtB15AJj6vJ4OvvrCPvA+VDgzfV8 9hqNQTEmpZaBqFPCyD23cbPdKb829eeFC7kHPFFbGVWsvLGDETuN5HMwpJBHoNPRWoSW gDe0w0EdNKloVJSPRQEKh2tCe3M0XyOCGP/fafYB4mKNCeFkydT8zAGLRy0PIB7EFTtb 5ZUfjP/AK0t46s/TVN0Alcai0JoU28x1k2l3Ljw64OczePTjLZQN7Ci5pU9e3i5dB3cd zPibdugeCYpZm/PQo7LAI1HB0lrYxhi/7b9Xnh67vFMIouFPf/rB9vQ9AQ202ctATcSe Nk8Q== 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=xY5QOEqdTvUKN0W1/6aw1v1KMPheSsJ5H1LDhEjQqkc=; b=s9SmwfLdbZDLDn3Cou+OKCTUiydadacXbFYiHf7Ou3AlWRJDUJOxASIgbmK/oUSfp3 mRze2/JCOWn6fuEhJ5PiaJhHh+5cEzn3cEyVgDSb0Nn+gr5cAIeQznW3XvNhI5b2znnj InnZZOb2dHoYvJu1agC4DD5a7fYLd7uyQCq/f3b9JKFvsqUst5gTWz9lYVbOMFUFijDs EoETqQHaPE/Z3SHwrPdb3D8gztRbtmcVi6N8Xj1zTQXOHBr+HtyU63MHVSPXlX2uKd18 FwfPod9Fyb1fENB3VssVvnnrQCfkfKJ2+kbHCaGyycWdYEu339RpjPq2WGoguWJ5J9sy YImA== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b="ut5j/I/t"; 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::60d 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=xY5QOEqdTvUKN0W1/6aw1v1KMPheSsJ5H1LDhEjQqkc=; b=YvNJWzVUpZSTwvPr4yfBWmlls5/qks4hcvEHdUne3nrPOIdLrkR3FOeCElAbF7YkY9 u6/lOvZAyW9eRgCZMLdaotAsRhLTgk6gJsTHn8WvzTWLSqsX8CqJ7J+qRdCL8nwQhdvj 5ZEgNfph2Pmg4uiwdfVXN69Do+Ha7NaAk9TI0a2xlDNcMRNDCPRIlnKKnIWk2bJMGD80 a3Nxzu7++pL0BfHuRsAa1EsFjwvVj2i6DqQxKz3LwLN+BzvnfrVpW5oWLuWlTmFLIHYG MR3G8V6Yt2qFsaMJ+MApb2Fv0XXgagZxnABHGoiWJYWYspYtlJDGDSda1JI8DvxLPU/I QJuw== 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=xY5QOEqdTvUKN0W1/6aw1v1KMPheSsJ5H1LDhEjQqkc=; b=FbKVLLP1H+yQVo994LjYZButPMctfoa//k8TiE9gTIZ2Lw32oLw6LfC8VXs4ON6Rf4 2ee4tBmeaeK2c3Oeo42Q7L++OsoUBC9kEk1lnSf40eKZtH7zJCJZHkq35zIY3snw/Yts v3IvgKzu3vF7pFb5acSLtyeoAcCWKLz+ouqzkIAvm8dPTHj6kfLVxJXC9I9Qve3LI+7m Hel6WUDRSSHDTJAQPSu1Cfk8ZCA27/tyINjuVe5c6+bMnAxRVZB+229F2oT02IVT9l/h D06KtZ5XhtQ0w8fJMTCSfa4uzyaMf8jdFQ9qQtEGokxFmztIeMsH82DuXiNaX0Y/i8Ri sTqw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533HfENWR4agIK7Fzlk2vYEc3bC/7oIiBu/fgx2v6rqLuUC6iKc/ dF+0UBrKEyY07YCIPar8m6M= X-Google-Smtp-Source: ABdhPJxQcUb+A1HdfDE1N9G961Gd76u/SlXjpc+rqPbMKgvVGgFI3uFR036Q2TKWeE3FFhVk5Ks6qw== X-Received: by 2002:adf:b613:0:b0:20a:c7db:3ce4 with SMTP id f19-20020adfb613000000b0020ac7db3ce4mr2986785wre.70.1651846716421; Fri, 06 May 2022 07:18:36 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:f950:0:b0:205:dbf5:72d8 with SMTP id q16-20020adff950000000b00205dbf572d8ls69508wrr.0.gmail; Fri, 06 May 2022 07:18:34 -0700 (PDT) X-Received: by 2002:a5d:648b:0:b0:20c:5aec:1c06 with SMTP id o11-20020a5d648b000000b0020c5aec1c06mr2853823wri.525.1651846714661; Fri, 06 May 2022 07:18:34 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1651846714; cv=pass; d=google.com; s=arc-20160816; b=pSFYe5RnJKunb2DfPsOT9VyxbXOoy+gcFshDfDFIN6nSISuaCsxhvgP0+Y4FtsjJ0u FNKPjA4iORCEwCU3+jWf75LPaXIDDYcUAnqMj/WoVsAP7pCTIWWC2dx+1lBJLl+Gg5mE iwee75yUN54i9kFeuF2V08300b80F2Y3Y/fe6RBanyVFbk32XZhMEVDUNKn14ACltfYh 1adZjkQPxu+923bzotis4A3t6zfYcbBbCZbrajASwJhT/pEVr5kM91VUy+sCd83uHNav pXfdl24w/AGP191D8dYn3u6yfBG3e2rmwyDrbRjyZMIhbYZ3jJW5vWC+WZgt42QRnyuS EA5A== 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=MJDVoBxRBL4LUCNo2Oi5PzRr6qLdoblQ82h1i3or31Q=; b=X+veI9cinlTrwzyyILWGR75MoECMyaA9kLzTo4VAhzfdmyP2JbbGqaIoPL5KSWuZOT xpJJf+RdZrppI998QK+jrxyFlcYVYJKjigoavDKfT+TxDNl4YSUWEltnRB9PxQGe/WpY 2PHMn7DDCVCC5RfvaPY3LZakyt2r3RShU3tn99WjQgU2ZMuSHtZBi2o1vsMKbMZQPYm1 REswoHFm1IOchVWt0m0vGKjjGGGO7PJw6wEu88Fb0P6eEDeTvxvbJi7TRtwbCbXRpX96 lLn6Yjben7iShUYIzBwsJIq5nklHOeLu25uys0ynA7HRVxj0AO9fVCSHG0yuIzqbEiKV PADg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b="ut5j/I/t"; 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::60d 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-lo2gbr01on060d.outbound.protection.outlook.com. [2a01:111:f400:fe15::60d]) by gmr-mx.google.com with ESMTPS id p6-20020a05600c358600b003942a493261si141421wmq.1.2022.05.06.07.18.34 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 06 May 2022 07:18:34 -0700 (PDT) Received-SPF: pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f400:fe15::60d as permitted sender) client-ip=2a01:111:f400:fe15::60d; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=h4gScK3by7mMHK+qjTvRbHJl58RKV5ZKVzAbHt2/fa7cdddbtTqkx4e47UHszjcEjzYP9gmJzTFtHuQ3iD7nOwFemN1LGO3L8WgSkHK4kJGIJZa9Vd3sLLILt2QgkWEsrRXtmqKXWcOzoHhkSJGdBIfJzLDbAw7ID2rHPI5WlkJTXv4xpRPsv6gxKmx0c08m38c4uRxNL7oJFcZHFVDw+DFjz9AxO05XocmRxMSlCaRl2fnnH/bg22upERUm47c6VnziUMTTea3xstEhx3HwCZsZnakIJus/glrsdb/YUvL8iZIpzrTtYp0Lppve2coBwBTGZ26kSHViIBKOBqqkmA== 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=MJDVoBxRBL4LUCNo2Oi5PzRr6qLdoblQ82h1i3or31Q=; b=L3KdLH75dcvTYzXpppblTi6tAOuf1AUjr4MC2FqHE+w1cqWiWyxJUtWlsH2ucJGuRECFTVo8Untwv6NL2JaUmeU9Com1IHs3GVXSoxQLTjacdO7tv2Ezs9yjQ4Uw12HZO4MFjE+1IpZPCSLJtb+UePRRbMDqlZw6TEF45Wo/iAuViicgHV2QqAzez28NySDKAOi08aUQMUI3Rni2wD/NKXISPywZMvZnCNt/dRoueUW53xpA3YSVNpuf8xQN0cok2dy/veNEvV9D6G8vPhy3jLdVKQllYOXPk0k/CDc1Po48a26iFCSnlOqaBwdxgtM2UMFN6K/nwv0CDOggHRdq1A== 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 LO0P265MB2652.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:14c::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5206.24; Fri, 6 May 2022 14:18:33 +0000 Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::6c7e:16b0:7c0f:6ff3]) by LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::6c7e:16b0:7c0f:6ff3%4]) with mapi id 15.20.5227.018; Fri, 6 May 2022 14:18:33 +0000 Message-ID: <43108434-391d-c2e9-dd10-45846b301e5e@strath.ac.uk> Date: Fri, 6 May 2022 15:18:31 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 From: Fredrik Nordvall Forsberg Subject: [HoTT] Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May) 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: LO4P265CA0108.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2c3::10) 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: d0537d0d-7c54-46d2-a43e-08da2f6b4d6b X-MS-TrafficTypeDiagnostic: LO0P265MB2652: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: yWxPF208i0GqhVF1gAHh14nnkxqHGfr3u8zH7S0S50YOTbUrTK5vpyxEws6o8xewcQYVygExR7l5XS20fM0TJCXZRsvcsgRG2RkWJW9nIQ55dbsSSEyXcKxYKoX2QNqP/FWmBYxt+SbzDxFt6+9C0obZE6uc+JNs6Ne6MOx0XyxrDVLuFFhgiFMOB1dpUm0h0nFzM5M0pL9KAJ0+Wl9rrLshxtIbbu4ayvgrAhyBUpnY872mRaRiBll+ZQJOtOXqEHX9i4S3E6ZhCKkvbgxWtx4UGDzzb1uChWvaeTiActXrpQizOg1DBMvzkt383wI1AlLDUQS2fmhik1dBfkPyjiwmCoPx1PGN8Ir4jDtAumtsLfsN5bm0R6J6AbN+GvxR1Nwta54He5J7Z0lQCkAeLEkztBkCthOFEW8Dvw+TAydNNjNhjRGZYfWRiOEyp5jwZzoDR0ybnfoIEHDy5ZO7B+SJLD9DPxGChjzfmzmR1/r/yQiSnbnQXM3Sp8TvxT0ZqYUPHCB9YdR3DDXKjZaj2eUvbGduGH1x4mgU+GwLx3QL5Bzy9/PnrYcYdRM33ztqiLIlpU3ZFQkzgq1sGj7BJxTMLPcu6yUzig4d5UECRm0hCy5Lr40tPBXt8Ftbn8TV+qL6sjqSvO1U+ourNSBq63oKF0aTmM/XJdKYwq31IS3Hn0Imu4fltu/wStJrhRgblUGsflbf1wZENXylYsvgcgWoU7PuI+RSBxEHjO4QGYlJz/KFg1K8tNvhLMvvB1ysJVu1cLkXRasxPuXLOKpNF0kkQIwF64HILd10smL+4jZwoUCbNJqRzOnYqUv2WC9t1qo6dS7dB7HjEfJA/oso5w== 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)(83380400001)(186003)(38100700002)(66574015)(316002)(86362001)(786003)(2906002)(31696002)(6512007)(5660300002)(2616005)(66476007)(66946007)(66556008)(8676002)(8936002)(31686004)(6506007)(966005)(6486002)(508600001)(36756003)(26005)(225293002)(45980500001)(43740500002);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 2 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?d3FFemRkV0o4RDhDT0R4L1pRTUdKL2J3enEyejAxUnljMklEWXZCOFdQbVlY?= =?utf-8?B?bGdUN0NKaGk0Z1dHRzJlWXIrWmhvOVBWa3V1ckplc3RNWGljdFo1Q0c4S3dv?= =?utf-8?B?SnJSMDdmaGExNFQxcm9MNXRhZUxqeHByOEVmUHZSQ3p0Y25rbnFUeGpDTldi?= =?utf-8?B?VTlMdVliVE1NRU53R2FmNVVOWVkrM3RrY2JlbFpObDdHVnZiWHF1S2VHQ3VL?= =?utf-8?B?aVhkVk9ZNHVyZklMK0R2bFpKQ1J5TFdEelQvYkozWEtlL0w4a0NsSmJOdDRI?= =?utf-8?B?aE5uL0VOeHR4dU9zSGVsZVVzekxwQ1hTTmpQZjg4RDY5UTNoLzJkVGtxL0Zv?= =?utf-8?B?clVlbXpqTGI0QnNNZmxOcWk5RURMck0rZU5GUXdKOTIxOWpFeGlBbFlhb0xO?= =?utf-8?B?WWZEUWtlK2M1djBQTU1EazRHak1wem1qQ3RzbVZZSG9laTJOaC92cC9lM3Vn?= =?utf-8?B?M0Zhd1VENzAwd3pRMWd0cExCcEN2b0FnNG1MbGxkano5cHBQamE5NmkrWFh6?= =?utf-8?B?dmdqTFFEb2hUNmR6a0NGTkNERGJjbmtia2hadXdBdFE3OHk3WDUrTTNzZnJr?= =?utf-8?B?RGVEYTIvOWJqNHJkT1lLVWFnMU5iN2thSlhVNjJYejJKeXBvWnMzYkMxRlJy?= =?utf-8?B?OTFSMDVBNFFTOUdMQk16Qm56V0xLQkFDemwvK2xjMEd2UUR0VWdlUjM3OGI3?= =?utf-8?B?azBHOWZ2clFkOERwcU85TnN6ck5ueCt4Z0NIbDE1clgzazdPNXV4TjNMZDZp?= =?utf-8?B?QVVEVTdvdk10Y0VoMmlaZEluY053YXFXcW5qSUVOVGgrTC8xbkVrMTd2MGZt?= =?utf-8?B?OUhsa1V4RHlJVjVJL3dnOC9yTlJSS1dBUzdxa1V4RzYwZVA4dllnUWJ5djF6?= =?utf-8?B?SGYrMnZnS1kvbSsyUENtcnlDd2FQUS9YVWxIczlWMXBDRitQempGZVpHdEw2?= =?utf-8?B?RGkrODUxQlRKckpucm1RbHJWSk0yV29kRHJ5ZGRpRE1pMmRBVnJiWE95d2E2?= =?utf-8?B?WFQyQ2s1aGExRTluWHdPSjRjWm9DQmlpREV2bFFnZnFNbW1FNFRVWDBVS29I?= =?utf-8?B?OGlweDlRNm1IZGMwZWQzcU8rV2xPTEZuTUVGaTBpNjhKMkYrVG1JQTJNM2Vy?= =?utf-8?B?a1Y2NldDU3AzMzFpTUdvSTJqYXRCY0ovekgwYjlQUDlLTEI3dVlTMDY1QlZn?= =?utf-8?B?SGxRWGI0VTQ2SnNaenRWMWtvSU5WZTRXdUIwZEJId2NPUDVwZVM1cXVhdk8y?= =?utf-8?B?UEMxVkZucU5OYm1nOUNrTkhZSFgzd2xvVFM5UXY4Tlkvb3dhNUFiMTl2STJI?= =?utf-8?B?UVcrSFh6enpqd0ZJVGJjNjhwYlFCcmk5S3NSNXFuTEp3dzdDSlZhVCtIWUYx?= =?utf-8?B?YXgwZ1dIeEI0ZVhQNkVJdWpQTFdxcm5LSXkxR0ljQnVVSDUwREV2cmlmRVVS?= =?utf-8?B?NkErWWVZNFNIRUNZdDlSOUcrTzFHdGQ5U0dxZWEveW5TTUNpQUo5SUNVS3li?= =?utf-8?B?N2w4VEdobHJiek5vcE9mWVJsSnJGVHdBQlE4VkVDV3JZLyt2bGZ0L29XVXJ1?= =?utf-8?B?bVc3WUdhTmpORDhlRUJOVXp3djUzSWxtNjJGbjd0cEV4eDBRRUY5dk9iWTVJ?= =?utf-8?B?NCtSeHR0VVk2UThlT0VsVVBHSURrMU9LVGU3d1kvcWttb3BobkcrT2xwY1VR?= =?utf-8?B?MEJERzZ5alF3eTRHa0xHWmYwcmRGVEtGYm1SRU9XL1dOYWlxRlI2emc0SUxY?= =?utf-8?B?S01tQldjTmxXU1pOU3ZBTlhFUzdqZGh0dWNlL1M0T0QxdHl6UU9LR0IzQUhh?= =?utf-8?B?K2VoVks1dXE4YWJxYnhnMS9wQ3B6ZkE5QmZNZGFibEk5RENpcUtNWGh4ZmpG?= =?utf-8?B?dnRqSTFhb09JUjRpVDhXSWF3OUVpS3UzZ09UK2xVNkkrMHJYSjcvNTYxblhD?= =?utf-8?B?T1hFQitaNlNodk9pQS9ZUTREQWdScVQ4RHVGK0s3SlgvSVlsWHR5Z25LQzlk?= =?utf-8?B?Vk9UTERmZUFuU2puYjI3MGpaVXdSTFpidWpjK2hkRjZQNThwNHR6NnZYeXJC?= =?utf-8?B?OXRiR3dxQ096NmROaFFaMGRBM0FZbzFVMWRwV1ZwQWVSQ290UHdHZndYcG5k?= =?utf-8?B?UUdWVTBDY3VMTExtTEc4b1M3WHZVRlpLSGRUZ2dwTCtMV0lXS1gzTkZ4bmtQ?= =?utf-8?B?eTVob0tCME9oRzIwOWNJWGtZenI3eDAxcklrUGpCM0JZNWdLZGM2QzN1b1J2?= =?utf-8?B?RVZmMnB6Wmc5VitZK2hHbUtoN3ZFRmxTVnBZbXd1ajNoM0tIcDJ1a3dva1RS?= =?utf-8?B?bWNCaHVPZ0JqQmliL3RXdkpKclRSQmtvTUUrOFlaSkFkY09ldTVSRWVIdHds?= =?utf-8?Q?bYG0GmOK2Zp3zjU0rIcLGsqPXffPrh7uXWGwiF20sTXsP?= X-MS-Exchange-AntiSpam-MessageData-1: FLiOm5Cy3CBwkg== X-OriginatorOrg: strath.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: d0537d0d-7c54-46d2-a43e-08da2f6b4d6b X-MS-Exchange-CrossTenant-AuthSource: LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 May 2022 14:18:33.6232 (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: kjCxsEEIWqyekztKlDRB7cy6l7Pg1hWLpd5gUCX/h5dFRPboB8A6T8MmpRpvNfb1zu4sx/ik1zrJ4M7kDKWSTopt8UgzzuzGKfn/Jwy6pP4cm4Kd0WAFyoZnsWcUcgiB X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB2652 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="ut5j/I/t"; 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::60d 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: , FINAL CALL FOR PAPERS WITH DEADLINE EXTENSION [By popular demand, we have extended the deadline for ACT2022 by two days until Wednesday 11 May. However we ask that authors still submit their title and abstract by the original deadline of Monday 9 May to=20 help the PC with the paper bidding process. Please let us know if you have any questions. New abstract deadline: Monday 9 May (AoE) New paper deadline: Wednesday 11 May (AoE) Submission link: https://easychair.org/conferences/?conf=3Dact2022 .] 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, 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 organisers 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=3Dact2022 . IMPORTANT DATES The following dates are all in 2022, and Anywhere On Earth. - Abstract Deadline: Monday 9 May - Submission Deadline: Wednesday 11 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 Assuming additional Covid restrictions will not be introduced in the UK, the conference will run as a hybrid event, with talks recorded or streamed for remote participation. Please be mindful of changing conditions when booking travel or hotel accommodations. FINANCIAL SUPPORT Limited financial support will be available for travel and accommodation. Priority will be given to people with financial need and those giving presentations. Please contact the organisers for more information. PROGRAM COMMITTEE Tai-Danae Bradley, SandboxAQ and The Master=E2=80=99s University Benjamin Merlin Bumpus, Eindhoven University of Technology Matteo Capucci, University of Strathclyde Andrea Censi, ETH Zurich Corina Cirstea, University of Southampton Elena Di Lavore, Tallinn University of Technology James Fairbanks, University of Florida Gioele Zardini, ETH Zurich Jules Hedges, University of Strathclyde Kohei Kishida, University of Illinois, Urbana-Champaign Barbara K=C3=B6nig, University of Duisburg-Essen Clemens Kupke, University of Strathclyde Alexander Kurz, Chapman University Martha Lewis, University of Bristol (PC co-chair) Sophie Libkind, Stanford University Jade Master, University of Strathclyde (PC co-chair) Conor Mcbride, University of Strathclyde Joe Moeller, National Institute of Standards and Technology Elizabeth Munch, Michigan State University Fredrik Nordvall Forsberg, University of Strathclyde Paige North, University of Pennsylvania Emily Roff, University of Edinburgh Mehrnoosh Sadrzadeh, University College London Jonathan Sterling, Aarhus University Todd Trimble, Western Connecticut State University Christina Vasilakopoulou, University of Patras Greece Maaike Zwart, IT University of Copenhagen 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 ``` --=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/43108434-391d-c2e9-dd10-45846b301e5e%40strath.ac.uk.