Calendar

« Prev

Time	Items
All day
11:00	11:15 - 12:15 CSDM I: Polynomial Identity Testing of Read-Once... Michael Forbes S-101
14:00	14:00 - 15:00 Members Seminar: A Computer-Checked Proof that the Fundam... Daniel Licata S-101
16:00	16:00 - 17:30 Univalent Foundations Tutorial S-101