HoTT 2019

Posted on 7 June 2018 by Steve Awodey

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.

6 Responses to HoTT 2019

  1. Bartek says:
    7 August 2018 at 20:45

    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?

    Reply
  2. messias says:
    6 November 2018 at 14:10

    Will there be video recordings or even a life stream?

    Reply
  3. Waifod says:
    6 December 2018 at 11:03

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

    Reply
  4. Vasily Ga'chin says:
    18 July 2019 at 04:27

    I have an MS in physical chemistry from UW-Madison plus have written a lot of software, Woud I be welcome? Vasily

    Reply
    • Mike Shulman says:
      19 July 2019 at 17:14

      I think anyone interested and able to pay the registration fee is welcome; it’s up to you to decide whether your background is sufficient for you to get anything out of the talks.

      Reply

Leave a comment