Calendar

« Prev

February 2013

	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
5						1 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry To Be Announced S-101 15:30 - 16:30 Analysis Seminar: Large Data Dynamics for Nonlinear Disper... Wilhelm Schlag S-101 18:00 - 19:30 Mathematical Conversations: Quantum Theory and Topos Theory Bas Spitters Dilworth Room	2
6	3	4 11:15 - 12:15 CSDM I: Influences, Traces, Tribes, and Perhaps ... Gil Kalai S-101 14:00 - 15:00 Members Seminar: Quantum Ergodicity on Large Regular Grap... Nalini Anantharaman S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	5 10:30 - 12:30 CSDM II: Ramsey Theory for Metric Spaces Manor Mendel S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar To Be Announced S-101	6 11:00 - 12:30 Univalent Foundations Seminar: A Quillen Model Structure in Type Theory Peter LeFanu Lumsdaine S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 14:00 - 15:00 Topology: Visualizing and Exploring Molecular Simu... Yusu Wang Proteomics Bldg. 120, Rutgers, The State University of New Jersey 15:30 - 16:30 Topology: Community Structure in Networks Mason Porter Proteomics Bldg. 120, Rutgers, The State University of New Jersey 17:00 - 18:00 Topology: Linear Algebra over Cell Complexes: Appl... Justin Curry Proteomics Bldg. 120, Rutgers, The State University of New Jersey 18:00 - 19:30 Mathematical Conversations: What is a Higher Order Object? Nils Baas Dilworth Room	7 11:00 - 12:30 Univalent Foundations Seminar: Isomorphic Structures of any Kind are `E... Peter Aczel S-101 14:00 - 15:00 Working Group on Algebraic Number Theory: An Introduction to motives Joseph Ayoub Fine Hall 322 16:30 - 17:30 IAS/PU Number Theory: Relative Artin Motives and the Reductive... Joseph Ayoub Fine Hall 214	8 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Toric b-Symplectic and Origami Manifolds Ana Rita Pires Fine Hall 322	9
7	10	11 11:15 - 12:15 CSDM I: Mathematical Theories of Interaction wit... Liu Yang S-101 14:00 - 15:00 Members Seminar: Homological Mirror Symmetry Nicholas Sheridan S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	12 10:30 - 12:30 CSDM II: High Dimensional Expanders and Ramanujan... Alex Lubotzky S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101	13 11:00 - 12:30 Univalent Foundations Seminar: The Hopf Fibration via Higher Inductive ... Peter Lumsdaine S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 18:00 - 19:30 Mathematical Conversations: Kozai-Lidov Oscillations Scott Tremaine Dilworth Room	14 11:00 - 12:30 Univalent Foundations Seminar: On Finite Types That Are Not h-Sets Sergey Melikhov S-101 14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801 16:30 - 17:30 IAS/PU Number Theory: Regularized Periods of Automorphic Forms Atsushi Ichino Fine Hall 214	15 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Contact Non-Squeezing and Rabinowitz Flo... Peter Albers S-101	16
8	17	18 11:15 - 12:15 CSDM I: Connectedness, Sperner's Lemma and Combi... Penny Haxell S-101 14:00 - 15:00 Members Seminar To Be Announced S-101 14:00 - 15:00 Members Seminar No seminar today -- IAS closed for Presidents' Day 16:00 - 17:30 Univalent Foundations Tutorial S-101	19 10:30 - 12:30 CSDM II: The Chasm at Depth 3 Shubhangi Saraf S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: New Approximations of the Total Variatio... Haim Brezis S-101	20 11:00 - 12:30 Univalent Foundations Seminar: pi_2(s^2) in HoTT Guillaume Brunerie S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101	21 11:00 - 12:30 Univalent Foundations Seminar: Locally Cartesian Closed Infinity Catego... Joachim Kock S-101 14:00 - 16:00 Working Group on Algebraic Number Theory S-101 16:30 - 17:30 IAS/PU Number Theory: Compactifications of PEL-Type Shimura Va... Kai-Wen Lan S-101	22 11:00 - 12:30 Working Group on Univalent Foundations: The Universe is Indiscrete Martin Escardo S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Symplectic Cohomolopgy and Loop Homology Mohammed Abouzaid Fine Hall 322	23
9	24	25 08:30 - 17:30 Univalent Foundations Event Speakers to be Announced West Bldg. Lecture Hall 10:00 - 11:00 Andre' Joyal's 70th Birthday: A Type System With Two Kinds of Identity... Vladimir Voevodsky West Bldg. Lecture Hall 11:00 - 12:00 Andre' Joyal's 70th Birthday: Connectedness and the Freudenthal Suspen... Peter LeFanu Lumsdaine West Bldg. Lecture Hall 11:15 - 12:15 CSDM I: Polar Codes and Randomness Extraction fo... Emmanuel Abbe S-101 14:00 - 15:00 Members Seminar: Collective Phenomena, Collective Motion,... Simon Levin S-101 14:00 - 15:00 Andre' Joyal's 70th Birthday: Joyal Theorems for Homotopical Species Joachim Kock West Bldg. Lecture Hall 16:00 - 17:30 Univalent Foundations Tutorial S-101 16:00 - 17:00 Andre' Joyal's 70th Birthday: Rings and Near Rings in 2-Monoidal Categ... Marcelo Aguiar West Bldg. Lecture Hall 17:00 - 18:00 Andre' Joyal's 70th Birthday: Braid Extended Power Operations in Topol... Terry Bisson West Bldg. Lecture Hall	26 10:30 - 12:30 CSDM II: Derandomizing BPL? Avi Wigderson S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101	27 11:00 - 12:30 Univalent Foundations Seminar: Semantics of Higher Inductive Types Michael Shulman S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 18:00 - 19:30 Mathematical Conversations To Be Announced 18:00 - 19:30 Mathematical Conversations: Local Codes and Symmetry Klim Efremenko Dilworth Room	28 11:00 - 12:30 Univalent Foundations Seminar: Formal Abstract Homotopy Theory Jeremy Avigad S-101 14:00 - 16:00 Working Group on Algebraic Number Theory S-101 15:00 - 17:00 Presentation on the history of the Institute and the School of Mathematics Christine Di Bella, Erica Mosner White-Levy Room 16:30 - 17:30 IAS/PU Number Theory: Standard and Nonstandard Comparisons of ... Yiannis Sakellaridis S-101