Calendar

« Prev

Time	Items
All day
11:00	11:00 - 12:30 Univalent Foundations Seminar: Homotopy Type Theory in Coq Michael Warren S-101
14:00	14:00 - 14:15 Short: Iwasawa Theory for Unitary Groups Xin Wan S-101 14:15 - 14:30 Short: Hope for a Type-Theoretic Understanding ... Noam Zeilberger S-101 14:30 - 14:45 Short: The Inverse Galois Problem for PSL_2(F_... David Zywina S-101
16:00	16:30 - 17:30 IAS/PU Number Theory: A Converse Theorem for SL_2 Vinayak Vatsal Fine Hall 214