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 4584 invoked from network); 2 Jul 2020 02:19:31 -0000 Received: from mail-oi1-x239.google.com (2607:f8b0:4864:20::239) by inbox.vuxu.org with ESMTPUTF8; 2 Jul 2020 02:19:31 -0000 Received: by mail-oi1-x239.google.com with SMTP id q65sf14969451oig.15 for ; Wed, 01 Jul 2020 19:19:31 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1593656369; cv=pass; d=google.com; s=arc-20160816; b=ljau1qX2opPiC/nBzntO+Avtk1qUBr7NpvbcWpWuEZWoP5ZBCnHqIN6vh4YE1McKJ2 vbOcG3WxkSBaFNg0DdUSMPqc/2lQP+a4SZbTyNBV6Ld5NkK4Q3zMkGoWQCls0ywp9tEU OEqF3jdT0CPzfMOV42y2hP+sHnf8Ho5Nkz1zsnGt5H5Ql62rU732d1NTiyl6lRVDUzY2 2EKXmmp51vv+jGtTxQixvJ4E0Wsp8v2BMIco+btHUC/+svMi6qJoyeowfe1vFqTWUA6U 8Heg76Saa1mpe8dKHRqAqeki6xCWlbH+PGf21tJTlj6VgH7DbFLceO2OhWKNlhX0wbky nkqg== 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:to:date:message-id:subject:mime-version :from:sender:dkim-signature; bh=/M7l49Tr4pvNhhK6mF6jcu6VC7uHEYGbf9qLbJiZ/0M=; b=wEUj4+Y2kqh2pWUF4jtC4OCrdvOjTlMniCQDo6v/Vf84Geo3I88F2eXMz3kxjuhCTK 54FxUUPTSCt1YFPWwMYcPp5Gsv7lhcm731o1oKLLG673SzXR8bdmz9lJEmmZvqXzvC4I C89fPi1wgu6KKzFiakggYI+OzaYmXoWbJ8dgmGtZiSTC5PbMygVm7WrzTqvCKWaRM4ve fsmHwDgLzSHh7bVjwLXxdu94wIBtJ+OsMR2RZXcLKgTGl0vGVuhpsxCnqh92ShHewrdA YiYwp8psz8aaU4bbZYl7m4CAX1tio/p6gsdykeKK3Wjk01LLB9focgCNTx6dsYqjl+BK oB9w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=YSn8cqh+; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f33 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:mime-version:subject:message-id:date:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=/M7l49Tr4pvNhhK6mF6jcu6VC7uHEYGbf9qLbJiZ/0M=; b=BrM8PPkacsfM7RSHBp2UAkxcbwI2HDOwR8aTih7IMz9nw50WpW3xhKZPItDSKtbft3 GjcTu+85WmeNyS4PRr9aT8d4JFsQWJJh8dehoQzV/fDUOX7H7ij2zpnzopSefaDEy41l Zubtph3f1nyGOci1M38oa8dPOIxA3AlxUgMuvMy0KeAzLclOID7UbDnxbaxmIgkfj7L2 m6zUfvUMXSlMyMc3iw20tAEk+c9K4oaHjHrNZGH3EXjtHCmvpKY3P2i/SRAtOOHDIPKR qrPCNgxqYMH1Ol5esC+leaky1RS7/Z8zQHBna67N88QmwHS56QjmrZa4u9QriCzwxqNW 3iTg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:subject:message-id:date :to: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=/M7l49Tr4pvNhhK6mF6jcu6VC7uHEYGbf9qLbJiZ/0M=; b=lRIeA41OFJ32q4Qh8gaoPIXUb53M5QV8xt+4zzEVRTr8e+HxyFzrUjAYBAc+5kAdll D5MUvKJQ6FiI9DOKUggrVNTOeMLIEzpJcNrao0Pb/Xac/6fHcfEYXLr1cAbIyXkwIDIZ KSx3UmOm6bTly9omWitG8vlxwjenDS6twNZuLrxy33Pf79tHOASbf1xmFIIZ5V8Nh3Cw karK6DIVKT//UXfiL8U9qGksI13QeauGd9u6RvL2IiIZKE3M1+uhnhMsZVd/TS971BK9 ZLif450nTG0hxYhqKNbAq/xVY96+x4L6l4fkH/cctLcVI4ruPLvNzkP+xp+NVCY9w+Xk kCLg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532T+chL8polhV5nIRz7jCqcTugtTUNRPONoWDyBtjEjDmvTcO3R BNGscfJ3P1wATfr0bNX7+es= X-Google-Smtp-Source: ABdhPJzKZANN4uQ8RKNDAY6QBzZhEeM2ulxtHAPv+rIk19qBBY9RnbLd0EBM88kvT/IttbYBXP4y6A== X-Received: by 2002:aca:c143:: with SMTP id r64mr22372404oif.7.1593656368616; Wed, 01 Jul 2020 19:19:28 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:5ac3:: with SMTP id o186ls952491oib.5.gmail; Wed, 01 Jul 2020 19:19:28 -0700 (PDT) X-Received: by 2002:aca:48d8:: with SMTP id v207mr22879030oia.81.1593656368292; Wed, 01 Jul 2020 19:19:28 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1593656368; cv=none; d=google.com; s=arc-20160816; b=YzN+losJN7VzFt05N4e8ICUcg3WdcTkb53WCOCcxBzeruy73Ry7AKT5O9J0QYUV+qR cGUl0n/C9L6dUN7mcfDuGvi2kyr8nSeuxXGmrV7I3df5aYEFg9B0p/W2/uD0gUWntyCu gyZSATE++3oqnCkFq50E7o5mtZlPKQh6ZP1AHATxW/M5Yd38y5uSC/6KjeMkWLwR1H1h FvEn9moOR5L31uv92vagM5D7/+d7hG2VDjCoWkGE6HuKm5vom/1OITaSiq2kWwQZtb82 jrHxwkLPjF0IEGVrCfp4aRfj7RVGroVzy4AtBcVjLtsn8A7/xYvDALlfVlKtcSapyxwT v6Fg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:dkim-signature; bh=NcT5OjGeb9JOXbvU4XSaoCQqcaGHOvEdQFHg0b/5omc=; b=QbFynsrUSm9vcz/kSF+PpqueC/Ap+ggGjD3XiSUC2rYKUqFr5mZVXBS6vr4iyRxqxS FkKz6fHswFwnqxE3GY0Ut0upa8Gdmy9MUov1/jr9VtbHc3T+a77BUyc9Vhy3DqhlugkY HXxvKOPWf5yXNMTvZARqzfLlQGMCJfZ8b73BG1FqZTJhS3NBzDOVKzWGaZx7gMuBjg5A 372eYP2sSEdupYHczofBnluJB6s3CwkRpY1QTJYEPY67JnUjQZZ1Zto2MJOOCkIDYeI/ Xd5czqb+YcBHpmxbLPfBr2ceQIzBYeSR0YRKf9RO7GWpDnfkzoD33EQxXiRFt9ssjsHS osEg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=YSn8cqh+; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f33 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qv1-xf33.google.com (mail-qv1-xf33.google.com. [2607:f8b0:4864:20::f33]) by gmr-mx.google.com with ESMTPS id y16si271108oot.2.2020.07.01.19.19.28 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 01 Jul 2020 19:19:28 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f33 as permitted sender) client-ip=2607:f8b0:4864:20::f33; Received: by mail-qv1-xf33.google.com with SMTP id ed14so1487134qvb.2 for ; Wed, 01 Jul 2020 19:19:28 -0700 (PDT) X-Received: by 2002:a05:6214:328:: with SMTP id j8mr13654832qvu.75.1593656367735; Wed, 01 Jul 2020 19:19:27 -0700 (PDT) Received: from [192.168.1.13] (pool-74-111-173-45.pitbpa.fios.verizon.net. [74.111.173.45]) by smtp.gmail.com with ESMTPSA id b7sm6738242qkl.18.2020.07.01.19.19.27 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 01 Jul 2020 19:19:27 -0700 (PDT) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.5\)) Subject: [HoTT] HoTT at LICS 2020 Message-Id: Date: Wed, 1 Jul 2020 22:19:26 -0400 To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.9.5) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=YSn8cqh+; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f33 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , LICS 2020 will include two "HoTT heavy" sessions (B5 on Wednesday July 8 and E5 on Friday July 10). The talks are already online, and participation in the Q/A session will be live via Zoom. Registration is free: https://lics2020.saarland-informatics-campus.de/schedule/ -- 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/D5AEEB22-F17C-4452-826F-C3F6E16A1972%40cmu.edu.