Calendar

« Prev

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	9	10	11	12	13	14	15
10:00			10:30 - 12:30 CSDM II: Combinatorial PCPs with Short Proofs Or Meir S-101
11:00		11:15 - 12:15 CSDM I: Matching: A New Proof for an Ancient Al... Vijay Vazirani S-101		11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101	11:00 - 12:30 Univalent Foundations Seminar: Invariance Under Isomorphism and Definab... Per Martin-Löf 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 Michael Shulman S-101
14:00		14:00 - 15:00 Members Seminar: A Tricky Problem on Sums of Two Squares Enrico Bombieri S-101	14:45 - 16:00 Special Lecture: (1) Quantum Beauty; (2) Beauty in Mathe... (1) Frank Wilczek; (2) Enrico Bombieri S-101		14:00 - 16:00 Working Group on Algebraic Number Theory S-101
15:00				15:30 - 16:30 Special Lecture: Universality in Mean Curvature Flow Neck... Gang Zhou S-101
16:00		16:00 - 17:30 Univalent Foundations Tutorial S-101			16:30 - 17:30 IAS/PU Number Theory: Local Global Principles for Galois Cohom... Julia Hartmann S-101	16:30 - 17:30 IAS/PU Symplectic Geometry: Arnold Conjecture for Clifford Symplecti... Doris Hein Fine Hall 322
18:00				18:00 - 19:30 Mathematical Conversations: Derived Methods in Arithmetic Geometry Bhargav Bhatt Dilworth Room