July 28, 2014 · 7:00 PM
Few are those who have ventured into the land of Homotopy Type Theory and returned to tell the tale, but our fellow Typo Jack Fox is one of them, and he's willing to share his adventures with us.
Jack's description: Background and review of Martin-Löf type theory leading up to HoTT. Material covers the introduction, first 2 chapters, and appendices of The Hott Book. These slides http://www.slideshare.net/jackfoxy/type-theory-and-practical-application form the basis of the talk, though I reserve the right to fold, spindle, mutilate, or insert any and all slides at any time leading up to and during the presentation.
The code *1111 will gain you admission through the front gate at Mixrank.