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 15285 invoked from network); 3 May 2021 12:12:22 -0000 Received: from mail-lf1-x138.google.com (2a00:1450:4864:20::138) by inbox.vuxu.org with ESMTPUTF8; 3 May 2021 12:12:22 -0000 Received: by mail-lf1-x138.google.com with SMTP id q24-20020a0565122118b02901ae16b0713asf2801658lfr.16 for ; Mon, 03 May 2021 05:12:22 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1620043941; cv=pass; d=google.com; s=arc-20160816; b=0uBsvGx0pK7oIGbPcB+3Wxl+g1jwTew5tthcXZYQrGijYQ6zZvjXa67HU1cGQHbgNg yyrMVweEWwmtP6F/h0gOz6ZMVODi9WwHPsFKaojE42A61Yv41aiHZ0RzQcYv10p+E+j0 MFY38ONAyUj2lAgzixxEq7kTuC4TzEhjYMRg5fj8ZY0bqlpO5NtMZBrTEXNriiJvN5/h QLScxacyIn5GqAdjR2fk4/7X7q7ycq6BerTEDWhK1WVcLdBIOFo2qS/XlkVgPI69w+md Xb3Y5pg9cbseJXLeph197dU8O7MPMg3t+p8rjtiwHIrsR665WxofTZxVuyNTm8vBsIeK P8Lg== 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=M8IIzzO740zkvS4ONKJplDOWO2z/GZl+k2vwAHJO1Mw=; b=oXNNrvgA68WPRZaNwH9XzmoulFjeCLivNsYE6fig7GC2IY8ppz3/mhHASQfkurfOA+ vVZX6jL/DJ48brGXn/6gcGV1Zde8exA1bJcPAFe/IBWJnqIaEN29ROSGKhmNM7q1dLNv Xh61WyBJHa7VPrW3Nc4e3mhR4PPpCzvDIqYIQsM7Qd9zZEANGngQNolvdE7ODIKg+OGw FJMxZWP6mHp6viEHKv9o8Tm+Viiz3kggIN1PetKKJ1mO7OdCR9J1TyPZCydWAmqUGxkI xGq4I/yzD+YU9WD7wNSFrJby145njRd3MYnlCv/ugS4HPdIaPuWzmKwqlFW7Uj7fo8eh GNlg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Kf+XSyDY; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::431 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=M8IIzzO740zkvS4ONKJplDOWO2z/GZl+k2vwAHJO1Mw=; b=j278cv1IOi4K0P9psbNhVgOpV6vN3g9z0SfUfRnzvJrgGHW+U6MzgtMqHFFASD+Hy3 8xUSZLSxtyoEf2ZfuB7TiRJThAg5AY58mi0OQVwId1ZOxAhCoEni8CG6Uu0htnlYfAOK 4ebnuwGSTju3hpHK9d0uZUtgwTqtACsnm8i+feTLz+OmNQsW/GdBGxnqv51inOrElm76 8pOtSGZat6UZrwwOkp7/b81dq4+cgZv8tNQTz/aUuDrMgJqy/UZZxej14XcXm66nB8lk IoI9uoLRneHODQTic2o5O8D3QpswpwgcdB+blbY02YS8IesYtcUep9SXrU/ZCY8hm0Oo wZMw== 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=M8IIzzO740zkvS4ONKJplDOWO2z/GZl+k2vwAHJO1Mw=; b=hyGlTbgOlmN0h7xAuJeUvDnSKp4RZ1W8k5nLUqs6pleN59EwwmYUwcKg/c8W+bxGIx qP5qg6Xw+qwCrjAfdZXuv1feKmzBegzhJA3ljHATHC8lN1elP7WIMgYoFJVRhYjvPNJv xaT60mGqUgVMmPQeQ1kJ3+TnHSxBACooHBn9DdIgny4q0NJUTIdcKUsxyYU2Iy6sTnGk o/ijjb/kBT5iCWEqVHSMRGYedDdssEYvOLyIJwui6tnub8v+qieaxurTzO+ePVaWsmNl PmluZ1T1oquOjpPu7DWgejsvxpFpKbQMb4UM/x1Xa5aH52I0tO/pHflVs8zKO42cuUyE Cy+g== 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=M8IIzzO740zkvS4ONKJplDOWO2z/GZl+k2vwAHJO1Mw=; b=BL9ZmAz5Z3sC61OYsUdUpoVOnFnfCIyVgilvmjKtW2PTXj4EDOOEjlE2m6uMCwV3BV 9CetPcArI6LwQa4Bu5onW7BTFhbagS3rW7M4GVFC4w247dLjiirQesOUIrndTrzvKYem aTLD4M8qM0DfDlyi8iWlCkmAU/Yf5No9gQlhbXktBbANXahqR1yiW3Dp978TcGCCNEGX VTw3kPlSzyboKoChffb6c+4xcjEHitxcoWOlZJV0NC2JntqPVEJJGVlSfCBcctzuG9jt JQTesTMZqAeKMOpcGBNoWvYYPBgwMUtaYkdQHKPEBqPlGPQXp9CgYhUVodkP0styH8hn CCYA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5339FNs6KPdYbpc54lizb7gM8gMHScXxTNux83924YLnJqbuUEPq cQMcZo27nTfErIUAUnTA7u4= X-Google-Smtp-Source: ABdhPJx+SLbDrbQYsD3iGL8DIFdbrxkjfNG1Vme/UgA94HLhuyLq/8zGOq1ta7xWbFNzK+fm8rPcOw== X-Received: by 2002:ac2:5688:: with SMTP id 8mr3320422lfr.282.1620043940987; Mon, 03 May 2021 05:12:20 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac2:5592:: with SMTP id v18ls126916lfg.0.gmail; Mon, 03 May 2021 05:12:19 -0700 (PDT) X-Received: by 2002:ac2:558f:: with SMTP id v15mr1985911lfg.565.1620043939845; Mon, 03 May 2021 05:12:19 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1620043939; cv=none; d=google.com; s=arc-20160816; b=TB0h3qCBucbgTML3qlnVEL2BH4LbpVFZZzywIy5jRcAPJ6rlWNezkRdcbKUOhVcZdb i0StUQOWnRtlVNtqhXce+QxsMdKIWz/haegFlKdqfFXMb8SVFdAun8TDKKxF6OEHbt07 MybVDRj0tXnfaTMVpTHobi9F/XV3XUGI26q864zX8vHKidVwfNfKgjGLWqqb4MHRU9kH 80vLFrH7f39KYgOUJ/z8RtblpfqoyLCbgDRpvVeepFdxrBmYMo1AuEyJYLdT6bttcJ59 A/JQF8LxvwCTe/s3W/T/SpwxsR48tA3lwnQAZdyW/EdO+x4ciFixooudXrXub3m7u16w BFsg== 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=aHWhP2CPbcJ2COEoXOrVeYgrTIretQtzNnI9FErsJDU=; b=VshIMc0QfUb/vVZu32SW/wmuGfNLiVhGYSw6RtEEe8zweK6gqPETLRi5O7IRRBMx0N VXEO5T2RDotHXhRvt7L8BG2JTiFhlJ8wcGyfYfIFu1CrHaNypEbutGahNWEVnFdfMiqu AL3s+Ys+c214kJ4hj9YXjZS07fDdwcr29zlc2guh/lRb3mpuBUn5WjuYOueFo00KZCJ4 +UvnmPMwV0KPLBbx/x5Ro6cUn9XPDMoZcG//8T8lMO4SzIuvyWPdriiA4LOzkwodt4kL TsuoqRGCukyb9e2xkVM0h3jbhyK+2v2Jt0bGo/ehGPc2vPqaMGKbjmMIAOnXfPTsoQRL jIuA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Kf+XSyDY; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::431 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-x431.google.com (mail-wr1-x431.google.com. [2a00:1450:4864:20::431]) by gmr-mx.google.com with ESMTPS id u22si695519lfu.7.2021.05.03.05.12.19 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 03 May 2021 05:12:19 -0700 (PDT) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::431 as permitted sender) client-ip=2a00:1450:4864:20::431; Received: by mail-wr1-x431.google.com with SMTP id l2so5277677wrm.9; Mon, 03 May 2021 05:12:19 -0700 (PDT) X-Received: by 2002:adf:e9c2:: with SMTP id l2mr24058425wrn.323.1620043939573; Mon, 03 May 2021 05:12:19 -0700 (PDT) MIME-Version: 1.0 From: Chris Kapulkin Date: Mon, 3 May 2021 08:12:08 -0400 Message-ID: Subject: [HoTT] 2nd 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 , HoTT Electronic Seminar Talks 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=Kf+XSyDY; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2a00:1450:4864:20::431 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: , This is the Second Call for Contributions for the (Virtual) 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/CAEXhy3OfN2r-zi0jTNyUzEpeH7-rrP%2BwrEhK5gB7WPNbm4y0dQ%40= mail.gmail.com.