Calendar

« Prev

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	17	18	19	20	21	22	23
10:00			10:30 - 12:30 CSDM II: Sensitivity Versus Block Sensitivity, II Hao Huang S-101
11:00		11:15 - 12:15 CSDM I: Constant Rate PCPs for Circuit-SAT with ... Eli Ben-Sasson S-101		11:00 - 12:30 Univalent Foundations Seminar: Gluing in Homotopy Type Theory Michael Shulman S-101	11:00 - 12:30 Univalent Foundations Seminar: A Proof Assistant Prototype Based on Alg... Andrej Bauer S-101	11:00 - 12:30 Univalent Foundations Seminar: Substructural Type Theory Noam Zeilberger 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		13:30 - 14:30 IAS/PU Symplectic Geometry: The Hypoelliptic Laplacian Jean-Michel Bismut Fine Hall 322
14:00		14:00 - 15:00 Members Seminar: Five Stages of Accepting Constructive Ma... Andrej Bauer S-101
15:00			15:15 - 16:15 Analysis Seminar: Dynamics of Gibbs Measure Evolution for ... Aynur Bulut S-101
16:00		16:00 - 17:30 Univalent Foundations Tutorial S-101
18:00				18:00 - 19:30 Mathematical Conversations: A Trip to the Moon Marian Gidea Dilworth Room