Calendar

« Prev

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	13	14	15	16	17	18	19
10:00			10:30 - 12:30 CSDM II: OSNAP: Faster Numerical Linear Algebra A... Jelani Nelson S-101
11:00		11:15 - 12:15 CSDM I: On Bilinear Complexity Pavel Hrubes S-101		11:00 - 12:30 Univalent Foundations Seminar: Simplicial Types Peter Lumsdaine S-101	11:00 - 12:30 Univalent Foundations Seminar: State of the New Proof Assistant Daniel Grayson S-101	11:00 - 12:30 Working Group on Univalent Foundations S-101
13:00			13:30 - 15:00 Working Group on Univalent Foundations S-101	13:30 - 15:00 Working Group on Univalent Foundations S-101
14:00		14:00 - 15:00 Members Seminar There will be no Members Seminar today S-101
15:00			15:15 - 16:15 Analysis Seminar: Dispersive Estimates for Schroedinger's ... Marius Beceanu S-101
16:00		16:00 - 17:30 Univalent Foundations Organizational Meeting S-101			16:30 - 17:30 IAS/PU Number Theory: Counting Rational Points on Cubic Surfac... Pierre Le Boudec S-101
18:00				18:00 - 19:30 Mathematical Conversations: Duality, Universality and Random Matrice... Thomas Spencer Dilworth Room