Research seminar on higher structures

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