From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a81:3dc7:: with SMTP id k190mr521393ywa.283.1583887752070; Tue, 10 Mar 2020 17:49:12 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5b:984:: with SMTP id c4ls71223ybq.1.gmail; Tue, 10 Mar 2020 17:49:10 -0700 (PDT) X-Received: by 2002:a25:f201:: with SMTP id i1mr393876ybe.371.1583887750456; Tue, 10 Mar 2020 17:49:10 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1583887750; cv=none; d=google.com; s=arc-20160816; b=xkSjjxxuO5+BDpEMB5C7TcNC6yQF10jsGgIiURhtET+arJ3r4q2dbDPZRngNRor5UP d7Pt5/JTCKG8t1T/mC0nJupMmXJvhP9BTDQYWOeA6k8IwaQb+w2HIcbNV/iykf73Dh7R 0+4aJzQTbzQ9DCCnBNnOmMaXmew8UalnZKL6xlfuoSdXcS/LlGJVYo7PfEtn6Ee5km9p f8J8G/TOfQrCEuB+l/iB4eC85IJv5pWSGzFt3IXX8Y8TV0SWJTbUDJfe5d54xL/iMcbR O1jvm/zSsL/JIVUU+Hn2vyS53XB9jti3mkwaVT5rh/4tUtCy0IaSCJxNc35h8GPGLEGe 8tMQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=RS9sRopX8F404VEVyw6vhtSAtlBcS53kyVwpQqf6G7o=; b=uSEPS8SzXZaCBh2r7E6gq7X2CqTPlKJ1qFKzQb9LkZJBIVo3OgncGPWiubhYXI2Aus 3D6ft8NRm4udBvgZ4zaePAzqdPIS07t6HIzdt8wD79tIQZe5n1hR6Y05jYyxhcvUuFat BF2r94/IUFp4RdtSA8DY0pewoBDTMdVr9LNfNzPaxLvEC0VYUPiWPY6RTH0TgPymfk70 1S+Td9WsVuiNOxAIdGSpitb1v9WcObscn3iRBXt+JoAoeH28jLApSyiPBCyVLFymATTj 0iVWvw1gFtXBM6iZ6G/Lqz5IoMRVkczihmsu6L20bEa/+/tZqky6ZCXl8jPfoP6CHtZ/ oE/Q== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b="PVuhNd/7"; spf=pass (google.com: domain of paige...@gmail.com designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=paige...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-qk1-x733.google.com (mail-qk1-x733.google.com. [2607:f8b0:4864:20::733]) by gmr-mx.google.com with ESMTPS id b130si14948ywe.2.2020.03.10.17.49.10 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 10 Mar 2020 17:49:10 -0700 (PDT) Received-SPF: pass (google.com: domain of paige...@gmail.com designates 2607:f8b0:4864:20::733 as permitted sender) client-ip=2607:f8b0:4864:20::733; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b="PVuhNd/7"; spf=pass (google.com: domain of paige...@gmail.com designates 2607:f8b0:4864:20::733 as permitted sender) smtp.mailfrom=paige...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-qk1-x733.google.com with SMTP id e11so491414qkg.9 for ; Tue, 10 Mar 2020 17:49:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=RS9sRopX8F404VEVyw6vhtSAtlBcS53kyVwpQqf6G7o=; b=PVuhNd/74spyGKMrP8xBehTczgxNOZqFEwwO60UiyDkpLIJEgCcq9fb2RgRYJGHetY HTbHOTbIL902Zg56vllSQ81gf8WrRUx35nrHgF4Zd1x0doPatev5kT4mXk1kU+FUJ1u9 uWoKr4XcodLEq3zAk/Bb50yLJI95jXUBnuG2Vm1khwdF0rayUJPE136+wM9VyT8CmmFM OefFfv9nL7JuFgEyg32YWN5KsRgcijIs/X/W6x/vsrv7ncQoo7McGU9d0zwWdx9FRR1f mzzFXC3wEY0B5/R7yPlQs8PDJEvaA9KX38FdJ8HgH16RJoRcCEHM9w13E9F8HJPBjNNW qnQQ== X-Gm-Message-State: ANhLgQ3z2CwqQxVvdGYVuCZRqhvFl9Lgq2Snt2a9xlabS6uJF7EiGW/t EQRT2+6L8nQY8jzngHKmo5zSpaK4OZ4toOO+iuL+CzeH9hk= X-Received: by 2002:a37:a78e:: with SMTP id q136mr521611qke.252.1583887749767; Tue, 10 Mar 2020 17:49:09 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Paige Randall North Date: Tue, 10 Mar 2020 20:48:58 -0400 Message-ID: Subject: CANCELLED: 4th Midwest HoTT Seminar To: HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="000000000000b0640805a0899add" --000000000000b0640805a0899add Content-Type: text/plain; charset="UTF-8" Dear all, Following advice from the university, we must cancel this installment of the Midwest Homotopy Type Theory Seminar. Information about the next installment will be sent out in due course. Best, Paige for the organizers On Thu, Mar 5, 2020 at 11:36 AM Paige Randall North wrote: > Dear all, > > We are pleased to announce the fourth Midwest Homotopy Type Theory Seminar > which will take place at the Ohio State University on the weekend of April > 25-26, 2020. > > > INVITED SPEAKERS: > > - Evan Cavallo (Carnegie Mellon) > > - Andrew Swan (Carnegie Mellon) > > - Matthew Weaver (Princeton) > > > REGISTRATION: > > There is no registration fee, but registration will help the organizers. > Please register using this form: > > https://forms.gle/zBKZeG3caLGq8JDq7 > > > SUBMITTED TALKS: > > Please submit talks using the registration form. > > > FUNDING: > > Some funding is available to help young researchers attend the seminar. > Please indicate any interest in the registration form. > > > FURTHER DETAILS: > > Further details, including information about lodging, can be found at > > https://paigenorth.github.io/midwesthott/ > > > Best, > Paige Randall North > for the organizers > --000000000000b0640805a0899add Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

Following advice f= rom the university, we must cancel this installment of the Midwest Homotopy= Type Theory Seminar. Information about the next installment will be sent o= ut in due course.

Best,
Paige
= for the organizers

On Thu, Mar 5, 2020 at 11:36 AM Paige Randall North <<= a href=3D"mailto:paige...@gmail.com">paige...@gmail.com> wrote:
<= /div>
Dear all,
=C2=A0
We are pleased to announce the fourth Midwest Homoto= py Type Theory Seminar which will take place at the Ohio State University o= n the weekend of April 25-26, 2020.
=C2=A0
=C2=A0
=
INVITED SPEAKERS:
=C2=A0
- Evan Cavallo (Carnegie = Mellon)
=C2=A0
- Andrew Swan (Carnegie Mellon)
=C2=A0
- Matthew Weaver (Princeton)

REGISTRATION:

There is no registratio= n fee, but registration will help the organizers. Please register using thi= s form:
=C2=A0


SUBMITTED TALKS:

Pl= ease submit talks using the registration form.

FUNDING:

Some funding is available to = help young researchers attend the seminar. Please indicate any interest in = the registration form.


FURTHER DETA= ILS:

Further details, including information about = lodging, can be found at
=C2=A0


Best,
Paige Randall North
for the organizers
--000000000000b0640805a0899add--