The third Midwest Homotopy Type Theory Seminar is scheduled to be held at the University of Michigan in October 2019.

   

Back to Simon Cho's faculty page