Research seminar on higher structures

• Time: Mo 14:15-15:45
• Location: Geom 433

About

This term we will have members of the research group present their recent research results. In the new year, we will have a thematic focus on "Directed homotopy type theory" with a lecture series by Tashi Walde.

Schedule