Calendar

« Prev

March 2013

	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
9						1 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Intermediate Symplectic Capacities Alvaro Pelayo S-101	2
10	3	4 11:15 - 12:15 CSDM I: Quasirandom Hypergraphs Dhruv Mubayi S-101 14:00 - 15:00 Members Seminar: Hodge and Chern Numbers of Algebraic Var... Dieter Kotschick S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	5 10:30 - 12:30 CSDM II: Derandomization of Probabilistic Logspac... Avi Wigderson S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101	6 11:00 - 12:30 Univalent Foundations Seminar: Cohomology in Homotopy Type Theory Eric Finster S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 13:30 - 15:00 Working Group on Univalent Foundations West Bldg. Lecture Hall 14:00 - 15:00 Topology: Loops and Self Reference in Language and... Tsvi Tlusty S-101 15:30 - 16:30 Topology: Locality and Unitarity from Positivity: ... Nima Arkani-Hamed S-101 17:00 - 18:00 Topology: The Optimality of the Interleaving Dista... Michael Lesnick S-101 18:00 - 19:30 Mathematical Conversations: Why Braids? Mina Teicher Dilworth Room	7 11:00 - 12:30 Univalent Foundations Seminar: Setoids, e-Categories, and Exact Complet... Richard Garner S-101 14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801 16:30 - 17:30 IAS/PU Number Theory: Goren-Oort Stratification of Hilbert Mod... Liang Xiao Fine Hall 214	8 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Lagrangian Caps in High-Dimensional Symp... Emmy Murphy Fine Hall 322	9
11	10	11 11:15 - 12:15 CSDM I: Intractability in Algorithmic Game Theor... Tim Roughgarden S-101 14:00 - 15:00 Members Seminar: Random Matrices, Dimensionality Reductio... Jelani Nelson S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	12 10:30 - 12:30 CSDM II: Sensitivity Versus Block Sensitivity, I Hao Huang S-101 13:30 - 15:00 Working Group on Univalent Foundations West Bldg. Lecture Hall 14:00 - 15:00 Marston Morse Lectures: Unexpected Applications of Polynomials i... Larry Guth S-101	13 11:00 - 12:30 Univalent Foundations Seminar: Eilenberg-Mac Lane Spaces in HoTT Daniel Licata S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 13:30 - 15:00 Working Group on Univalent Foundations West Bldg. Lecture Hall 14:00 - 15:00 Marston Morse Lectures: What is Special About Polynomials? (Pers... Larry Guth S-101 18:00 - 19:30 Mathematical Conversations To Be Announced	14 11:00 - 12:30 Univalent Foundations Seminar: Homotopy Colimits and a Descent Theorem Egbert Rijke S-101 14:00 - 15:00 Marston Morse Lectures: The Codimension Barrier in Incidence Geo... Larry Guth S-101 14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801 16:30 - 17:30 IAS/PU Number Theory: An Analogue of the Ichino-Ikeda Conjectu... Erez Lapid S-101	15 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Resonance for Loop Homology on Spheres Nancy Hingston S-101 18:00 - 19:30 Mathematical Conversations: In Computers We Trust? Tom Hales Dilworth Room	16
12	17	18 11:15 - 12:15 CSDM I: Constant Rate PCPs for Circuit-SAT with ... Eli Ben-Sasson S-101 14:00 - 15:00 Members Seminar: Five Stages of Accepting Constructive Ma... Andrej Bauer S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	19 10:30 - 12:30 CSDM II: Sensitivity Versus Block Sensitivity, II Hao Huang S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: Dynamics of Gibbs Measure Evolution for ... Aynur Bulut S-101	20 11:00 - 12:30 Univalent Foundations Seminar: Gluing in Homotopy Type Theory Michael Shulman S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 18:00 - 19:30 Mathematical Conversations: A Trip to the Moon Marian Gidea Dilworth Room	21 11:00 - 12:30 Univalent Foundations Seminar: A Proof Assistant Prototype Based on Alg... Andrej Bauer S-101	22 11:00 - 12:30 Univalent Foundations Seminar: Substructural Type Theory Noam Zeilberger S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: The Hypoelliptic Laplacian Jean-Michel Bismut Fine Hall 322	23
13	24	25 11:15 - 12:15 CSDM I: New Locally Decodable Codes from Lifting Madhu Sudan S-101 14:00 - 15:00 Members Seminar: Rigidity of Actions on CAT(0) Cube Com... Alessandra Iozzi S-101 16:00 - 17:30 Univalent Foundations Tutorial: Isomorphism of Types: A Simple(-Typed) V... Sergei Soloviev S-101	26 10:30 - 12:30 CSDM II No Seminar Talk S-101 11:00 - 12:00 Special Seminar Lecture: The Hypoelliptic Laplacian: An Introduct... Jean-Michel Bismut S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: Partial Regularity of Solutions to the N... Hongjie Dong S-101	27 11:00 - 12:30 Univalent Foundations Seminar: The James Construction and pi_4(S^3) Guillaume Brunerie S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 13:30 - 14:30 Special Lectures in Analysis/Number Theory: Norm Convergence of Nonconventional Ergo... Miguel Walsh West Bldg. Lecture Hall 14:00 - 17:00 Special Seminar Lectures West Bldg. Lecture Hall 14:30 - 15:30 Special Lectures in Analysis/Number Theory: A Zero-Density Approach to Smooth Number... Adam Harper West Bldg. Lecture Hall 15:45 - 16:30 Special Lectures in Analysis/Number Theory: Mean Values of L-Functions for the Hyper... Julio Andrade West Bldg. Lecture Hall 16:30 - 17:30 Special Lectures in Analysis/Number Theory: Statistics of the Zeros of the Zeta Func... Brad Rodgers West Bldg. Lecture Hall	28 11:00 - 12:30 Univalent Foundations Seminar: Natural Models of Type Theory Steve Awodey S-101 14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801 16:30 - 17:30 IAS/PU Number Theory: Non-Archimedean Approximations by Specia... Philipp Habegger Fine Hall 214	29 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Dimers and Integrability Richard Kenyon S-101 18:00 - 19:30 Mathematical Conversations: Constructing Invariants in Symplectic Ge... Alvaro Pelayo Dilworth Room	30
14	31