Research seminar on higher structures
- Time: Mo 14:15-15:45
- Location: Geom 433
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.