Midwest Homotopy Type Theory Seminar (Fall 2019)

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

• Essential information
• Dates: October 19-20
• Place: University of Michigan, Ann Arbor, MI
• Organizers: Simon Cho (simoncho{at}umich{dot}edu), Chris Kapulkin (kkapulki{at}uwo{dot}ca), Andreas Blass (ablass{at}umich{dot}edu)
 
• Program
 

All talks will be held in East Hall 4096, and we will have coffee in the 2nd floor lounge.

Time	Saturday	Sunday
9am	Coffee	Coffee
9:30am	Deshin Finlay	Scott Newton
10am	Coffee	Coffee
10:30am	Chris Kapulkin	Paige North
11:30am	Question/discussion: Andreas Blass	Question/discussion: Dan Christensen
12pm	Lunch	End of meeting
2:30pm	Robert Rose
3pm	Coffee
3:30pm	Kuen-Bang Hou (Favonia)
4:30pm-5pm	Question/discussion: Amr Sabry
6pm	Dinner*

*Participants make their own arrangements for dinner, but those of us interested can meet up to go to a nearby restaurant together.

 
• Talks
• Kuen-Bang Hou (Favonia) (University of Minnesota)

Nullable Compositions

• Chris Kapulkin (University of Western Ontario)

Homotopy Canonicity of Homotopy Type Theory

I will outline a proof (joint with Christian Sattler) of Voevodsky's Homotopy Canonicity Conjecture.

• Paige North (Ohio State University)

Two-sided Weak Factorization Systems

In this talk, I'll describe intended semantics for directed type theory. We generalize the two-sided fibrations of Street to obtain a notion of two-sided weak factorization systems: structure on a category which consists of two compatible weak factorization systems. These correspond to a notion of directed path object. The long-term goal is to use the behavior of these directed path objects to reverse-engineer a directed identity type.

 
• Registration

There is no registration fee, but we ask participants to fill out the registration form for our planning purposes.

 
• Parking

Information about parking may be found here (for city-managed parking) and here (school-managed parking).

For city-managed parking, we recommend the Forest Structure (near the Ross School of Business) or the Maynard Structure (near the Kelsey Museum of Archaeology), or the various street parking spaces available inbetween.

For school-managed parking, we recommend Lot W13.

 
• Lodging

Participants should make their own lodging arrangements.

We have negotiated the preferred rate (valid until 9/27) of 129.00 USD per night for conference participants at the Holiday Inn Express & Suites, which is located at 600 Briarwood Circle, Ann Arbor, MI 48108. To book, please call 734-761-2929 and mention the Midwest Homotopy Type Theory Seminar.

Back to Simon Cho's faculty page