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=-1.1 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-xb3b.google.com (mail-yb1-xb3b.google.com [IPv6:2607:f8b0:4864:20::b3b]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 1a147cdf for ; Wed, 18 Sep 2019 16:15:50 +0000 (UTC) Received: by mail-yb1-xb3b.google.com with SMTP id v15sf76783ybs.10 for ; Wed, 18 Sep 2019 09:15:50 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1568823349; cv=pass; d=google.com; s=arc-20160816; b=KlmvCHPE0JNvbAsp1uJUgJPOSdGWQjBgSJGdzRPqCa9hjUBFEVEDrX18x2ae3o5EZ+ Y5XZhHdOuE5WPM5kPNwd5xUYQn15u8ndRcN+v7FxbSsae1UO9EdWNfPy10SACJ1BpfGN gezIj3Uk+CrXcCeurDNwET94ps82LrQk2IUOxlyqQcpK2VJklBdWH/nRgic+Dfuc1lVU qSUHDirrddj/rDqdlYTLIvApJbG/UUSeiTiTTZcmTECQ5RM/Kr998glUG0SuU5dwv5qP 3vpOt4Id0GGOq7rHsxHPx8jcxGg8nQ/j/iVPoVYOXPJ7q68nMvQcsQvBSHEcUmt8wvQV olTw== 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=H5HATxQtnu2QbSd059KWqFrir8AlExvJnpi/OvbIZyw=; b=rwp+mhwp9wv0gmGUGC1Za5ZxQQfv3t+zp2ICEJ7h2NPZABwRuSHJxvm3Nmgiuy7M4b MZZCOc2lsj2lMBtOtQ5ka65kHAhau78PT7ZuFo/65WttUipCgtJPxHzd0Z5/yA6elfpU cLRpA7gMepb4CU2BdwTp2nHq4ejI9wx1YNjztk9VFHIyVj1dYlqDY8w6lSa/Pn7qYOsn fCU1JI3E7kTVcPx7G2bmHE0YIX9UZh73WGZcoekrqV/7zNmeOSjzuAOfcTrRFRaD6sYG 6hOV2RUtdxQEYepoYkfPSkdgqgB4qMvEl8j1qSEjRZhuiH/hKmVXtBGita1RK2lvYoxV PBUQ== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=w512L14G; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=Sytn7RBR; 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=1570446f1=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=1570446f1=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=H5HATxQtnu2QbSd059KWqFrir8AlExvJnpi/OvbIZyw=; b=BsAj0z8YCnnTrVtLTrCPK1KfxKLW7simf/QYU3+i533MtPYst5WJ1RTqDSryUSIRuB 7oGj+xSpkz/2ntw8PaFw56EnqxVOYubouyxVckl5XjGzavuO1hNJSLjJL+OI8n9cODY6 sKpbOZoEdH5oju+y3+4Zuy1L3Ftgx5NSAqzRMchnRcAlqBuHnQfaHOFRmK6u6LKBtmaw OLvttLIRA3CF1S7e+vwRNcbmEi4GC4JjNg1dAbhA6D7Xr6UugKMDBT47mUHcIgGkU4VT G/riUtuZWcW9wR/oRLyU5MCcVWvlBy/nAzO3CdScHBqYnS2+tIsI3apwyjrJ4NYhFgC9 kSEg== 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=H5HATxQtnu2QbSd059KWqFrir8AlExvJnpi/OvbIZyw=; b=YfOMhAlicUPuVzeAAWneqD01+0wEVDP+dK2CrOvb0v5x6Ha1c5kUgdYN33Bv7L7gaB Jiq744wK8ET9JK43XS7UACHCmlE5zKM/tqWvUzxxYbArgCSciEDf6sswgx581ty70PXz n88J00+6l4Ds8VTCr9LUlAOtot+O/7BTdlzSB3czIqhG7+kuhSSgjaaIx+iD9pK5JVMd 84HULXRUufOMu/GnP7oTSb8kYvfxnALrxVw8Y18NAeav4OeAC0dKzvlqVTx7/y707Hcf E8UjtNn6qXdLjOI71jdhDvAZ0LOOEtgAy48avaeklFIkD+h0zj6PVhpZKLHHOAdFmMGK La3Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAU/IVu0aJvgoneH4m0UOBia00FgydleLwxzToUbS1ogksA0wtRK JIuphUkbGsldR1byEG3vweo= X-Google-Smtp-Source: APXvYqxoJdgWm0hxxgqf6txM0sCG6ANSTaSasDgvtdrvkKw3hR3BlfVAI/CpVYe93XdKsuHuOF45bA== X-Received: by 2002:a81:390b:: with SMTP id g11mr3794369ywa.460.1568823349173; Wed, 18 Sep 2019 09:15:49 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:e68e:: with SMTP id d136ls41153ybh.9.gmail; Wed, 18 Sep 2019 09:15:48 -0700 (PDT) X-Received: by 2002:a05:6902:531:: with SMTP id y17mr3362820ybs.293.1568823348859; Wed, 18 Sep 2019 09:15:48 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1568823348; cv=pass; d=google.com; s=arc-20160816; b=dbg62bqEu9Nf4ov2YYcieVdIIYB45QlBtORuztoEAc3cRARb/ocWoaADxcCtOsIcDt AfDHueWEgTY8i2ymP+zfht8WpCKr4jGqgnKnyixW+hJNIepsp6fxCEx0a5EWpBcqv0W0 4WrsiXp6IG35/xmWNEkx7gZy126coQmOPrIrMDFbgJy6BSQcln684Vz/4vmtU0BXwnt5 ILOWiTmhn5gvFrZKtPGQUXIZcAVV/uQeX/Z2Pkmt/9k+NroEQ5LClGypIzZzpkRNtxLS TKfG0pmTHs7uE/EVV8V5wFZ7fvDHCvfjGSGJEPbx/hxsaVVnJOdVMn48YeO9UbU/iFIW 1DHg== 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=2ztC/BcYZBIvgmSC9G50Ok19Gt+eZy/L2cFQnaG1Xl4=; b=Y9MZUbYbVMKqD0r4rCNPTbpRCyLZ1zHtEtDIFgpt0bVGUZN9d3Ihih/F7XzhntUw6g vJMinc1mHtV46Fb9+p2zyrLFc4ddKB/W02FJnOeVRfPRrLIiavONNIluxAA1kzSvaPQ7 cvKoUx0zfxNYkaC+wteU3wWGnuo6186n0nyX31yvP82ouaylm527PvMnKDRmRFq+vtI4 OSimYl+HRUZzB4Wl73o5Q8BsA2I0l1V2RnsOBUiUgyDPzRagEGfNcVjI/O63bn6aDwBr Z+1fKYUh5IUJdtNstjsBDAwQY9J46kJsO72sz+Oy6NHV6BT7AwoXLtsYLBGBDjfLwqP6 kB7w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@jhu.edu header.s=jhuiron header.b=w512L14G; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=Sytn7RBR; 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=1570446f1=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=1570446f1=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 a1si863179ywh.3.2019.09.18.09.15.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 18 Sep 2019 09:15:48 -0700 (PDT) Received-SPF: pass (google.com: domain of prvs=1570446f1=tslil@jhu.edu designates 162.129.199.170 as permitted sender) client-ip=162.129.199.170; IronPort-SDR: 0QfCU3aSklsu5SxkhqY5oYKkHX5O9faGOAqvbxkkVLUt8OrPZ9ZeOOu5XWgHu5OuR/BedWdrjc pqt077vCZKsrFaQ+fB3e1vfABSna+DQMNEHhmtQ0kwnYDoB22Z6CGoFMtitqJSTGgE/nUO4L8l uCnAL7SqyzctcAmpGsotdHkAArick8X3dDcCTf05QwKhi+bQG49fPfyx+l7mXEiL0pnrR1ghON QtryrXDhp5GuIu4cNRW0LZlcqK79g1YZDpwNCucHcTDtnB8iqrf9KW48Sd0gFg8oOzoyLtBnyI bBA= IronPort-PHdr: =?us-ascii?q?9a23=3AW3JOiRCM+6feF8BTGn3iUyQJP3N1i/DPJgcQr6?= =?us-ascii?q?AfoPdwSP37p8mwAkXT6L1XgUPTWs2DsrQY0rGQ6vCrCDFIoc7Y9ixbKtoUD1?= =?us-ascii?q?5NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBk?= =?us-ascii?q?e3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanIVvJrwsxh?= =?us-ascii?q?bKrXdFf+Rbzn5sKV6Pghrw/Mi98IN9/yhKp/4t68tMWrjmcqolSrBVEC4oOH?= =?us-ascii?q?0v6s3xshnDQwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi?= =?us-ascii?q?+i4LtxSB/pkygIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQm?= =?us-ascii?q?VPQ9tRVzdZAoyic4QPE+QPPeFdr4bnplsOqwa1CQ2jCe7rzzNFgHj53bA80+?= =?us-ascii?q?s8EAHGxxAvH9YJsHTPstr6KboZXeS6waXUyDnOae5d1zXg54jSah0voeyCXa?= =?us-ascii?q?5+f8TSyEkgCwzKgEuLpIP/Iz+Zyv4Av3SH4+Z9U++klm4pqxt2ojiq3soslp?= =?us-ascii?q?LJhoYUylDA6C523II1Jdy+SE50ZN6rCp1QvDydOotqWcMiR2BouCIhx70EuZ?= =?us-ascii?q?67YTIGx4o6yB7CcvGKdZWD7BzkVOaUOzh4hXRldaqwhxaz7UigyvD8WdKu3F?= =?us-ascii?q?ZLqSpIlMTHuHMV1xHL98SLVuFx8lqh1DqV1A3e7vtILV47mKfbM5It36A8m5?= =?us-ascii?q?kJvUjdACP6hF/6gLKWe0gg4OSl5PzrYrv4qZKfK4N5jwTzP6UylcG8Auk1Nx?= =?us-ascii?q?YCUmef9Oih0bDu81H2TbVFg/AzkKTWq4zWKdodq6WkGQFayJwj5Ay6Dzq+1d?= =?us-ascii?q?QYmmQII0xddRKciojpJ0nOIPflDfejm1iskClkx/TBPrD5DZvDM3nNnrj8cL?= =?us-ascii?q?hy6kFQ1Q4+wcpR5pJVDLENOuj8VVLruNzaDh85Lha4zPj6B9Vgzo8eWGSPDb?= =?us-ascii?q?GFMK7KrFOE+vgjL/SMaYMPuzvwL+Ip6+DhgHI5gVMdeLOm3ZoTaHC2BPRmJE?= =?us-ascii?q?CZbGLwgtcaFWcKvw4+QffoiF2CTD5ffWi9UL8h5j0jEoKpEZ/DRpyxgLyGxC?= =?us-ascii?q?q1HJpWZmVBClCQFnfob4WFVekMaSKKPMBvjDwEWqamS4871RCjrwD6y71gLu?= =?us-ascii?q?rb/i0Xq53j1MJy5+3OjREy7iZ4ANia02GIV2t0hH8HRycq3KBjpkxw0kuM3r?= =?us-ascii?q?Jkg/NGGtxT4OlJUgYkOp7H1OF6DszyVRjbctiVUln1CumhVAw3QtMqyNsJeE?= =?us-ascii?q?txU8+vhRHb3iesH6RHxO+lHpsxp77H23n1b815ynDJ0aAnxw06Wc9OMUWkhr?= =?us-ascii?q?M5+gTOUd2a236FnrqnIPxPlBXG832OmDrf5hsKWRNsUajDQXEUb1fXqtK8/E?= =?us-ascii?q?7ZUruyEul7YBBZx5uELa1HIp3ygFNKSe2rGeyWYnn52i+rAAqQgLaFbY7kYW?= =?us-ascii?q?IYiTnGDEkAuwIT4DCLORVtTio=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2F9dwDRV4Jd//VZDwpmGQEBAQEBARQ?= =?us-ascii?q?BAQEBAQEBAQECAQEBAQEBgVUCgRQbAgEBEFBUHHYENQqHYop4kmMIEQGHUoE?= =?us-ascii?q?uFIEQAwIWHCABCAEBAQEBAQEBAQcBEwwOAgEBAoQ9AkwBAQEGglI2Bw4CAwk?= =?us-ascii?q?BAQEEAQEBAQEFAwEBAQJphS0LAYIoAQEQDAwDAwFsOQUBAQEBAQEBAQEkAQE?= =?us-ascii?q?BAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINKzAhCyMBATg?= =?us-ascii?q?RAQx0FBMKAQwIGjmCSIEdTQMdAQKlUopHgiWCfQEBBYUKGEEBCQyBQAMGCQG?= =?us-ascii?q?BKAIBAQEBjB2Bf4FXgkw+gQQBgVwCgSkFARIBIYMdHoImjGEYiAWBAogfjmK?= =?us-ascii?q?CLGmGHIcrhm+CNodLjyCnGgIEAgQFAhWBWQIwZ3FyExqBPwqBRFAQFFaEaoJ?= =?us-ascii?q?kh29BMk5bjQiBIgGBIgEB?= X-IPAS-Result: =?us-ascii?q?A2F9dwDRV4Jd//VZDwpmGQEBAQEBARQBAQEBAQEBAQECA?= =?us-ascii?q?QEBAQEBgVUCgRQbAgEBEFBUHHYENQqHYop4kmMIEQGHUoEuFIEQAwIWHCABC?= =?us-ascii?q?AEBAQEBAQEBAQcBEwwOAgEBAoQ9AkwBAQEGglI2Bw4CAwkBAQEEAQEBAQEFA?= =?us-ascii?q?wEBAQJphS0LAYIoAQEQDAwDAwFsOQUBAQEBAQEBAQEkAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINKzAhCyMBATgRAQx0FBMKAQwIG?= =?us-ascii?q?jmCSIEdTQMdAQKlUopHgiWCfQEBBYUKGEEBCQyBQAMGCQGBKAIBAQEBjB2Bf?= =?us-ascii?q?4FXgkw+gQQBgVwCgSkFARIBIYMdHoImjGEYiAWBAogfjmKCLGmGHIcrhm+CN?= =?us-ascii?q?odLjyCnGgIEAgQFAhWBWQIwZ3FyExqBPwqBRFAQFFaEaoJkh29BMk5bjQiBI?= =?us-ascii?q?gGBIgEB?= X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from esgebex19.win.ad.jhu.edu ([10.15.89.245]) by IronEB7.johnshopkins.edu with ESMTP/TLS/ECDHE-RSA-AES256-SHA384; 18 Sep 2019 12:15:27 -0400 Received: from ESGEBEX5.win.ad.jhu.edu (10.15.89.51) by ESGEBEX19.win.ad.jhu.edu (10.15.89.245) with Microsoft SMTP Server (TLS) id 15.0.1473.3; Wed, 18 Sep 2019 12:15:26 -0400 Received: from NAM04-SN1-obe.outbound.protection.outlook.com (10.14.97.196) by ESGEBEX5.win.ad.jhu.edu (10.15.89.51) with Microsoft SMTP Server (TLS) id 15.0.1473.3 via Frontend Transport; Wed, 18 Sep 2019 12:15:26 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=KeXJHdel410SJ3kHeJ9ZgCKZUmvTpaxyIgIaYJeo9nblNP3IqLrRPeLO9uBMlAXNLBBJRx97f0s8ydbjTGhvdf+iFjUX+kzJwYqsGwRRpWCeX+xvDjlMdnT1m+T2CW999HoD3RnoEEThv6cuwCjdW7Fx537h/7GBPsWMz/hFvxhx1V0cR3UB9AxLmpbJzsUPK1Ew1RlFyKJNCgXBNPgsADQHe1B+srdjGWrG70KqzK7m8OYtf3/fkt6wxVExhHDjftCDnt5NLRVfmK9584d3EnhSR6c66OT1VnQQI71/eLf7C1MYxKrj2An0DF2xayjs6GUrN+FfSeefIoKedhNcPw== 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=2ztC/BcYZBIvgmSC9G50Ok19Gt+eZy/L2cFQnaG1Xl4=; b=YnzOfYA5oFRH2pSKFUWMFJTjhFkRzN6GNY3I/TB2L4mRGxXgGsvjWLO+3FGREOpJ+uJ2PgNsv/R/nJ84UjAZelyKOkhf2jzolPOjNURzofSUyHiBBBqRMcq+yhgvFPzm5CmTFSqlH523M5s2fE+DA1HoLJAcCc0mRCIjbsk1ExYRDNtGA93E1WHKJleDDtX5shq7yjjocKAMrTQBzSwKR68dKwlVP9aoYW03uZlg7JASuEi5pMb9igIYV9KIRyteIdT8t+95IkvsqDiE3JrceMbalDCQ9HTlHLUUHbYqi4H08zfW7eu7wGte9T9LjnEgM1XNMmOjixz7BXkaaEPIPA== 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 BYAPR01MB5702.prod.exchangelabs.com (20.179.89.138) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2284.18; Wed, 18 Sep 2019 16:15:25 +0000 Received: from BYAPR01MB5351.prod.exchangelabs.com ([fe80::6c88:2491:3c54:7b02]) by BYAPR01MB5351.prod.exchangelabs.com ([fe80::6c88:2491:3c54:7b02%6]) with mapi id 15.20.2263.023; Wed, 18 Sep 2019 16:15:25 +0000 From: tslil clingman Subject: [HoTT] Reminder: Category Theory Octoberfest 2019: Call for Submissions Thread-Topic: Reminder: Category Theory Octoberfest 2019: Call for Submissions Thread-Index: AQHVbjwPNe56IZFM/0GsFNqlfSCkWw== Date: Wed, 18 Sep 2019 16:15:25 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [128.220.159.4] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: c2216eb9-38b3-4359-f59a-08d73c5369f6 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600167)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:BYAPR01MB5702; x-ms-traffictypediagnostic: BYAPR01MB5702: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 01644DCF4A x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(4636009)(39860400002)(346002)(376002)(136003)(396003)(366004)(199004)(189003)(71190400001)(6436002)(74316002)(33656002)(86362001)(71200400001)(19627405001)(88552002)(109986005)(7736002)(1671002)(14444005)(478600001)(6506007)(2906002)(9686003)(54896002)(7696005)(55016002)(6306002)(5660300002)(256004)(8676002)(966005)(8936002)(186003)(66066001)(413944005)(75432002)(102836004)(14454004)(6116002)(99286004)(3846002)(52536014)(486006)(105004)(81166006)(81156014)(296002)(786003)(316002)(76116006)(881003)(66446008)(64756008)(66556008)(66476007)(66946007)(476003)(26005)(25786009);DIR:OUT;SFP:1102;SCL:1;SRVR:BYAPR01MB5702;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: BI2ZDTAJF7Cu/go1ujnCEOSxc7LiyUJlLFbc/teuRERBwqhr4Wvcpo19MPMwssTTtAo2Q27odfbg54jSxaxZnns5rMASN0cKo00e1TT+spJ5AqfPXl39Cnbq+6Lowz9yiEutTZvOcmnuaxHVzuQhWkzkF6Gj2AlTtsHr7Zv/5Dm7i7gLv2JpfJ57hzkt9KtpyJHMa0JQsF8tjSWDQkVVqSMpHYItD10O7jtMLLZWUnlzx+uUDnYHoXzP/NMalTa1VBsij/+mzP6QNHVGzmAqMuozxMzarRKddfV3QxE46sVnmnqNjUd3uLjj9jUE2TfaMoMcGw3F/Kaw7UjHZn9YfQRei/7WMo5uwb2lkxZXgs1VFTCgVSfI3P+DE4eYFbyrdZyPk6tOB5sCCdHDIr45Yunvb7I/MW4DkNXGq2RJsDM= x-ms-exchange-transport-forked: True Content-Type: multipart/alternative; boundary="_000_BYAPR01MB5351EE85F1F6A2793FCBBA1BB98E0BYAPR01MB5351prod_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: c2216eb9-38b3-4359-f59a-08d73c5369f6 X-MS-Exchange-CrossTenant-originalarrivaltime: 18 Sep 2019 16:15:25.2979 (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: YNicvmN1B6rNzQ8GaHAk7NgKV48qdmMg0DaO7nNV2f9ai+LbeOLBgmkE2/LZ6kRL X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR01MB5702 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=w512L14G; dkim=pass header.i=@livejohnshopkins.onmicrosoft.com header.s=selector2-livejohnshopkins-onmicrosoft-com header.b=Sytn7RBR; 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=1570446f1=tslil@jhu.edu designates 162.129.199.170 as permitted sender) smtp.mailfrom="prvs=1570446f1=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_BYAPR01MB5351EE85F1F6A2793FCBBA1BB98E0BYAPR01MB5351prod_ Content-Type: text/plain; charset="UTF-8" Dear all, As a reminder, 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, at 17h00 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/BYAPR01MB5351EE85F1F6A2793FCBBA1BB98E0%40BYAPR01MB5351.prod.exchangelabs.com. --_000_BYAPR01MB5351EE85F1F6A2793FCBBA1BB98E0BYAPR01MB5351prod_ Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

As a reminder, 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 ``regist= ering'', and accommodation and travel recommendations, are available on the= website:

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

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

Those wishing to speak should send an email to ctoctoberfest19@math.jh= u.edu with the subject ``Submission'' including the submission title and an= y notes or special requests. The talk submission deadline is the 25th of Se= ptember, 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 ctoctoberfe= st19@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/BYAPR01MB5351EE85F1F6A279= 3FCBBA1BB98E0%40BYAPR01MB5351.prod.exchangelabs.com.
--_000_BYAPR01MB5351EE85F1F6A2793FCBBA1BB98E0BYAPR01MB5351prod_--