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.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, 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-ot1-x337.google.com (mail-ot1-x337.google.com [IPv6:2607:f8b0:4864:20::337]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 59e3f1be for ; Sun, 22 Sep 2019 17:33:31 +0000 (UTC) Received: by mail-ot1-x337.google.com with SMTP id y24sf6320911otk.15 for ; Sun, 22 Sep 2019 10:33:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=nMnMI3ylBo4xq8a0IOJki1Pr4FvFQUKhuU/je6jqsD8=; b=WPJnTQ/cFvGfWqR6tB2XDijCAeFCQfbGxOlJQnUSukDFTakMA3l5oOWeeOHizaKLfd hNdro7Ys8ZRKSLAkTaO6gixES+xgkUZcoEVH8fDLTOSHXmFgzZa5LUdpAUVKPCw/5M3v 3WouO0NZojaI0derdBoGe5RlrBYHXhxLgqsZrweKJxKq6JR5F28De6DekRRMsoVxPCAw FaWNVk/ucH+agiAZm3TeGOv+V75Wn43WPvu01+OZtEMx88fuq8umrOOSGDyq8kcYsiyg jHLeBFgYFL9XipgTEkbZS0wN+3qOrnJYT9hZdj9ibvinCK2nXvgVza42LEyEMW+2eRBU nNhg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=nMnMI3ylBo4xq8a0IOJki1Pr4FvFQUKhuU/je6jqsD8=; b=AyyNTCsqa7rQ/GOazdHU8qukJ55+trT6aMA2GQe4l/Ggr0Sz1MGDJERLbR9/YAWahc BO/TRqwVsd07DOWxG1qfo8dRjbGf59fvGKSwi6J50oljOK/6BDT5PgJ6LytL/2D8C9+e KZhwxrm2grNMI230M4lbBcv8vhpHD15ZhoO0DdleG7QBeEqtcWJQaLvj340GNHbsSgkH X15IPoOEJOUTiQcfg13Z8h+T/CIF+Vo1z6kCiNflCkEgZvmFKkX8ddcninACHrZtm1wL SGrWxwLP5uaNNh2zjSx2rTBzmpjPDV+JxB9mmB0LtR1jpxGuocT737qYZJ+oBYPfp4j1 gWwA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=nMnMI3ylBo4xq8a0IOJki1Pr4FvFQUKhuU/je6jqsD8=; b=TwRE3k9fkibyeuO88l3lyXtXQPJr4DCGh3jANbdRBx0TBZcusYCZTYhoNhOlkLqAMd nWGBcBkRb3BfZdaZtRpf7UZiNmOpduCk8eCC92Iq2gkVa8EN62BZ0Yl/WacQlo44lNIZ Asr0NhXUWaZ2KJRd5kTn6rBqUxId57Xv8HLp2vJYUG1Vt1N+stGyXNFYdJVumJVjGvDG nsfjb8Qk8rbBWyR39ap7NECeGII2DQVLRRpcml2wL4+PTr28M6M3S9IpArWqzsq9SAxN UD/yJVDRRVW0ObKkld4LN+qIHqinWGZE7hAU0l8Q7fo/z/ZE3yOuwQ1E1csTQZ6L8fBf oSEw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXsCtDZBWlJMZfvPtksXMdMbILIzDDQ/8Cq08TvM4KGAhRqc2Hf DHbzWUUtL+a/3K+eGYKFzoM= X-Google-Smtp-Source: APXvYqyCEYOQfLvmdkrBU+LpHVQ/uZgslJNb4TCDrjm5JsRofyQFE92iEbHeQwiFpWMjA6EQSqPkRQ== X-Received: by 2002:a9d:2642:: with SMTP id a60mr17957705otb.247.1569173610142; Sun, 22 Sep 2019 10:33:30 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:2101:: with SMTP id 1ls1351574oiz.9.gmail; Sun, 22 Sep 2019 10:33:29 -0700 (PDT) X-Received: by 2002:aca:4d08:: with SMTP id a8mr11116711oib.39.1569173609504; Sun, 22 Sep 2019 10:33:29 -0700 (PDT) Date: Sun, 22 Sep 2019 10:33:28 -0700 (PDT) From: Simon Cho To: Homotopy Type Theory Message-Id: <3e63cc6d-6c8c-45a7-9927-cb22c9a9d60d@googlegroups.com> Subject: [HoTT] Midwest HoTT Seminar, October 19-20, 2019, University of Michigan MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5036_582749925.1569173608724" X-Original-Sender: seamooncho@gmail.com 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: , ------=_Part_5036_582749925.1569173608724 Content-Type: multipart/alternative; boundary="----=_Part_5037_261932770.1569173608724" ------=_Part_5037_261932770.1569173608724 Content-Type: text/plain; charset="UTF-8" Dear all, We are pleased to announce the third Midwest Homotopy Type Theory Seminar, to take place on October 19-20, 2019 at the University of Michigan (Ann Arbor). The meeting will feature talks by: Kuen-Bang Hou (Favonia) University of Minnesota Nullable Compositions Chris Kapulkin University of Western Ontario Homotopy Canonicity of Homotopy Type Theory Paige North Ohio State University Two-sided Weak Factorization Systems with pre-talks given by: Deshin Finlay (University of Michigan) Scott Newton (Ohio State University) Robert Rose (Indiana University) with topical question/discussion ("ask-me-anything") sessions led by: Andreas Blass University of Michigan on topos theory Dan Christensen University of Western Ontario on homotopy theory Amr Sabry Indiana University on programming languages Please visit http://math.lsa.umich.edu/~simoncho/mwhottseminar.html for further details including the schedule and travel information. In particular, please note that the preferred rate we have negotiated with the nearby hotel is valid until September 27. There is no registration fee, but we request that those planning to attend fill out the very short registration form on the website for our planning purposes (e.g. getting enough coffee for everyone). Best, Simon Cho for the organizers -- 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/3e63cc6d-6c8c-45a7-9927-cb22c9a9d60d%40googlegroups.com. ------=_Part_5037_261932770.1569173608724 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

We are pleased to announce the third Midw= est Homotopy Type Theory Seminar, to take place on October 19-20, 2019 at t= he University of Michigan (Ann Arbor). The meeting will feature talks by:
Kuen-Bang Hou (Favonia)
University of Minnesota
Nullable Com= positions

Chris Kapulkin
University of Western Ontario
Homo= topy Canonicity of Homotopy Type Theory

Paige North
Ohio State = University
Two-sided Weak Factorization Systems

with pre-talks g= iven by:

Deshin Finlay (University of Michigan)
Scott Newton (O= hio State University)
Robert Rose (Indiana University)

with topi= cal question/discussion ("ask-me-anything") sessions led by:
<= br> Andreas Blass
University of Michigan
on topos theory

Da= n Christensen
University of Western Ontario
on homotopy theory
<= br> Amr Sabry
Indiana University
on programming languages

Pl= ease visit

http://math.lsa.umich.edu/~simoncho/mwhottseminar.html
for further details including the schedule and travel information. In par= ticular, please note that the preferred rate we have negotiated with the ne= arby hotel is valid until September 27.

There is no registration fee= , but we request that those planning to attend fill out the very short regi= stration form on the website for our planning purposes (e.g. getting enough= coffee for everyone).

Best,



Simon Cho
for the org= anizers

--
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 https://groups.google.co= m/d/msgid/HomotopyTypeTheory/3e63cc6d-6c8c-45a7-9927-cb22c9a9d60d%40googleg= roups.com.
------=_Part_5037_261932770.1569173608724-- ------=_Part_5036_582749925.1569173608724--