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.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 29405 invoked from network); 23 Feb 2021 16:31:59 -0000 Received: from mail-ej1-x63b.google.com (2a00:1450:4864:20::63b) by inbox.vuxu.org with ESMTPUTF8; 23 Feb 2021 16:31:59 -0000 Received: by mail-ej1-x63b.google.com with SMTP id 7sf5550618ejh.10 for ; Tue, 23 Feb 2021 08:31:59 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1614097914; cv=pass; d=google.com; s=arc-20160816; b=UvNZfztXxu1r/akJS0tCn19DPs0Ggh0GXN0ai/ljnRF6Zl6A2NUKAXeRHOqz1HpMRE Xi3YOXYhzJFQthAhXYWZe0TFj8Uks2QNpGyw8Cmxs+VwRROHcRItNA7AIWtBl2oZwpJO 6fQfj5DI+CXTiyMkeJTdBq4N8EKxqLPhENYqM6GWTDDadKBG1G0STj9rBx6+ZaaT5VKA FNcPtBKDDAQIWx48arvweWeI82PIChumeqmj0mZi6M1cZ9TpZng4aEHdHLqQGiw8AQV/ 5PR9PIlJlx9Uvlp/s8TQYUAYEJyi/tAe4Fl0JHkkyVNzccFjL9ZcVjNynlXlZr7NkB7X 0/xQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=UWZpIexaPQffOxC4bSK+sQf9q+YmYxyrF2QlmqcPXHw=; b=mh4mQCKSelypDFCMY6KArxK5dZ8bdX8yRhG8jsffbL7qHcRMUb9Kz7g2r9PKyGADz7 NJLT6eK2RjtFvqwbrv0mO5WvgRyGvcqVF+97Z5nmYPqsMwK+mdF3jo3SkpXnfKAPK1KA OIVh+i/E33idlHn6u5oWABHXebRASWn2lAIw60G8rKZARtTUOUC2DmAAuXJpK0VPFxar BVBOUJdmHhwCT/qgVMauwcuXMzuAQXEL0yQs2E4tTEOWTU2SQuC2k9SLiTCUQ1KoHmsr hCpQ5hH/NXY+z0rNhzZ52KMjgoZUWbjh+NYtz4OG8YBzyVI4dvS6f13DM7/RD+++W28t aP+Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=lT9la4nn; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=UWZpIexaPQffOxC4bSK+sQf9q+YmYxyrF2QlmqcPXHw=; b=XKzkROBkf705wVkjum8raZtAC7nhcXOBpdb61y5KipZFYuWohwOpwUe6feHz0+FRe7 a1hlIh17I6WsRdP97PghLDGgfRWgodTBuoTvEmw59ZJeWT7YdUW7QK7CQhMnY+niIu5y HZwgF9Rk4z2vpl/kfkwVE+i32Y7ADMND4lanZyczBSYsL7g2Q+byrd6HbocNg5fWoUxZ GKMeDI8EBizIpWUFtsqJNJFP8XqMC9f4e/N7TmYGyrK9xw9A2WQunV4AjXxFvWzTw2I8 +0hu0I5YzqjJYBTE7WJ/6u9HRjo67rEyRrjY4fNqoAj2Q5OzjzPlHBUbCBwYL6RHzFsF GODQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=UWZpIexaPQffOxC4bSK+sQf9q+YmYxyrF2QlmqcPXHw=; b=ULvqHLMxInTmMAsw2W2NOMGZVyD9jzqPIafc28TKYXkB9NwawEgD8rL6HXtYwiizzs goQBJuohqszfiIcAaWOfbUsSh+jNADhBITeSrFLFwRp59SdonP6GWdgGMAW0R63r8w2R Ka+6E1cL1H3ziX7DG03K8dNcBTx40edJUa5KUOlVhvc14kyUF5aECN/pyW6P8qkDSNAx y6MFYqZqsqCWduPS6HRED2ScWB50TQz1Pf9DXwd3KcTF7HezMqoipqNK/p/Ku9Xqb2sD OGfiUgQ/dljAO6/tRPPj7t3yZJOUaIM1CF/NNWeDRa7Fi30d7JYJTBS+rn4iRa+jkeFw OB8w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=UWZpIexaPQffOxC4bSK+sQf9q+YmYxyrF2QlmqcPXHw=; b=Z49LNLr0EIoo7rPYnuXFG9bJyUhiKP/MZ667F+azE4NCMpuHn0zo/IZcJH6OH+xiXd 3cDguMTwurJwYuIPu4/LdJNKbqJcxXqOLVjDZtVdfz5nAr7l106GklWYC1K0w4MzBoFg wpLvqLh9vcUl6kCb8d44ueVBpUJAlyxyOvkoblSdQ7LRi5eEhSEhfj4D6DJ36/fvJL5A /oJddKo/TrI+DFAwOSWE9EjVlMW34Oi/Px0wfdHi+XdwbRCa2Fngp7ai62wvke83cx34 vmivaToA2C8StX1aJJxwfmpkPUhM7aLDt1pU/jV/8WQ/BXcem1SxkTPxpVE6O9FMVCJ8 8jdQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM53102AXnA/3g2ALWNwE+FYzB+v4VIC0V3hVomUVF/KL8n6LXDk0U MtJ9MZ5Diocoq39E77WVpL0= X-Google-Smtp-Source: ABdhPJwZQaGRG/tBzy4S9dalelnKJoXTuj8AtC7CIn6mC48P9F8UzoB7xzMVH8DXHxpwfLgqDNiuSA== X-Received: by 2002:a05:6402:2cb:: with SMTP id b11mr29697527edx.281.1614097914415; Tue, 23 Feb 2021 08:31:54 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:906:7d86:: with SMTP id v6ls9064497ejo.6.gmail; Tue, 23 Feb 2021 08:31:53 -0800 (PST) X-Received: by 2002:a17:906:b813:: with SMTP id dv19mr24178249ejb.11.1614097913395; Tue, 23 Feb 2021 08:31:53 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1614097913; cv=none; d=google.com; s=arc-20160816; b=fA/Mxx+XgcijVRPUL0faplXeckitK5otvES4FKb5G3ZCCaUADV+OaCglIQqOK/AyrK BdUMloZLGwTAuTDHaGJtx9D+Ha/8azcrCQAWibZDy2HoRC9qUWZUaMM5pGwtpjLjFpWs KTy9A03eltGEBegTSCtGF8m4oYB4C5kx8CK82dCbsWppYHz7mcczSY8YNcLggSoc+3eT Lzmz7x4t2jTMute9VCN5SbYI1clOLQd0eGanfnAl+Mqjdgm7Eh5IpyANIkceH75CiA9D N+NwZ3DxsHfPsgZ8sYczyWlEKqVP3iwQRBaQLWzkfXXjVKwDhtpgc/k0EpKAcou8QwVo EP1w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=Y+LVYd8YFKGJGO3JabsnTpoCFYDNkUs/MMrRkEuYKzU=; b=JSs3Uww163nwthHmAnlTVO+k0rA7V/Jeb6RCQPMJaQGpbeWzD9IvJa9IuKRqhw261j Fb7dw7fdIpgryv+eD72Z+6126k6cRDo23na4bmrJ9A5S1M7yBZsjXOgmA+sisTfG6RIV 4yYT1Enn54vJSMG4wLS5fkRSpBYFb1jm4e3BNIRHdu1vtmGjEYKtNOpyrrYlRmFPM4La gqfpUD7CPciHDEGzNvSi9HY0lyypnmlnRepPTCFK5IwskVAUWAeXimmXBlrk7/ltseBm ruFGHLHW7OS9ISPFsZ7qU6kptFSit5Y3L0tA2dMbB3YDY+RtBoeZSTWrknUloDwvB558 UUTw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=lT9la4nn; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x430.google.com (mail-wr1-x430.google.com. [2a00:1450:4864:20::430]) by gmr-mx.google.com with ESMTPS id k3si323108eds.1.2021.02.23.08.31.53 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 23 Feb 2021 08:31:53 -0800 (PST) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) client-ip=2a00:1450:4864:20::430; Received: by mail-wr1-x430.google.com with SMTP id y17so1649385wrs.12 for ; Tue, 23 Feb 2021 08:31:53 -0800 (PST) X-Received: by 2002:adf:f589:: with SMTP id f9mr25174081wro.159.1614097913170; Tue, 23 Feb 2021 08:31:53 -0800 (PST) MIME-Version: 1.0 From: Chris Kapulkin Date: Tue, 23 Feb 2021 11:31:42 -0500 Message-ID: Subject: [HoTT] Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021 To: algtop-l@lists.lehigh.edu, categories@mta.ca, Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: k.kapulkin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=lT9la4nn; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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: , Workshop on Homotopy Type Theory and Univalent Foundations July 17-18, 2021, The Internet @ Buenos Aires, Argentina https://hott-uf.github.io/2021/ Co-located with FSCD 2021 https://fscd2021.dc.uba.ar/ Abstract submission deadline: May 25, 2021 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 mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent 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 all aspects of Homotopy Type Theory and Univalent Foundations: from the study of syntax and semantics of type theory to practical formalization in proof assistants based on univalent type theory. # Invited talks * Evan Cavallo (Carnegie Mellon University) * Peter LeFanu Lumsdaine (Stockholm University) * Anja Petkovic (University of Ljubljana) * Matthew Weaver (Princeton University) # Submissions * Abstract submission deadline: May 25, 2021 * Author notification: mid-June 2021 Submissions should consist of a title and an abstract, in pdf format, of no more than 2 pages, submitted via http://easychair.org/conferences/?conf=3Dhottuf2021 Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Carlo Angiuli (Carnegie Mellon University) * Paolo Capriotti (Technische Universit=C3=A4t Darmstadt) * Floris van Doorn (University of Pittsburgh) * Favonia (University of Minnesota) * Eric Finster (University of Cambridge) * Chris Kapulkin (University of Western Ontario) * Paige Randall North (University of Pennsylvania) * Emily Riehl (Johns Hopkins University) * Christian Sattler (Chalmers University of Technology) * Andrew Swan (Carnegie Mellon University) # Organizers * Benedikt Ahrens (University of Birmingham) * Chris Kapulkin (University of Western Ontario) --=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/CAEXhy3PUX_pHqHfgO-aEtCGCsGa-M%2BqQJod1gZzhq-%3DCr7Y%3DL= g%40mail.gmail.com.