Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

September 6, 2019

Homotopy Type Theory Electronic Seminar Talks

Posted by John Baez

Learn cool math without flying around making the planet hotter! The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) will be returning in Fall 2019. The speakers are:

  • October 9: Andrej Bauer
  • October 23: Anders Mörtberg
  • November 6: Andrew Swan
  • November 20: Benno van den Berg
  • December 4: Christian Sattler (TBC)
  • December 11: Richard Garner

This semester, the seminar will be meeting on alternating Wednesdays at 11:30 Eastern Time. For updates and instructions how to attend, please see

The seminar is open to everyone, but some prior familiarity with homotopy type theory will be assumed.

Posted at September 6, 2019 10:49 AM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3138

4 Comments & 0 Trackbacks

Re: Homotopy Type Theory Electronic Seminar Talks

I really like this idea and might drop in on one of the sessions just to see how it’s done, since it seems like the kind of thing my group could host in our own field.

Posted by: Blake Stacey on September 7, 2019 11:45 PM | Permalink | Reply to this

Re: Homotopy Type Theory Electronic Seminar Talks

This post is causing a formatting catastrophe on the main page for me. The last line is separated from the rest by a whole scroll’s worth of blank space. I’m using iPad Safari now, but I think I saw the same thing using Firefox on my laptop.

Posted by: David Jaz Myers on September 8, 2019 1:44 AM | Permalink | Reply to this

Re: Homotopy Type Theory Electronic Seminar Talks

This post is unusual in that it has a “first part” but no “second part” - nothing that’s not visible from the main page. But I’m not encountering any weirdness on Firefox on my laptop. I removed one blank line at the end of the “first part” in case that was somehow causing you trouble.

Posted by: John Baez on September 8, 2019 9:55 AM | Permalink | Reply to this

Re: Homotopy Type Theory Electronic Seminar Talks

Looking at it more closely, I think it’s just caused by the itemized list (of one element) at the end peeking out over the sidebar. It should resolve itself after another post on the blog, so its probably not worth worrying about :)

Posted by: David Jaz Myers on September 8, 2019 4:26 PM | Permalink | Reply to this

Post a New Comment