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,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-yb1-xb39.google.com (mail-yb1-xb39.google.com [IPv6:2607:f8b0:4864:20::b39]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id b767bb60 for ; Sun, 25 Aug 2019 11:57:28 +0000 (UTC) Received: by mail-yb1-xb39.google.com with SMTP id a18sf783954ybm.15 for ; Sun, 25 Aug 2019 04:57:28 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1566734247; cv=pass; d=google.com; s=arc-20160816; b=kenNk2c8+01fxH0HGMnd2EL8HVttSRgiVqfZTXu+3X0LWxlVP0fvkE9z4J24rKE/TL uE+MCh7zYdJ480YckO+ji6/vGrihIRqhG3cRKMprjJKaXZa7JQycjtI1eQfFyC8MHlis 4DD6KhontxWGZTV2qbjgZJK9xqebNTBScCeSnP1G+oC2ybxCTFW3Up6FJ55fqpEoURr4 vag8gNCKdayvSd6I591GeAyxpqQ3m8XgDd+kkf7TNVFemOCWep6fqBvU7linGlEQy00C KgqWjg1+UahQqZ07TFDw6UJ7iy5yEoxIlVwKQ4ZPmCnXexB56GDvA+9FhOvZzrcA3tGL 1nYA== 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=TbwnKPtoo2uCCkm6GAQqrzmhJ0/WzMYP7cK9XM2anq0=; b=Y1T/ZC/lt4EtjcfI7Fdo75t674GnvooiSyKwNav4z0EkGIeVmHAKxRb54TpUwTY8TT I3HtWNknfOS1cEt3wi1c7V2mXYcfL3pql/GUa/eb68qEJ1vjz7HRTXzmUG84HqT2U5MN sz5AHRgcY5Wa/l3t2DDg3dDTl1vKAUNnHY5Cjtyd9LBOX0f1AgGkNO10/Jv244/lNxpi Mflq578+bAj6UmSpNxgmTKW48u3kFEv8vvx8YfndjIFOothSTV7lEBzLkcrKIc4gm8Nk bMgIIrObm1Q3/22aQotAlHy/JwA+e9imzNAI7L4wrLZOn9tM7JsHeay7MpUP9j9E8fBz rStw== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=Q9No8gj5; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=R1vNcpwF; 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=1331f0a00=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=1331f0a00=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=TbwnKPtoo2uCCkm6GAQqrzmhJ0/WzMYP7cK9XM2anq0=; b=ArhNBmTKLa/ILhRqf7ZXuyU0ZTEfxfusrBMAejOvL3HDOhQpHA2IxzvgtGUqNo5bW+ Fn+cSVS+FH6iLkHzMcjUuW8onlPpx3iiNfnz0g12GgeqpOrgS0FX+uid7r99EG3UbuyP cXX09pRHV7CHvTBaicAJpU1etw3ai/NguYok3QlVk7+RETsETSCR46B3H3xz4e8tmlaC xdtpiWuulbfEz/d1WjYEfw+flq4vWcNuWG62Z0S77JkZcIuOTjLUmbiHJzek6vcSHhDB jUxxYJjl42ke7GppR3BVc30WFCWCjVp/oGvQFh8eIg7dMwpMnFmsMnWOkDbBIc4hG9Va qnuw== 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=TbwnKPtoo2uCCkm6GAQqrzmhJ0/WzMYP7cK9XM2anq0=; b=BS8hhx0Xt1c8pTxLsl7SO8hqBfTuTMjIbc0N4e18taP3/Nakipv+yXrGHtyRGer7YP lCt+E1tKUcVZ4WAQmROFUJRsvS9OGXBP9MZVTrl4RwFDabIWexnIHRHDNYiWBg2wP5cI whMrBtMpTl0K5nGcMjTHSMCc6fIAQphyxJyURXTjjsC3eAM1adWmc52GainSjYPbg5+o MIQ3qn1Hr4PLc7Y8desZSXm/IYdMI23LiT2tUvx8AbdLiOWd5XXF979xA4S/pvZOfBAZ X86LQcCuhwvgp3WOKHKybs/8AWontojYDOC1rF7mJtIGZYn5M1dQ86MyzyyEQycihl4r S04g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAX6zBFaAXaH2qEu2yBlnMZym2it0uVFNXUyf1y2+lzyON/dcwUs VMFEm81PXzO3dO+ICqkrD+U= X-Google-Smtp-Source: APXvYqwh81VQMsN/zHbDg1FYyywVHwMaJWqw+RnlGh5ARDRx9ByG0Jp9RIZbN/UellBhMfvTHFHKOA== X-Received: by 2002:a81:802:: with SMTP id 2mr9727589ywi.163.1566734246801; Sun, 25 Aug 2019 04:57:26 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:23d6:: with SMTP id j205ls4162782ybj.0.gmail; Sun, 25 Aug 2019 04:57:26 -0700 (PDT) X-Received: by 2002:a25:49c7:: with SMTP id w190mr9962484yba.457.1566734246517; Sun, 25 Aug 2019 04:57:26 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1566734246; cv=pass; d=google.com; s=arc-20160816; b=Ld6nv9tz01Tub+9W9+925/MRvgmj7EbNkAKw5TydyHcr/1vzsp+nZMkhYzuX/4k5m4 jYlyMs3Uqy7ZzfiH4w9oqVEtDSUq+cdhGjuEU63K7Tk1fHFPLyFnXCQF321RZAJOUwvq mR7kAz5KhMYdaTUX+halgfunNNZKtLvVbtOz1oFXJz7xM9adyOLuiLJ/BlZatzotCP6I Rx75C6ovyY79Jqg+wLTq0Xz+YJv1rKOe2kXoMRDXPzb5EIAw0nNLsR3ldz/KbISr1GH5 p6btW0CboCJFvAb5utCI+OEWTujEDDidpYmTu1THviJ0QNFE+DmysfCQFAGmEdpbDpTc esnA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:from:dkim-signature:ironport-phdr :ironport-sdr:dkim-signature; bh=aiWmo1lGikg3vqStTUwfJHxDP2E2leIUiclgHihyBZo=; b=hUVvA/sNHp+pC9atJQadW9tE69In8sMDVGxwhSln9bQvru7/yBU25BRDqyJbiD3/la 3994ACVKq43rDBPnnTf7CPv8DvxXXGnRhn5z42IaG0IRugiwkOPLkAk2ofX3FGY7qs0B /nuQc8IXlapiaxfuj/u7Od4P+p94dl38c9WNJ5PGHMNQxMWcPTU1qGTJTRIvqHWMRfmd TO0xNH0tHdYkpLFsmMckC3u3kc0PWv8sQFABJOcfbMrLr4V6eORNA42qWKhbxGeVjUbX TwipjK8cElbUq7060s/5aFKvbd8kZ4n9nuB89CHEyr7D8VTBb77fqKfdS5EZfwsw4H8T II1Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=Q9No8gj5; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=R1vNcpwF; 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=1331f0a00=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=1331f0a00=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 n40si399808ywh.3.2019.08.25.04.57.26 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 25 Aug 2019 04:57:26 -0700 (PDT) Received-SPF: pass (google.com: domain of prvs=1331f0a00=tslil@jhu.edu designates 162.129.199.170 as permitted sender) client-ip=162.129.199.170; IronPort-SDR: BFrge7aPpqmARbbaPxyHipAIfz5kkvt3BMU6KXAZfc1wN3LeEfSZthUL+VXcJTSix+SjDKI/9/ TsM9G5HKo1hAocSqMaMBsFJUdyeNwZ2wNttsXp8F8M2tDS61FqTUx70ZOBn89MWzfK5J3CvJjN Cl7Dei9WIAh8RfUtQ/1bNrJh/e9cp5XQqSjgx2Kp3CctvMoeHV64wzWXWwYh3JUm/73LTqL/+s NwRKT8snkbicJOZCAk8m/Mso75c/xhS5mUyJf5vGbQbwVmGwyC6ng0bLlxbzETN+c6Gqdqottx rWQ= IronPort-PHdr: =?us-ascii?q?9a23=3AEm0DvRP4uQ6GO2aCSVcl6mtUPXoX/o7sNwtQ0K?= =?us-ascii?q?IMzox0I/v5rarrMEGX3/hxlliBBdydt6sezbOL6eu8BiQp2tWoiDg6aptCVh?= =?us-ascii?q?sI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFR?= =?us-ascii?q?rhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Ngi6oAXPusUZjoZvKLs6xw?= =?us-ascii?q?fUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2?= =?us-ascii?q?465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVz?= =?us-ascii?q?mu87tnRRn1gygAKjA57XrXitRug61HvBKvqRt/w4vOb4GUMvp1Y6fRcNweSG?= =?us-ascii?q?ZEWMteUDFBAoWhYIsOFOoOIeJYr47mp1QQsBS1GA2gCezzxjNNgHL9wK803P?= =?us-ascii?q?k7EQze3AIuAs4OvnrXotX0KKgdXv67wbLSwjnfc/9bwyvx5JTVfh0nvPqCXa?= =?us-ascii?q?hwcc3UyUQ3CwPFlVGQqY3hPziIyusNt2mb7+xvVeKqkWEnrRx6rz+zxsc3jo?= =?us-ascii?q?nJh4YVx0vG9SV53YY5P8O3R1NmYdO9FpZbqi+UN4xzQsw4QmFovj43yrIHuZ?= =?us-ascii?q?6nfCgK1Y8oywTea/yAdYWD/xHtVP6JLDtlmH5pYq+zihao/UWjzuDwTNS43E?= =?us-ascii?q?pWoiZdjNXAqnQA2wbN5sSZVPdx5Fqt1DKV2wzN6uxJL1g4laTFJJMi3rI9k5?= =?us-ascii?q?8esUrDEyPqhkr7iaGbeVk49uS27unqYavpqYWCOIJxlA3yL6oul8qiCuoiKA?= =?us-ascii?q?cORXKU+eGk2b3m+k32XatFg+UtkqncrJDaPcMbprOlAwNN0oYs9RK/DzC+3d?= =?us-ascii?q?oXgHcJLV1LdQ+IgYfoJl3CPer0DPm+g1Sqijtk3e3JMqfjApXNM3jPiqnucq?= =?us-ascii?q?tg60JEyQozy85Q545MB70cPP7/QFL9udzCAhI6NwG42fvrBMlh2o8GXGKAGK?= =?us-ascii?q?6ZMKfcsV+S4eIvJvGBZJMOuDb5Kvgl4+XjjX05mV8AZ6Wmw4YYaG2gEvR8P0?= =?us-ascii?q?qZeWbsgssGEWoSvAQ+S+nqiFqeUT5Uf3azX7wy5zEjCI24E4nDRp6igLub3C?= =?us-ascii?q?a7BZBWaWdGCleDEXfsaYqEVO0MaCWPIs95iTwIT6SuS4gk1Ru2rg/116JnLv?= =?us-ascii?q?bI+i0frZ/syMJ65/HNmhE98jx0FcWd3H+WT2xvm2MIWyU50LpjrkNnmR+/1v?= =?us-ascii?q?1FhfBZDtdX4OhEXk8gOJXd1+13DczpCFGSUM2OTQO6WdGnBXk6StM3zNoHZQ?= =?us-ascii?q?4pB86mjxTr3Sq3RbIZiurYV9QP7qvA0i2pdI5GwHHc2fxx3gN8EMJSKW2rgL?= =?us-ascii?q?J+/AHPBonP1l+UjLuuab9BgHzW7GnWy22IsQkYSwN2XajfFVEnLkrN5ZWx/U?= =?us-ascii?q?beV/mrALUjPBFGzJueMa9LbvXrjUgASfv+a5zT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2EN/ABHd2Jd/2RZDwplGQEBAQEBARQ?= =?us-ascii?q?BAQEBAQEBAQECAQEBAQEBgUsEAQEBAQEDAYETGwIBAQEBAQ1QVBx2BDUKh2G?= =?us-ascii?q?KbZJcCIdggUKBEAMCFhwgAQgBAQEBAQEBAQEHARMMDgIBAQKEPQJMAQEBBoI?= =?us-ascii?q?2OQUNAgoBAQEGAQEBBgMBAQECaYUtCwGCKAEBEAwMAwMBH005BQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBHwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQU?= =?us-ascii?q?CDSswIQsjAQE4EQEMdBQTCgEMCBo5gkiBHU0DHQECnUqKR4IlgnsBAQWEfhh?= =?us-ascii?q?BAQgMgUADBgkBgSgCAQEBAQEBAYwDgX+BV4MKgQQBgVwCgSkFARIBIYMdHoI?= =?us-ascii?q?mjDIYh2aBAIgIjjYJgiBkhgaHE4ZhgjKHMI5toh2DcQIEAgQFAhWBaCFncXI?= =?us-ascii?q?TGoE/CoFEgUqEaoJkh29AMk5bi1aBIgGBIAEB?= X-IPAS-Result: =?us-ascii?q?A2EN/ABHd2Jd/2RZDwplGQEBAQEBARQBAQEBAQEBAQECA?= =?us-ascii?q?QEBAQEBgUsEAQEBAQEDAYETGwIBAQEBAQ1QVBx2BDUKh2GKbZJcCIdggUKBE?= =?us-ascii?q?AMCFhwgAQgBAQEBAQEBAQEHARMMDgIBAQKEPQJMAQEBBoI2OQUNAgoBAQEGA?= =?us-ascii?q?QEBBgMBAQECaYUtCwGCKAEBEAwMAwMBH005BQEBAQEBAQEBAQEBAQEBHwEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCDSswIQsjAQE4E?= =?us-ascii?q?QEMdBQTCgEMCBo5gkiBHU0DHQECnUqKR4IlgnsBAQWEfhhBAQgMgUADBgkBg?= =?us-ascii?q?SgCAQEBAQEBAYwDgX+BV4MKgQQBgVwCgSkFARIBIYMdHoImjDIYh2aBAIgIj?= =?us-ascii?q?jYJgiBkhgaHE4ZhgjKHMI5toh2DcQIEAgQFAhWBaCFncXITGoE/CoFEgUqEa?= =?us-ascii?q?oJkh29AMk5bi1aBIgGBIAEB?= X-Internal-Spam-Message: true X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from esgebex11.win.ad.jhu.edu ([10.15.89.100]) by IronEB7.johnshopkins.edu with ESMTP/TLS/ECDHE-RSA-AES256-SHA384; 25 Aug 2019 07:57:25 -0400 Received: from ESGEBEX4.win.ad.jhu.edu (10.15.89.111) by ESGEBEX11.win.ad.jhu.edu (10.15.89.100) with Microsoft SMTP Server (TLS) id 15.0.1473.3; Sun, 25 Aug 2019 07:57:25 -0400 Received: from NAM01-BN3-obe.outbound.protection.outlook.com (10.14.97.216) by ESGEBEX4.win.ad.jhu.edu (10.15.89.111) with Microsoft SMTP Server (TLS) id 15.0.1473.3 via Frontend Transport; Sun, 25 Aug 2019 07:57:25 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ea/4Ab+b0TvMXJaTWNcJvMAWDVWFmPOzxX5lzg8fLEpFqFI4GGtB6vViHB/5WSTP8IZA183j5Fnx88Bf+a6D2VdCEXDugORrxbXCjJYjFBO2dfdE3xSNsZhfq3JiR+ZPbiEwcn0eTWnfyC0ibkZlxqaeOH4kC1zjuHB2Jm2gEXpTAct6jjRHboxbEjOB8SupfOMmOkT3355M4hw7gc06q94oRLSDMr33jCgKi3wm2X3j4tTnYhhZ4wqCgFsQMw20745e1ICypu9Kr0a0CVacMJVq1csP2o+GxZ2NUdlmcbTdDRMZe9YCK6WSIcQKn+tUlMIiwuu2NSpa49HTRH3DOA== 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=aiWmo1lGikg3vqStTUwfJHxDP2E2leIUiclgHihyBZo=; b=JGFd72T19x6bHZeV9e4hjhZlrfmPOKRwdtaoDyP5RJ9C+nl+NjLuRankWKoDhfUD8aNcNk5+JQWS9lK6EzIm/ceS6iItxU0Ggo+Cg3yCBqrqcMm7Pk/Ys/9EWELQk5YuT/SYhIkV2zByQPmgPIiMLW4QVK4d8HVkjq5H/VkA2UscM9aUZqFRciO4+P4J4lkI6n4z1zN3RrkhYL/r+MnZla0u0f4mNDUtpLpU8/4My+MTUSe2ocupcnLT7ecGXSO0we8KrbaCtdBoeAEwBFJ71KZJc3of3ayCxlhh0MQ9Kt/1Xz/59wNsQ7+wn6a61UfybYNfabABbmUdp2yJBgDMTg== 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 BYAPR01MB5351.prod.exchangelabs.com (20.179.61.222) by BYAPR01MB4120.prod.exchangelabs.com (52.135.237.145) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2178.18; Sun, 25 Aug 2019 11:57:24 +0000 Received: from BYAPR01MB5351.prod.exchangelabs.com ([fe80::f50e:3c02:8eae:21f]) by BYAPR01MB5351.prod.exchangelabs.com ([fe80::f50e:3c02:8eae:21f%4]) with mapi id 15.20.2199.021; Sun, 25 Aug 2019 11:57:24 +0000 From: tslil clingman Subject: [HoTT] Category Theory Octoberfest 2019: Call for submissions Thread-Topic: Category Theory Octoberfest 2019: Call for submissions Thread-Index: AQHVWzsUJYlzpWwdIEOF2q0RHEuLxQ== Date: Sun, 25 Aug 2019 11:57:24 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [209.222.19.253] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 3f14dc07-5948-4c06-4642-08d7295364bd x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(7168020)(4627221)(201703031133081)(201702281549075)(8990200)(5600166)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:BYAPR01MB4120; x-ms-traffictypediagnostic: BYAPR01MB4120: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 01401330D1 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(4636009)(396003)(136003)(376002)(366004)(346002)(39860400002)(199004)(189003)(109986005)(25786009)(413944005)(966005)(8676002)(7696005)(81156014)(99286004)(66556008)(66476007)(19627405001)(8936002)(2906002)(478600001)(6116002)(53936002)(296002)(316002)(786003)(64756008)(6306002)(54896002)(66946007)(6436002)(88552002)(81166006)(14454004)(91956017)(76116006)(86362001)(1671002)(75432002)(33656002)(3846002)(476003)(66066001)(55016002)(881003)(66446008)(9686003)(7736002)(74316002)(71190400001)(71200400001)(256004)(486006)(26005)(6506007)(55236004)(102836004)(105004)(5660300002)(186003)(52536014);DIR:OUT;SFP:1102;SCL:1;SRVR:BYAPR01MB4120;H:BYAPR01MB5351.prod.exchangelabs.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: 4rFYpuM2TY61vhA9zgoDBT4Yd/W/Rd0zPL92vk1Nl2ywwrTQi/RypqST6EnQSwlYqv/afy9Qrdm9kZoJLe6hac8uw3jJppDe6jIxKAWwYpSyGRrpb5VS2G3qxSVaaYOSoy47T2AjBAjVswCu9J74BTg9eaHY0FL6D5xQwiq0Cq6WGsNcd50I4/jOX6BYVwX1UCxO/BAmZ9iiJeHmTwqKWzi0WZ6BP5itV2slFIuL+oBun6OwtHzdWQXUBbpn2FQfhbWXkkqu2Zh5PTGt/l6xJ/Erp+5Qk0Bs01XYzBwi7GtzsujWXL/N5ytewtJj6ka8DJWgtCw3qowPGBM/PuTFJvuJzWb9KEbkYLHFqxHoO4AP5jNPNyps4m9z6m29YeeQdeu9HGL6jPEgjAR3EIHwUOjrCt8LoyRNsgBTJgO22/0= x-ms-exchange-transport-forked: True Content-Type: multipart/alternative; boundary="_000_BYAPR01MB53515ADE68E1795AB5A7EAAEB9A60BYAPR01MB5351prod_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 3f14dc07-5948-4c06-4642-08d7295364bd X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Aug 2019 11:57:24.4225 (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: +KSx0Xc8FcNJE6Pr6SxsAqIDSW5N9vOha+3irfqWLrj77KSRcpI3jtEBV34IFk5f X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR01MB4120 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=Q9No8gj5; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=R1vNcpwF; 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=1331f0a00=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=1331f0a00=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: , --_000_BYAPR01MB53515ADE68E1795AB5A7EAAEB9A60BYAPR01MB5351prod_ Content-Type: text/plain; charset="UTF-8" Dear all, CT Octoberfest 2019 will be held at Johns Hopkins University, Baltimore on the 26th and 27th of October. The meeting is free and open to all. All details, including instructions on contributing a talk or ``registering'', and accommodation and travel recommendations, are available on the website: https://ct-octoberfest.github.io . In conjunction with Octoberfest we are pleased to announce a plenary talk, joint with the Johns Hopkins Category Theory seminar, on Friday the 26th of October: Mike Shulman will be talking on the theme of internal languages. Those wishing to speak should send an email to ctoctoberfest19@math.jhu.edu with the subject ``Submission'' including the submission title and any notes or special requests. The talk submission deadline is the 25th of September, anywhere on earth. For any queries related to the meeting please do not hesitate to contact tslil clingman at tslil@jhu.edu or the meeting email address ctoctoberfest19@math.jhu.edu. We hope to see you there! -- 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/BYAPR01MB53515ADE68E1795AB5A7EAAEB9A60%40BYAPR01MB5351.prod.exchangelabs.com. --_000_BYAPR01MB53515ADE68E1795AB5A7EAAEB9A60BYAPR01MB5351prod_ Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

CT Octoberfest 2019 will be held at Johns Hopkins University, Baltimor= e
on the 26th and 27th of October. The meeting is free and open to all.<= br>

All details, including instructions on contributing a talk or
``registering'', and accommodation and travel recommendations, are
available on the website:

https://ct-octoberfest.github.io .

In conjunction with Octoberfest we are pleased to announce a plenary
talk, joint with the Johns Hopkins Category Theory seminar, on Friday = the
26th of October: Mike Shulman will be talking on the theme of internal=
languages.

Those wishing to speak should send an email to
ctoctoberfest19@math.jhu.edu with the subject ``Submission'' including=
the submission title and any notes or special requests. The talk
submission deadline is the 25th of September, anywhere on earth.

For any queries related to the meeting please do not hesitate to conta= ct
tslil clingman at tslil@jhu.edu or the meeting email address
ctoctoberfest19@math.jhu.edu.

We hope to see you there!

--
You received this message because you are subscribed to the Google Groups &= quot;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 htt= ps://groups.google.com/d/msgid/HomotopyTypeTheory/BYAPR01MB53515ADE68E1795A= B5A7EAAEB9A60%40BYAPR01MB5351.prod.exchangelabs.com.
--_000_BYAPR01MB53515ADE68E1795AB5A7EAAEB9A60BYAPR01MB5351prod_--