Calendar

« Prev

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	14	15	16	17	18	19	20
10:00			10:30 - 12:30 CSDM II: On the AND- and OR-Conjectures: Limits t... Andrew Drucker S-101
11:00		11:15 - 12:15 CSDM I: A Multi-Prover Interactive proof for NEX... Tsuyoshi Ito S-101		11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101	11:00 - 12:30 Univalent Foundations Seminar: On the Setoid Model of Type Theory Erik Palmgren 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: How to Find Periodic Orbits and Exotic S... Mark McLean S-101			14:00 - 16:00 Working Group on Algebraic Number Theory S-101
15:00						15:15 - 16:15 Analysis Seminar: Uniqueness and Nondegeneracy of Ground S... Rupert Frank S-101
16:00		16:00 - 17:30 Univalent Foundations Tutorial			16:30 - 17:30 IAS/PU Number Theory: On the Parity of Coefficients of Modular... Joel Bellaiche S-101	16:30 - 17:30 IAS/PU Symplectic Geometry: On the Symplectic Invariance of log Koda... Mark McLean Fine Hall 322
18:00				18:00 - 19:30 Mathematical Conversations There will be no Mathematical Conversations talk this week.

Item	Key
Event
workshop

Calendar Legend