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 5979 invoked from network); 25 Jun 2020 13:18:00 -0000 Received: from mail-pf1-x438.google.com (2607:f8b0:4864:20::438) by inbox.vuxu.org with ESMTPUTF8; 25 Jun 2020 13:18:00 -0000 Received: by mail-pf1-x438.google.com with SMTP id d67sf1454998pfd.4 for ; Thu, 25 Jun 2020 06:18:00 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1593091077; cv=pass; d=google.com; s=arc-20160816; b=ROlA01xM+Sn/OnW6AwiTLHWwnNnVnc6UOW3nuek/UsoH3wRLVMKzNSjfs8n5VtxcXo S9j/Vlw/yfWEFt+yDTn9A2vc8vunbjd6XsV0SBF//qOQpuBF6VDUEbWNWYP4vYVyLsuD pS3AwufVMeQMOGBurTsaq8d/BjzIpIYNqX3Nay4PZkNiy8IzPW/2PlmuaOL0hQUm8NU2 JCC6KWF6GuKTERXMN7JpovtI0SF0/PoPxnPyLHFWgeG+yRO99uErahrp03XJLlLSWg8S OIOV/QzoZrgfIJ0d3V6Hdu2+xgPpgHsJHSi35ZKLxQNRt1LrPM17FDnu0K9p9JQRa+a/ 4m3g== 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=MXmen1LAAnXmxhFcOpWSeyMuhS9mz/ZIkB0an1uqDqQ=; b=TlGldZpZpnzeFv/MqAC2UDTaqq+cPV+CVsrKDo5yMn9zhrFos3DyC476fYwTx9d+V9 m2H8QZuxNzPE3KA5MtmII/dXIFEzbMI1VwCpLgY+GuQ8tE6Ah6acr1FZqLe/Wjrc7dax hoxkXejZ6ROJw8MhcqXoNkPZK5bgciptmuqcabordCkEOoRYyufK7Op0px+OJ6vdgic8 K2MuONuOn9FMDs6kC1PFI80b9Gh3nxzMqaiiL9rAkm24iHsoneyQBjDk0/GNxX+494eQ 02P+Zs9DJAP8MF8HP5OzX/tExJy264dwjSpOJbhfUwVrHNhisSpcC3thNQC4pFJgeWtj 2U9w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=mt3TtyrN; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12f 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=MXmen1LAAnXmxhFcOpWSeyMuhS9mz/ZIkB0an1uqDqQ=; b=c/gLcin6k2ZKgnrwq/JHCqXxIgFHD0pXbgqZci6XU6SVj9fztaVLTubCzQImDezsaV LWjyF3cKk92dpyohTeaV1CG2lP/2M3Hsc+4AJSWVO3Lh6Wfhq3hHv0XdjnTpoG09XhWF frm/f+2XuFlE53wRpIkSz9rmo10BbD5HUGC4Dh7m1xIIM+jHCOid4IXvAfMt4sw4m/ro k2q4h6mEPYvOhdoEJMN9OUjLY4pEDYKmtd/sQEILNWbv+BD1wvseLGg4Cd9ET4DmjzS1 HsyyphHuyDyV4wAga6Mh2iel+HODTbWvBmgjBBJbT2cMzxesQLIYL9ifaAid2MdTOL4s Wu2A== 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=MXmen1LAAnXmxhFcOpWSeyMuhS9mz/ZIkB0an1uqDqQ=; b=M6oxhMT9umrF4grSnkIRZwafFUTHVxB2DPVzg6+lIFEfK2AvJB+jhxT33uKuRReWWl BkhdwUrVYEmzABN00ZUD4g9KiEeiKyN3anpCJnXl/2VxgpCgT8PPWPoCaOZwmRxlv0Y8 2mgLiZa6VzPuBORifYSjPyBl8OUN5OF8zX0XJNTwM0GkrRyAKTj3Eqx/C8GkLqD2hO4D LMT/9zV155Nv+sgaAj6NR1Ec+U1ui2FmX/wN93GGlOeZkaNsU0s+LkMIbricXoaIMPKE 0tjMqkfh8Heo2aKJGKC2bTj5dp41Bl3GuumTa5N9sK5FUCHAm0hm5sgVH/yfDnJz35zu c4kA== 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=MXmen1LAAnXmxhFcOpWSeyMuhS9mz/ZIkB0an1uqDqQ=; b=rFZKUPS+Np8OfTrmKB4UK2Vc+fkLStMWIQOF39cR/r03DcyPkZ1SIZ8AwnFW2sn8dF 8WgEht8uMccbmwfpgu8e7B9gcdYZeiTxkfjXbqPvUBaiMmv/i6bvledFIbcP1clsgOS6 lZQuGmaYEszfUOBancBOG/i+7ZB/FJrTmy3nB0AX6UDWhl1zS1s2dUnu3sWqDlxCDYAg l52SvWq6Djsto6XRY6jqAWQbqYkQJ3Xl2ir1DyGiqxM+4PCWfTI2RUYQQXzwGFJZ8ROQ ccxL7051DUi1elOyYWQGpCZOkvRN+pMSLP596El+IzteAiAp7tx+wvG4wAl8qYOXP1YF GEaA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530368BJghQjbcFsqb70K4hUT53b//qRCsdzK2q7IwuROAPw15fJ gaRmJN3EPGqOGLNbqCeGU2s= X-Google-Smtp-Source: ABdhPJyacCvBoR7VAziBp5L1KOAlbx/nJ98q21HQqmwcznnMyFMGTLO5qXGBjbw9waZf07nO6qklfg== X-Received: by 2002:a63:b30f:: with SMTP id i15mr26571900pgf.42.1593091076278; Thu, 25 Jun 2020 06:17:56 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a65:6891:: with SMTP id e17ls1623761pgt.3.gmail; Thu, 25 Jun 2020 06:17:55 -0700 (PDT) X-Received: by 2002:a63:144c:: with SMTP id 12mr26072233pgu.189.1593091075848; Thu, 25 Jun 2020 06:17:55 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1593091075; cv=none; d=google.com; s=arc-20160816; b=dTszc7jdXr5ZVKXd2N8N64VItVxdQ1gvVbh6zWUYTNnKmjIr6FAKm62dWAOKu8YDyH 8WqsRjuIDz5lpoyNxTv0lAENu6iZLuuoxPetTij7nogQWXeaVCqAqRV4HXNfPQLnPVV5 TeNovrvV9TYp0hbGag0R/31oYusoF8Hk73+TAc3pPEeM23VgAuJd+IvA/2qraSf2PkYY hEqUPp2n7QbIgsNjLjHf1Ux6Jtnu4IXjjt/erKegV5t2F9HgYBmlrAN14CD+gQQWAJDC nPtaUS1kSZX5YVvM4Y0wzobSnZYvLvLyX+OEAEebxnfvZDuFKXEFu9k8DhgDT1t9ZAEm VdKg== 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=5IsH89AvfNHOEwmdr1yvKHzwtt3YGWhcIhqErgFUuQs=; b=B0q5ATjbGH0AnG6ElJ88fvQdsAVMrZ17d8H1pma6dZNqkCZA4fkr6A9h5URY5DJKQx /Gdbv0JAlwNLf59uK78loUzo8fKJEgXNVcB6EtGpOFqJbZYfE33b1HniVqk44SZey7RI zINZ4ULoa47dWOTva4GCyjyHvN8dHdb/xcqzRzmxS9fD3HrMx1mDLJJ4GkMBJ3c1NV+S fpOujyQBRKrMXBR8UNyKK1CiYGaNI/6Ax8pKrEV2WwueeeCAPOib42kiX2m8oSay2JPN mwqPb2KljIlsFip1z1ihVbDwJEsDzdpyZpsn0lIma1SKFBqjwnGC3FKD0wJlY0almPrc sq8g== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=mt3TtyrN; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12f as permitted sender) smtp.mailfrom=k.kapulkin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-il1-x12f.google.com (mail-il1-x12f.google.com. [2607:f8b0:4864:20::12f]) by gmr-mx.google.com with ESMTPS id q13si68578pfc.6.2020.06.25.06.17.55 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 25 Jun 2020 06:17:55 -0700 (PDT) Received-SPF: pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12f as permitted sender) client-ip=2607:f8b0:4864:20::12f; Received: by mail-il1-x12f.google.com with SMTP id t8so5268361ilm.7; Thu, 25 Jun 2020 06:17:55 -0700 (PDT) X-Received: by 2002:a05:6e02:e85:: with SMTP id t5mr34010752ilj.195.1593091075015; Thu, 25 Jun 2020 06:17:55 -0700 (PDT) MIME-Version: 1.0 From: Chris Kapulkin Date: Thu, 25 Jun 2020 09:17:44 -0400 Message-ID: Subject: [HoTT] Call for Participation: HoTT/UF 2020 - July 5-7 To: Homotopy Type Theory , categories@mta.ca, 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=mt3TtyrN; spf=pass (google.com: domain of k.kapulkin@gmail.com designates 2607:f8b0:4864:20::12f 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: , CALL FOR PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations July 5-7, 2020, The Internet https://hott-uf.github.io/2020 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. # Registration Registration is free of charge, but required. The details can be found on the event website. # Invited talks * Carlo Angiuli (Carnegie Mellon University) From raw terms to recollement * Liron Cohen (Ben-Gurion University) Building Effectful Realizability Models, Uniformly * Pierre-Louis Curien (Universit=C3=A9 de Paris) A syntactic approach to opetopes, opetopic sets and opetopic categories # Contributed talks 21 talks were accepted by the Program Committee. Their titles and abstracts are available on the event website. # Schedule The event will take place from July 5-7, 2020. The talks are scheduled between 2 PM and 7:30 PM CEST (UTC+2). Detailed schedule is now available on the website. # 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/CAEXhy3O9E5m4iAkxxX7xMCGHnnsdE71c_nHWvPhNoVKMjtfe_w%40ma= il.gmail.com.