Midwest Homotopy Type Theory Seminar
Midwest Homotopy Type Theory Seminar is a seminar series organized jointly by universities from the Midwest area. It is meant to tighten research collaborations between different universities and give an opportunity to discuss recent developments in the area. It builds on great traditions of homotopy theory, topology, and logic in the Midwest area, and is addressed not only to researchers working on HoTT, but also to those in adjacent fields.
Upcoming meetings
The Fall 2019 Edition will take place at the University of Michigan, Ann Arbor, October 19-20, 2019.
Past meetings
- The Spring 2019 Edition took place at Indiana University, March 9, 2019.
- The Spring 2018 Edition took place at the University of Western Ontario, May 26-27, 2019.
People
- Andreas Blass (Professor, University of Michigan)
- Simon Cho (Postdoctoral Fellow, University of Michigan)
- Kuen-Bang Hou (Favonia) (Assistant Professor, University of Minnesota)
- Chris Kapulkin (Assistant Professor, University of Western Ontario)
- Sanjeevi Krishnan (Assistant Professor, Ohio State University)
- Larry Moss (Professor, Indiana University)
- Paige North (Postdoctoral Fellow, Ohio State University)
- Robert Rose (Graduate Student, Indiana University)
- Amr Sabry (Professor, Indiana University)
- Noah Snyder (Associate Professor, Indiana University)