Calendar

« Prev

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	21	22	23	24	25	26	27
10:00			10:30 - 12:30 CSDM II No Seminar (FOCS Meeting) S-101
11:00		11:15 - 12:15 CSDM I No Seminar (FOCS Meeting) S-101		11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101	11:00 - 12:30 Univalent Foundations Seminar: Kan Simplicial Set Model of Type Theory Peter LeFanu Lumsdaine S-101	11:00 - 12:30 Working Group on Univalent Foundations S-101
13:00			13:30 - 14:45 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: Algebraic K-Theory Via Binary Complexes Daniel Grayson S-101			14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801
15:00			15:15 - 16:15 Analysis Seminar: The Strauss Conjecture on Black Holes Mihai Tohaneanu S-101
16:00		16:00 - 17:30 Univalent Foundations Tutorial: Simplicial Set Michael Shulman S-101			16:30 - 17:30 IAS/PU Number Theory: Central Values of Rankin-Selberg L-Funct... Michael Harris Fine Hall 214	16:30 - 17:30 IAS/PU Symplectic Geometry No Seminar This Week
18:00				18:00 - 19:30 Mathematical Conversations: Synthetic Differential Cohomology Michael Shulman Dilworth Room

Item	Key
Event
workshop

Calendar Legend