HoTT 2019

Save the date!  Next summer will be the first:

International Conference on Homotopy Type Theory
(HoTT 2019)

Carnegie Mellon University
12 – 17 August 2019

There will also be an associated:

HoTT Summer School
7 – 10 August 2019

More details to follow soon!

Here is the conference website.

This entry was posted in News. Bookmark the permalink.

4 Responses to HoTT 2019

  1. Bartek says:

    I’m an outsider (in differential geometry) interested in learning about HoTT. Do you think there will be travel funding available for graduate students for the summer school?

  2. messias says:

    Will there be video recordings or even a life stream?

  3. Waifod says:

    Can’t wait to be there and meet all those living legends!

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s