From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-pl1-x639.google.com (mail-pl1-x639.google.com [IPv6:2607:f8b0:4864:20::639]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 43f17e8e for ; Mon, 11 Nov 2019 17:23:35 +0000 (UTC) Received: by mail-pl1-x639.google.com with SMTP id g4sf11024442plj.19 for ; Mon, 11 Nov 2019 09:23:35 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1573493013; cv=pass; d=google.com; s=arc-20160816; b=d6ciCMDQrMBhi+d4R+M9HOH5QmSIx6zSwKePpYDUKnxI7m9eis7d6kb2gEEV09Bcme XtInVECVNYvpPl/mR9aC+95THKdhtVN4pFlz4zU6G2CUU+YuETktUtTltCnX0sOYCcBz dpoOSLcpBdjCOy9waA0A+lomhxALyFVC1CHL5HY9zlujsRnsnEA2QL1SzJKSu2YqaJGe KRMDPkUhom3VTwuEuUy6xbuo1zDh78SMZZNWKNzdADmU1G9O2jbfOIlBd/kD0OYCxzlm uShLOGxG7pIVXgFzl2IgEdYGl4W4dsJjBzcqcLH09caDLkUq+8FludZ7TfL/6cCzmI8V y58w== ARC-Message-Signature: i=3; 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:mime-version:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :from:ironport-phdr:ironport-sdr:sender:dkim-signature; bh=E1bQoVQIy7vmw0w1h/MWjs2Xbx51+vF2hS4mMyj6BjQ=; b=skwfWvbsGmNXgb27+askzZV4fbyycabZNdU1CQmioepEjj8i2E9Bu2LTJurIS4UmIs wja7YfvfYadmT4hphqK67newqHp417F5YEeuD8o++J5a3C/F+v/7NhXiea8AcvRbvLky INDJ1eSKmSVpUcHMrwWjuqNmQ213i137dbycLdTajDbp8S5PbUHxB9UhPaAn29KrIekd 5RrhIuD56KOmvaUaAnal8Yb1zc1bMa0xPikRey4X8H79bXLejRra8DcSatxAInoGSeAr r19OryKU3dvINFX3eYz9N3QyVF7n63sLz6tPGjc1Hk5mrQw13N6+zA+pazBZ2a39LctT nB+g== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=PyuIXCVJ; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=Q5mRbwH7; arc=pass (i=1 spf=pass spfdomain=jhu.edu dkim=pass dkdomain=jhu.edu dmarc=pass fromdomain=jhu.edu); spf=pass (google.com: domain of prvs=211f4d2c8=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=211f4d2c8=tslil@jhu.edu"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=jhu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:ironport-sdr:ironport-phdr:from:subject:thread-topic :thread-index:date:message-id:accept-language:content-language :mime-version:to:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=E1bQoVQIy7vmw0w1h/MWjs2Xbx51+vF2hS4mMyj6BjQ=; b=g+hgz0BywvyutmC3P3CIFiADMgyeebG9iWUgWwtZcBCtjZFywLNIIOjqnOHT3dQ1Gf 840Koh8N5EEEoeh+uZMA2v1nQjiBFJT8tByShKMzypS9xPpwMsKdBWffwZDRPdS3jEhb b0hS9VWRftSdmTBXlKQyVq4TZglJi0CDYjvOai7a6bxiooUa5n9YSp2e3KPloAIxmQzB gnazBhqc7CefSC1MKQEo9kPbtvnK8E7qsy6I4MuBo0Ti3dIT2iitiEiNXd/TFi7pB3Rw 3P5dChHjd3+7dbHE+PkQcSDu5YiGMa2ktywuG4Hnnl2aMfPGKWDYi9pUeOMVigliUFsN 1dpg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:ironport-sdr:ironport-phdr:from:subject :thread-topic:thread-index:date:message-id:accept-language :content-language:mime-version: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=E1bQoVQIy7vmw0w1h/MWjs2Xbx51+vF2hS4mMyj6BjQ=; b=Mem5ogginXHqhN3I7jonhQD7/FF5vV46lpQmueXaSKBO6xSKk7AnMFGR3w78fdYpiq rtSFrtC7APt1G9hLJchlw0uP59b7zRDGt31BBavoS2HS+oLwoUvGSF6H+bApEBaPAHt5 3V+iiE01sdnoTpU6EpKRCstfK4sylQM0f+1cTdRzYCbxfxjaHgSehw/kRlcdA0gDbfH6 aw7XO7X48L38MKi83p/tVhn42dV19+gny4FLlesQ/IBU+NfIMXRCluGJPXUx9eE3rGO7 KertTey7hqOpxmKOpxVG1SIsrUawJvjJ2+1TbFeM4HEIde0jvgi0QZZUM8x8LLjwgf7t 8eTg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXZ4+mMbYW/Mss+Gy5J7aH9DQCNOfOGCCmwTxO5e6uiIMIoYYTf Di5YI7KlrjzMz2GU9BMOuQQ= X-Google-Smtp-Source: APXvYqydZFYLl3P0rd0re7TYUkCaLzemngUk4QVqaSBnXWH0P31vZHRv48pMxctNd2198QXtD6uo8g== X-Received: by 2002:a65:41cd:: with SMTP id b13mr5164628pgq.385.1573493013403; Mon, 11 Nov 2019 09:23:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aa7:860b:: with SMTP id p11ls1934060pfn.16.gmail; Mon, 11 Nov 2019 09:23:33 -0800 (PST) X-Received: by 2002:a62:4ec4:: with SMTP id c187mr31211786pfb.113.1573493013054; Mon, 11 Nov 2019 09:23:33 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1573493013; cv=pass; d=google.com; s=arc-20160816; b=mFAFRFLz47VHBdOzOqzC1HWR+38fK2Uv2lCJap7RoglyYoL+DZdJb92zQyltLlGv5g wV4PjpEgwxV69APVwIiNWpLHMwvff5qBmfFLpPP52LgWmy9shg4ZB9cqMJGiBpBqavg0 IAiw3yYTD2Vjp29ikgzMIq2L2rwtfjLBgWhFlLiqOR65XvM+1X/Ye5WIQLCRp/bbJDic AgQxq80GeYBO486ksesMm06pNjm/p+H2SyJ2eOocz68T1lTFQn+42mPx4ys2hxYY4X4T loeE8tKLeeSAyEzjBKl496OqJMM8hO0gA32M2Jg8uStpsYVsW9HiHy88FQRO4kAhFe8t WwNA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:mime-version:content-transfer-encoding:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :from:dkim-signature:ironport-phdr:ironport-sdr:dkim-signature; bh=EFztVZv0ZX0mkGSR2upkBg9gS6QI/puhwHp9CAED6cE=; b=Dm/5lJ3zlA6M3ie3042R+kqdGcb3x86TCrZJdITUsE0vTeMIKjN12rAWjNbnNaa4Nb ceUDGfss1OtaPralHUVp6Y9nx+mZWLwuFGKZ6l6g1zbWCwcADqVwQHFAOPXcIwk9YwD2 EbU0RekBU99HgoVOm91pIlndkFpmXy1LNg4xURMbtu0ZBmkd86krkSKfTBc/mMdsRRxM 3oZaVwq2eoRNU6Ssk2L5UIpBMnxd9p1nNYfWm3Wd3hgB/o1VTx07J4VgP7NTry1UhjvH VbdjRWhFqYo2eUfae0G52yzDtjuoDFQd0PN4kaPUOVSB6wnRGDKSF0bqHKTi3fI46FNB hb6w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=PyuIXCVJ; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=Q5mRbwH7; arc=pass (i=1 spf=pass spfdomain=jhu.edu dkim=pass dkdomain=jhu.edu dmarc=pass fromdomain=jhu.edu); spf=pass (google.com: domain of prvs=211f4d2c8=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=211f4d2c8=tslil@jhu.edu"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=jhu.edu Received: from IronEB7.johnshopkins.edu (ironeb7.johnshopkins.edu. [162.129.199.170]) by gmr-mx.google.com with ESMTPS id s144si1135405pfc.5.2019.11.11.09.23.32 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 11 Nov 2019 09:23:33 -0800 (PST) Received-SPF: pass (google.com: domain of prvs=211f4d2c8=tslil@jhu.edu designates 162.129.199.170 as permitted sender) client-ip=162.129.199.170; IronPort-SDR: yaST/ymtTeOV5vWLMjC9kJlN3WRJ3hIZP+auKqgfj9OFFqiUePT095yvLlk8SZ1ZFgBTulVTpZ MeKZN4oUbd0qVvGNFpsfSRO/5luLfvPvRUQzjfld3jBchd5Tiqlh+gnvbkR9vdJ0yvuvuMPvsd vFOQNugmaWGeYZhStSH9farDMU7xqJKb+MwlLDkIyhNlF5p+AdzqyVIhXPMYVo3WqbzYCjLKcd J/DC6ZIE8pssgvLdeTLgLUueRvwCUjvOlQokiCA0tO/+2mb/pGPx61LLdkhiImbvMy/Wo8jKiK 3pk= IronPort-PHdr: =?us-ascii?q?9a23=3AAOaInBUUZSjuTEbwVXTlcKC6opXV8LGtZVwlr6?= =?us-ascii?q?E/grcLSJyIuqrYbROAt8tkgFKBZ4jH8fUM07OQ7/m7HzVavt3Y6ClKWacPfi?= =?us-ascii?q?dNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV?= =?us-ascii?q?3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAvcutMLjYd8KKs9xQ?= =?us-ascii?q?bFrmdVd+9L2W5mOFWfkgrm6Myt5pBj6SNQu/wg985ET6r3erkzQKJbAjo7LW?= =?us-ascii?q?07/dXnuhbfQwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWT?= =?us-ascii?q?S/86dmTQLjhSkbOzIl9mzcl8t/gr9GoBK6vxxw3ZLbYJ2bOvp5e6PSZ9IaRW?= =?us-ascii?q?xcVcpVWCFMBoawYo0IAOocO+ZXsoj9p0ASohu6AgmsH/3gxSJVjXPy0qA2z+?= =?us-ascii?q?EtHAfb1wIiAt0OqmzZotXoOqcOX+67z6jIwinMYfxZxznw85TIcgk9rf2QQb?= =?us-ascii?q?58bdfdxE8yHA3FlFWQronlMiuJ1uQWt2ib7u5gXv+zhG4jqgFxpDevxsI2hY?= =?us-ascii?q?nPm4kYzUzE9T59wIY0Id21U0x7Yd65EJdKqS6VKpZ2T9okTmp1tig6zbgGto?= =?us-ascii?q?S6fCgM0JknyB/fa+CHc4iV+R3vTueRITB+iXl4e7y/nw6//VW8xuHmS8W50E?= =?us-ascii?q?xGoylBn9XWqHwByQDf5tCGR/Zy5EutxziC2gLJ5uxLPUw4j7fXJpE9zrIomJ?= =?us-ascii?q?ocr0fOEjPzlUjzgqKbeVgo9+it5unmeLrmqJuROopohQz+Mqkih8myDOU2Pw?= =?us-ascii?q?cSQWSW//m32qf58k3jWrpKi+U7kqzesJ/HO8sWvrW5AwpJ0oY77Ba/Eium3M?= =?us-ascii?q?wYnXYZKFJFfwqKgYf0NV/PL/71EPixjFWynDt33fzHMLzhApPXInfZjbjtZ7?= =?us-ascii?q?R9605ByAYp099Q+o9UBqkAIPL1REDxqMTVAgIlPwCu3urqCM9x24AaVG6VHK?= =?us-ascii?q?OVLr/evUeN5u01IumMYIEVuCz6K/gg//PukWQ5mVscfamtxpYXanC4Hul8L0?= =?us-ascii?q?qHfHXsn88NEX0WsQomUOzqlFqCXCZRaXa1WqI84S07CIW+DYbDWI6sgKSB0z?= =?us-ascii?q?mlEJ1WeG9GDUqMEHfzeoWLXPcMby2SIst/nTwLT7ihTJIh1Qm1tAPg17VnKe?= =?us-ascii?q?/U8DUCtZ3/zNh1+/HTlRYq+DNoFcudz3+CT25znmMSRj85wrt/rFd4ylefy6?= =?us-ascii?q?d0meBXGsYAr89OBzo8OZ/HxOh9EN3+EhjMddaRSVugXs70UmIfVNU0lsMVZ0?= =?us-ascii?q?d5U96mjxbM2iOsS+sJjLiKALQ28r+a0nTscZUug03a3bUs2gF1CvBEMner0/?= =?us-ascii?q?4urVKBDpPVk0ifi6ehfLgd2yiI7mqY0G6SpxwEAhVoX/DDWnYSLgvNoNL161?= =?us-ascii?q?mKbofmCK9vc0NazNKabK5Da9nnl1JDEev4PNXaS2CxhiG9CQvbjr4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2E/NgBXmMld/9xZDwpkHAEBAQwBGwE?= =?us-ascii?q?HAQEBBQEEBAEBAgEHAQEBCQGBTYE1AhJQVhtWChgENQqHaIprkjowCBGHW4F?= =?us-ascii?q?CgRADGBwgAQgBAQEBAQEBAQEHARMMDgIBAQKEPgJMAQQEg2Q4EwIDCwEBAQQ?= =?us-ascii?q?BAQEBAQUDAQEBAmmFNwsBgikSDAwDAwFtOQUBAQEBAQEBAQEkAQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINVCs1IS4BATgRAYEAJwo?= =?us-ascii?q?BFBo5gkiCRgMuAQKhboxtgn4BAQWFDRhBAQkNgT8JCQGBKgIBAYwqgX+BV4M?= =?us-ascii?q?KgmICgSk6gyIegiyNK4kol0GCL3CGJ4dBhweCLQGXS6g9AgQCBAUCFYFpI4F?= =?us-ascii?q?YchOBWQqBRAlHERSUKYJkh29CMk1bizeBBgGBDgEB?= X-IPAS-Result: =?us-ascii?q?A2E/NgBXmMld/9xZDwpkHAEBAQwBGwEHAQEBBQEEBAEBA?= =?us-ascii?q?gEHAQEBCQGBTYE1AhJQVhtWChgENQqHaIprkjowCBGHW4FCgRADGBwgAQgBA?= =?us-ascii?q?QEBAQEBAQEHARMMDgIBAQKEPgJMAQQEg2Q4EwIDCwEBAQQBAQEBAQUDAQEBA?= =?us-ascii?q?mmFNwsBgikSDAwDAwFtOQUBAQEBAQEBAQEkAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBBQINVCs1IS4BATgRAYEAJwoBFBo5gkiCRgMuA?= =?us-ascii?q?QKhboxtgn4BAQWFDRhBAQkNgT8JCQGBKgIBAYwqgX+BV4MKgmICgSk6gyIeg?= =?us-ascii?q?iyNK4kol0GCL3CGJ4dBhweCLQGXS6g9AgQCBAUCFYFpI4FYchOBWQqBRAlHE?= =?us-ascii?q?RSUKYJkh29CMk1bizeBBgGBDgEB?= X-IronPort-AV: E=Sophos;i="5.68,293,1569297600"; d="scan'208";a="245357489" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from esgebex20.win.ad.jhu.edu ([10.15.89.220]) by IronEB7.johnshopkins.edu with ESMTP/TLS/ECDHE-RSA-AES256-SHA384; 11 Nov 2019 12:23:31 -0500 Received: from ESGMTWEX2.win.ad.jhu.edu (10.181.25.137) by ESGEBEX20.win.ad.jhu.edu (10.15.89.220) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 11 Nov 2019 12:23:30 -0500 Received: from NAM03-DM3-obe.outbound.protection.outlook.com (10.173.97.194) by ESGMTWEX2.win.ad.jhu.edu (10.181.25.137) with Microsoft SMTP Server (TLS) id 15.0.1497.2 via Frontend Transport; Mon, 11 Nov 2019 12:23:30 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=J+lDc1k1TS3VLxCJbBcFEBoYiJqOCZj9slTajaBqs0wULt6Uf9R22mxPDwDsbKk4HR1WwJjXgA99b8eJPnJ+IQTOW3SbCFO5a+Xq7nMSRzAo1FGEfrlR6O7ZGI2YO6m+0NyvhtrZ75xKNOKEEii0VWuXB/JBxLqOvy3s9DKxkLw+cB09uYwNff5xZotvladaH9pxUcYPscWy6atdgW8pWAVrbd/Tr1yfsQMF8JXsFZVH9bQ5+E+2gNGcnzf6ubNkEoDExIuVz1N/l2S7slfIMa3ENd8uAvFViQHw/vZWQgkGu4bj+VZ6CCnyCD5vyhVn9ZT7y8zXfqTKB9v8byU5Eg== 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-SenderADCheck; bh=EFztVZv0ZX0mkGSR2upkBg9gS6QI/puhwHp9CAED6cE=; b=J1Jmv7Zuj5ibIEyKt/oqDZohfv64l929UUop81gpI9mL5OGlz3ZKikjJWnQXLmPK1wACMgQDKsoeOtnZXDpU7N/slSBRKmJC9Z/knna2QZ0p9VPXu4zskGpnC9IvJDOm1joF1bFQ7PaleasOuleXWD3Uge80offZFWUPDbr0RCFyZSgUxgUzsfDYkrv0LuyUIU1NVQBuvwxwOdCoTgo3F9jiHn7p1OI6Ax/A9FF9aDMEHtochpJcdn9bmYLF0r91+4tfN1vg/D8TZUDUieJfX1W1Bx0ThaYmqgYdz4hfoULjFirKXW/mtFqlGL++smulVa4dbpy+hcQWSnV2/vSPFw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=jhu.edu; dmarc=pass action=none header.from=jhu.edu; dkim=pass header.d=jhu.edu; arc=none Received: from SN6PR01MB4894.prod.exchangelabs.com (52.135.108.215) by SN6PR01MB4270.prod.exchangelabs.com (52.135.121.156) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2430.23; Mon, 11 Nov 2019 17:23:29 +0000 Received: from SN6PR01MB4894.prod.exchangelabs.com ([fe80::3415:6af9:c551:63c2]) by SN6PR01MB4894.prod.exchangelabs.com ([fe80::3415:6af9:c551:63c2%4]) with mapi id 15.20.2430.027; Mon, 11 Nov 2019 17:23:29 +0000 From: tslil clingman Subject: [HoTT] CT Octoberfest 2019: slides and videos available Thread-Topic: CT Octoberfest 2019: slides and videos available Thread-Index: AQHVmLQMKgJ1Fjw7jEKfRHZ28mWriw== Date: Mon, 11 Nov 2019 17:23:29 +0000 Message-ID: Accept-Language: en-GB, en-ZA, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [64.237.40.140] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 7c2383b4-4b93-4c8f-d5da-08d766cbdec8 x-ms-traffictypediagnostic: SN6PR01MB4270: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-forefront-prvs: 0218A015FA x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(4636009)(346002)(39860400002)(376002)(136003)(366004)(396003)(199004)(189003)(88552002)(102836004)(1671002)(55236004)(99286004)(26005)(6116002)(7696005)(3846002)(2906002)(6506007)(71200400001)(476003)(478600001)(486006)(71190400001)(25786009)(4744005)(413944005)(66066001)(14454004)(5660300002)(66446008)(86362001)(8676002)(75432002)(55016002)(7736002)(81156014)(881003)(9686003)(66476007)(91956017)(76116006)(66946007)(64756008)(52536014)(66556008)(296002)(786003)(316002)(6436002)(256004)(74316002)(81166006)(8936002)(305945005)(109986005)(186003)(33656002);DIR:OUT;SFP:1102;SCL:1;SRVR:SN6PR01MB4270;H:SN6PR01MB4894.prod.exchangelabs.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 31Ukx+9EPMDf1ZYsv3YGm+yISnnNnDd7H2iHPb92+C4dxU3D7kv6IoNJ41yl/iOGoGdfylA15XXJTG4cd8pB5NLLjuHOVE1aCkeHBTcpuahrjj5+MYUIsiG5LgGqLqwQnblPxI38xhIWSNGfM/SzimIlGzJBsuXIK9EX0mTwpenf2FunO/24r8IE3JLClJSlkKg27kRr+PL7qveAIFBMEWLo7jRpU9BKaPuHYZ2nq47/ihOtdm9AGXIoic5uYjRPP0rDuEaBqz1HRvOiINcxZpHHLhk2g93KU8Zxvbpz4f8h83uwrdlFJ3Ar/kpcGgS+SkRnOE18jzt4uRZFJsZaMTb8Qx8ZXP3jsMioECCETpTTlIo7q0Dx8IKInH03vHnEw6QY8QyZIqY2fqxjTTkCXuSfqz/aCncJdNNWKgYB5Qa4HX5TCeegmjluv9l0a5u+ x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 7c2383b4-4b93-4c8f-d5da-08d766cbdec8 X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Nov 2019 17:23:29.6763 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9fa4f438-b1e6-473b-803f-86f8aedf0dec X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: yax5VPkuOW2WyxFou56K3PXytOAI9NvtSas1c0nNivdgxli0bZRD5Y9A9b4QKN78 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR01MB4270 To: Undisclosed recipients:; X-OriginatorOrg: jhu.edu X-Original-Sender: tslil@jhu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=PyuIXCVJ; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=Q5mRbwH7; arc=pass (i=1 spf=pass spfdomain=jhu.edu dkim=pass dkdomain=jhu.edu dmarc=pass fromdomain=jhu.edu); spf=pass (google.com: domain of prvs=211f4d2c8=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=211f4d2c8=tslil@jhu.edu"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=jhu.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: , Dear all, The slides and videos from the Category Theory Octoberfest that was held this year at JHU are now available through the website: ct-octoberfest.github.io Thanks again to all the speakers who helped make this meeting so great, and for their agreement to freely disseminate the recordings of their talks (and slides). tslil, on behalf of the organisers -- 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/SN6PR01MB489462A514D158FDC0F5FBD2B9740%40SN6PR01MB4894.prod.exchangelabs.com.