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-pl1-x63d.google.com (mail-pl1-x63d.google.com [IPv6:2607:f8b0:4864:20::63d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 81d6e9d6 for ; Fri, 22 Feb 2019 21:51:24 +0000 (UTC) Received: by mail-pl1-x63d.google.com with SMTP id x11sf2523706pln.5 for ; Fri, 22 Feb 2019 13:51:23 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1550872282; cv=pass; d=google.com; s=arc-20160816; b=nkzHEKs2QbptkbdI0imelAeObGj5NPjtLUNufsKhwlqF0tsg4sUwRU6eZ3sDYQzO93 Q79rf74RdzYrfy7g2Ch6CjNdRC4/K3CxgxovdJFidiHXcvjN1d5M/PkotiP2PAQA+wRB VfN7UgUdaBS4t0OSOVU+ijEZNiYwM3QNHXt8Ts0RQ9eEx1Sw+QWhpzSmKT7ZxEOEbRWA JT7XihAuwts2xWcdf373kN6dlanuYTvK1ccy7rIShM2rJjmI4M2Zr7LDVC2RpUxw/nfu A3tO5TSaGm8EGfwG58GAHAWmZv8BS8aukGNoSZ1uEZ4eomeBNitunnDkBfVTG1qhV+D2 TSaQ== 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:mime-version:content-language :accept-language:in-reply-to:references:message-id:date:thread-index :thread-topic:subject:to:from:ironport-phdr:sender:dkim-signature; bh=ZanlqWYkiy/K7KPy8hAk2+BI/jR+YWVKIfFrX+BqZwY=; b=z3pxIt68KiSo2+L5pEniP+kO4dyfP8660RiP/TY/wtzPCXolNf9hT8xqpubIT6+Emp SAuN1Mb0T5PzBQw8zWO1p9oDRi/Dyz5TZvWx6DS/zaULqBOEUzxqfM3J4XQHoMmdzy1f UxA6qahX4Iz9ikEX62uHtYu58pF1dcbJafbGMZ/n4+L7fYYz7zyz4CrDFOwlgXxlDOau Y6zuGmdg6sVd4CN9Maw/94hco+v6IJLqNcO5si/JZUbBdRkFqusAsH+gwqH0vf8HBg7D zlmEFigsvQtG1g/h1yF7JwFSh2OnYoAerO9hNTcdIQGy5rsQK9HRGBOJ8CiYd0MqhboB dbbg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of lmoss@indiana.edu designates 129.79.1.194 as permitted sender) smtp.mailfrom=lmoss@indiana.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:ironport-phdr:from:to:subject:thread-topic:thread-index:date :message-id:references:in-reply-to:accept-language:content-language :mime-version:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=ZanlqWYkiy/K7KPy8hAk2+BI/jR+YWVKIfFrX+BqZwY=; b=Kdp9BlZlz/CumQpH31swyaEhc5ksUpIpSv691HXIGWrhd1FsgCqH6bYx2orChSMZWL yHHMs9HmzaltZz5lSHieJeEWh1G7xkrWbxrcLC8JbLUDyhQvIW3evjm3l0uo8/mhlpVm mTWYZa5DfbYs6DEIzF9puBVJOVepgAUxNv9p3wFxn+vD48sqqUj+CiVXBlki+xntya3g C7lAlabXssF1Z6qS6CrSRGTVYj20BZvmdjJ+kop38ja6n5lVb7F6DOHK/KrXmCGjuNmp tpd1DM4BaB19yRzGWrkFZJzH+a++zctVAbqgOuN/CN4h9h2PHCq1NA1puolsKtn9CFtf BjDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:ironport-phdr:from:to:subject :thread-topic:thread-index:date:message-id:references:in-reply-to :accept-language:content-language:mime-version: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=ZanlqWYkiy/K7KPy8hAk2+BI/jR+YWVKIfFrX+BqZwY=; b=nMh5EpJajpqE7OybkuWKVeJ+qZmI4DPUaknYhGeK3AdMLbHZCzXcFt61v8npQx0XLu gmsdRTfaEDdZFhMWE6E1Q+l0n+XZS0jtq2qOHrL0dVL2IPO5YbTkgI/IFO8TNNa80IVW 3kTF0Bq5EiOz2mHLrcIDSyPyqqn762x20uz8goIeMvNiB+Tk1tsF4pYVYPqe7syPEA21 SbqhWx67fPQCxbF5fdmP6XkrVe+pNQl8BpVOOyEkt+u6+ZSKX9TJM91w/Au9iTMTtLQ/ AAw4IZ5UVSh/uB198CTCtAX3yFCEP2ey2/8HR8Yqrbi4KNidwilWtolpg3kg8VkUeMjJ NDrg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AHQUAubqtvMhyqZpGVJy+/J5PzbDLyfoblICt63DrIue0/1ryFO1uX1e HpWZRxWspWAvmxmcCbMTXHw= X-Google-Smtp-Source: AHgI3Ia0BB8zar1aNhWS0EbO10kD0XYgluHd/TqOznk7IQkGoLXIz6p5EPDuQWyL6XPCDnu6cN/mUw== X-Received: by 2002:a62:e059:: with SMTP id f86mr18859pfh.2.1550872282745; Fri, 22 Feb 2019 13:51:22 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a63:5751:: with SMTP id h17ls2873706pgm.4.gmail; Fri, 22 Feb 2019 13:51:22 -0800 (PST) X-Received: by 2002:a63:cf4e:: with SMTP id b14mr2443450pgj.143.1550872282321; Fri, 22 Feb 2019 13:51:22 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1550872282; cv=none; d=google.com; s=arc-20160816; b=HwN9QJQt0QAevwP+QZTx2crz3zWBIUuaglIKX7zQY/VA7h8eLkMKcrBdhjc+4aPcbR +CY+agO1GaB2RslCy012Dr16N2FfWoHnl6rdRo0Le4K+yDv+zqjD6kIg/8Mnv9/mrIYO FOGJ0JUf3CQJyKoJ2FTgjU/0bgdDIPig0gXgXkzT+3HJdFZ3wO95bzBMXZgKbJO1Hfpu iaAn02+nbnxAwwMEN+w1MPOjYiIQgdUYVI5ZUPcTahWYL97imI5h2UXkHgrLee6ynarT FBRbkeZYRo0OAYlaEnKxWqgn6jUanqBUulvY2CUmPwI/d53PhxzE6cavU5062ggyUt9o ZfuA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:in-reply-to :references:message-id:date:thread-index:thread-topic:subject:to :from:ironport-phdr; bh=If8yhTP6AXu1vqUPdv+tAYRDDzG7NdI0rDVK0nGB5cc=; b=JXach91NPJSdbBkgf3pqf1bSUijMGA/MOPsqC6Q1js90e4rQ2IZ6mPKf2cxQifeylv 2l5Dj4hdJ4krmInIzw50smNrNeiAAwj126x4JpOmXFWPSNPjLX5phv1AUfvy3esBAN35 D9nQhMG6ptkrKFlWL6FT6dqlY6pxzFZHuu5CpuIdvAwAlnBUjko5XH5zoyWI1eyv9uB0 LiwXWb3jcrXyqtChIRCfHLdbu9+rW9XRa9SCUweMYP+CunV5DhbyxdwxhVWrgWufRaTK xX1fEkvz7aM6sUe8w7iW2DVjCh+OvecIb6lpoFdiK72yM4JmQyKe3eF4omOul1Me73c/ MRnA== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of lmoss@indiana.edu designates 129.79.1.194 as permitted sender) smtp.mailfrom=lmoss@indiana.edu Received: from hartman.uits.indiana.edu (hartman.uits.indiana.edu. [129.79.1.194]) by gmr-mx.google.com with ESMTPS id t24si111289plo.2.2019.02.22.13.51.22 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 22 Feb 2019 13:51:22 -0800 (PST) Received-SPF: pass (google.com: domain of lmoss@indiana.edu designates 129.79.1.194 as permitted sender) client-ip=129.79.1.194; IronPort-PHdr: =?us-ascii?q?9a23=3A8g46kR/UqLpX1f9uRHKM819IXTAuvvDOBiVQ1K?= =?us-ascii?q?B20O4cTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fD?= =?us-ascii?q?hBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFR?= =?us-ascii?q?XjLwp1Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyh?= =?us-ascii?q?zHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKW?= =?us-ascii?q?E169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMsrrQ7ApQj?= =?us-ascii?q?Si97lkRwP0iCkJMD459XvYis12jKlGpB6sqBhyz4vSbYqINvRxY7ndcMsaS2?= =?us-ascii?q?RfQ8hRSyJPDICyb4QNDuoOIelXopLnqFcStxazHxWgCP/yxjJOm3T43bc60+?= =?us-ascii?q?MkEQze0gAuGNUOsG/PrNntKawcV/q6zLPSzTTDYf9dxDDw6IzNchAmuvGMRq?= =?us-ascii?q?l9ccvXyUYyFgPKlFOQppb/MzyLy+sNrnGW4ux9XuyhjG4nrht+ojmpxso0hY?= =?us-ascii?q?nJgYUVxkrL9SV9xos+ON62SFZjbNK5DpddszuWOolyT884Xm1koiQ3x7MetZ?= =?us-ascii?q?KmYCQHyo4rywDCZ/GGaYSE/xPuWeeLLTp3mn5pYLy/iAix/ES8z+DxU9e43V?= =?us-ascii?q?ZFoydHl9TBtGwB2hPd6sWCUPRy40as1DmK2g3d6exIPUA5mKzGIJA72LEwjI?= =?us-ascii?q?AcsUHbEy/zn0X5kbGZe10/+uit9+TnerLmpoKAN4NsigHxLKAumsunDOQ9KQ?= =?us-ascii?q?gORGeb9f2m1LL9+U32WrVLguc3kqnfrZ/aJN4UpqijDANPzIks9gu/Ay+n0N?= =?us-ascii?q?Qeg3YHMEpIdA+Zg4XtIV3DIvT1Ae2ij1i2kjpmyejKPrj7DZXMKnjDnq3hfb?= =?us-ascii?q?F460NEzAozyNdf54lPCrwaIfLzXFL+tN3CAR8/KQO42fjoB8hg1o8GQ2KAHr?= =?us-ascii?q?eZML/OsV+P/u8hIe6MZIoSuDbhLPgl//7vg2E5mF8FY6anw5sXZ26/HvR8I0?= =?us-ascii?q?SUenXsgtAGEWcFugoxUuPqiEeFUT5Of3ayRLgw6S08CIKjXs//QdXnoLuE2z?= =?us-ascii?q?u8Boxqd3hLNlCBFm35X4qDXPgIZS2IJdJ5iXoPUr3rA9sB0hSpqAji2oZ2Nu?= =?us-ascii?q?fo+iAfr4PL299y6Onemgs16CRvSc+a1jfeYXtzmzZCYjgtx+Q3hUVn0EbJmf?= =?us-ascii?q?x8hvtDDvRS4f9IWwEzc5PQ0ropWJjJRgvdc4LRGx6dSdK8DGRtH98=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A2HJCQAkbnBc/0kBT4FkHgEZBgaBVYE?= =?us-ascii?q?MIykqZxYBbCcKl3GGaZU9AQoBAR8NAoQ+AoN/IjgSAQMBAQIBAQIBAQJpHAE?= =?us-ascii?q?LgjoMMk1rAQEBAQEBIwInSgaBCQIBDB0lDyMDIgIEE4JXSoEOZAEOrQaELwG?= =?us-ascii?q?BFIMZAQeBRgWMSBeBQT6HQQKHQgKOYoFQZ5JAAwYChzyLO4FxhVuLQ4pOgg2?= =?us-ascii?q?DQ4w+AgQCCQITAYFeIoFWchOCaT4fh1OIa0ABMRgBAYEOjUQBgR4BAQ?= X-IPAS-Result: =?us-ascii?q?A2HJCQAkbnBc/0kBT4FkHgEZBgaBVYEMIykqZxYBbCcKl?= =?us-ascii?q?3GGaZU9AQoBAR8NAoQ+AoN/IjgSAQMBAQIBAQIBAQJpHAELgjoMMk1rAQEBA?= =?us-ascii?q?QEBIwInSgaBCQIBDB0lDyMDIgIEE4JXSoEOZAEOrQaELwGBFIMZAQeBRgWMS?= =?us-ascii?q?BeBQT6HQQKHQgKOYoFQZ5JAAwYChzyLO4FxhVuLQ4pOgg2DQ4w+AgQCCQITA?= =?us-ascii?q?YFeIoFWchOCaT4fh1OIa0ABMRgBAYEOjUQBgR4BAQ?= X-IronPort-AV: E=Sophos;i="5.58,401,1544504400"; d="scan'208,217";a="137470934" Received: from mssg-relay.indiana.edu ([129.79.1.73]) by irpt-internal-relay.indiana.edu with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Feb 2019 16:51:21 -0500 Received: from BL-CCI-D2S06.ads.iu.edu (bl-cci-d2s06.ads.iu.edu [10.79.69.19]) by mssg-relay.indiana.edu (8.14.7/8.14.7) with ESMTP id x1MLpKpR003695 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT) for ; Fri, 22 Feb 2019 16:51:20 -0500 Received: from BL-CCI-D2S03.ads.iu.edu (10.79.69.16) by BL-CCI-D2S06.ads.iu.edu (10.79.69.19) with Microsoft SMTP Server (TLS) id 15.0.1395.4; Fri, 22 Feb 2019 16:51:20 -0500 Received: from BL-CCI-D2S03.ads.iu.edu ([fe80::2547:704f:ad64:3805]) by BL-CCI-D2S03.ads.iu.edu ([fe80::2547:704f:ad64:3805%15]) with mapi id 15.00.1395.000; Fri, 22 Feb 2019 16:51:20 -0500 From: "Moss, Larry" To: "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] 2019 Midwest Homotopy Type Theory Seminar: March 9 Thread-Topic: 2019 Midwest Homotopy Type Theory Seminar: March 9 Thread-Index: AQHUyvE9BXx9kSB9z0+yIYkhli1w/6XsW3Jq Date: Fri, 22 Feb 2019 21:51:20 +0000 Message-ID: <1550872280421.84002@indiana.edu> References: <1550869174732.36091@indiana.edu> In-Reply-To: <1550869174732.36091@indiana.edu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [107.216.166.42] Content-Type: multipart/alternative; boundary="_000_155087228042184002indianaedu_" MIME-Version: 1.0 X-Original-Sender: lmoss@indiana.edu X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of lmoss@indiana.edu designates 129.79.1.194 as permitted sender) smtp.mailfrom=lmoss@indiana.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_155087228042184002indianaedu_ Content-Type: text/plain; charset="UTF-8" 2019 Midwest Homotopy Type Theory Seminar The 2019 Midwest Homotopy Type Theory Seminar will be held March 9, 2019 at Luddy Hall on the Indiana University (Bloomington) campus. The event will run from 9:00 a.m. to 5:00 p.m. Invited speaker: Michael Shulman (University of San Diego). Among the notable speakers at this year's seminar: Zachery Lindsey (University of Western Ontario) Robert Rose (Indiana University) Luis Scoccola (University of Western Ontario) Noah Snyder (Indiana University) ? Travel funding is available for student attendees. Please register at https://goo.gl/forms/R1Yfrs95Y2tdvhkT2 *Registration is free* Please direct inquiries regarding accommodations and parking to karodman@iu.edu -- 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. For more options, visit https://groups.google.com/d/optout. --_000_155087228042184002indianaedu_ Content-Type: text/html; charset="UTF-8"

2019 Midwest Homotopy Type Theory Seminar


The 2019 Midwest Homotopy Type Theory Seminar will be held 

March 9, 2019 at Luddy Hall on the Indiana University (Bloomington) campus.  


The event will run from 9:00 a.m. to 5:00 p.m.


Invited speaker:  Michael Shulman (University of San Diego).


Among the notable speakers at this year’s seminar:


Zachery Lindsey (University of Western Ontario)

Robert Rose (Indiana University)

Luis Scoccola (University of Western Ontario)

Noah Snyder (Indiana University)

​

Travel funding is available for student attendees.


Please register at https://goo.gl/forms/R1Yfrs95Y2tdvhkT2 

*Registration is free*


Please direct inquiries regarding accommodations and parking to karodman@iu.edu





--
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.
For more options, visit https://groups.google.com/d/optout.
--_000_155087228042184002indianaedu_--