From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10157
Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail
From: Paige Randall North <paige.north@gmail.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Announcement: 4th Midwest HoTT Seminar
Date: Thu, 5 Mar 2020 13:45:01 -0500
Message-ID: <E1jAeG0-0006eE-Uw@rr.mta.ca>
Reply-To: Paige Randall North <paige.north@gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202";
	logging-data="26708"; mail-complaints-to="usenet@ciao.gmane.io"
To: categories@mta.ca
Original-X-From: majordomo@rr.mta.ca Sat Mar 07 19:35:04 2020
Return-path: <majordomo@rr.mta.ca>
Envelope-to: gsmc-categories@m.gmane-mx.org
Original-Received: from smtp2.mta.ca ([198.164.44.55])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <majordomo@rr.mta.ca>)
	id 1jAeHv-0006nE-VA
	for gsmc-categories@m.gmane-mx.org; Sat, 07 Mar 2020 19:35:04 +0100
Original-Received: from rr.mta.ca ([198.164.44.159]:46998)
	by smtp2.mta.ca with esmtp (Exim 4.80)
	(envelope-from <majordomo@rr.mta.ca>)
	id 1jAeFL-0003c9-FJ; Sat, 07 Mar 2020 14:32:23 -0400
Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1)
	(envelope-from <majordomo@rr.mta.ca>)
	id 1jAeG0-0006eE-Uw
	for categories-list@rr.mta.ca; Sat, 07 Mar 2020 14:33:05 -0400
Precedence: bulk
Xref: news.gmane.io gmane.science.mathematics.categories:10157
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/10157>

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


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]