Calendar

« Prev

Time	Items
All day
11:00	11:00 - 12:30 Univalent Foundations Seminar: Semantics of Higher Inductive Types Michael Shulman S-101
13:00	13:30 - 15:00 Working Group on Univalent Foundations S-101
18:00	18:00 - 19:30 Mathematical Conversations To Be Announced 18:00 - 19:30 Mathematical Conversations: Local Codes and Symmetry Klim Efremenko Dilworth Room