Calendar

« Prev

November 2012

	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
44					1 11:00 - 12:30 Univalent Foundations Seminar: Kan Simplicial Set Model of Type Theory ... Peter Lumsdaine S-101	2 11:00 - 12:30 Working Group on Univalent Foundations S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: Hamiltonian S^1 Actions with Isolated Fi... Andrew Fanoe S-101	3
45	4	5 11:15 - 12:15 CSDM I: Query Complexity of Black-Box Search Ben Rossman S-101 14:00 - 15:00 Members Seminar: Patching and Local-Global Principles Julia Hartmann S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	6 10:30 - 12:30 CSDM II: Games, Solution Concepts, and Mechanism ... Jing Chen S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101	7 11:00 - 12:30 Univalent Foundations Organizational Meeting S-101 13:00 - 14:00 Topology: Continuum Percolation and Duality with E... Salvatore Torquato David Rittenhouse Lab.(Room 4E19), University of Pennsylvania 13:30 - 15:30 Working Group on Algebraic Number Theory S-101 14:30 - 15:30 Topology: Dynamic Programming for ab-initio Predic... Julia Hockemaier David Rittenhouse Lab.(Room A8), University of Pennsylvania 16:00 - 17:00 Topology: Membranes, Curvature and the Endoplasmic... Greg Huber David Rittenhouse Lab.(Room A8), University of Pennsylvania 18:00 - 19:30 Mathematical Conversations: Duality, Universality and Random Matrice... Thomas Spencer Dilworth Room	8 11:00 - 12:30 Univalent Foundations Seminar Peter Lumsdaine S-101 14:00 - 16:00 Working Group on Algebraic Number Theory 16:30 - 17:30 IAS/PU Number Theory: The Tate Conjecture for K3 Surfaces Over... Keerthi Madapusi Fine Hall 214	9 13:30 - 15:00 Working Group on Univalent Foundations S-101 14:00 - 15:00 IAS/PU Symplectic Geometry: Behavior of Welschinger Invariants Under... Erwan Brugalle S-101 15:15 - 16:15 Analysis Seminar: Three Projection Operators in Several Co... Elias Stein S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: An Arithmetic Refinement of Homological ... Yanki Lekili S-101	10
46	11	12 11:15 - 12:15 CSDM I No Seminar (Oberwolfach) S-101 14:00 - 15:00 Members Seminar: Proof of a 35 Year Old Conjecture for th... Elliot Lieb S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	13 10:30 - 12:30 CSDM II No Seminar (Oberwolfach) S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: A Non-Commutative Analog of the 2-Wasser... Eric Carlen S-101	14 11:00 - 12:30 Univalent Foundations Seminar: Toward Higher Inductive Types Michael Shulman S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 18:00 - 19:30 Mathematical Conversations: The Prisoner's Dilemma Freeman J. Dyson Dilworth Room	15 11:00 - 12:30 Univalent Foundations Seminar: The Simplicial Model of UA Chris Kapulkin S-101 14:00 - 16:00 Working Group on Algebraic Number Theory S-101 16:30 - 17:30 IAS/PU Number Theory: Galois Representations for Regular Algeb... Richard Taylor S-101	16 11:00 - 12:30 Working Group on Univalent Foundations S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: Abstract Analogues of Flux as Symplectic... Paul Seidel S-101	17
47	18	19 11:15 - 12:15 CSDM I: A Complete Dichotomy Rises from the Capt... Jin-Yi Cai S-101 14:00 - 15:00 Members Seminar: Univalent Foundations Steve Awodey S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	20 10:30 - 12:30 CSDM II: On the Complexity of Matrix Multiplicati... Joseph Landsberg S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101	21 11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 18:00 - 19:30 Mathematical Conversations	22 11:00 - 12:30 Univalent Foundations Seminar 14:00 - 16:00 Working Group on Algebraic Number Theory 16:30 - 17:30 IAS/PU Number Theory	23 11:00 - 12:30 Working Group on Univalent Foundations S-101 16:30 - 17:30 IAS/PU Symplectic Geometry S-101	24
48	25	26 11:15 - 12:15 CSDM I: Polynomial Identity Testing of Read-Once... Michael Forbes S-101 14:00 - 15:00 Members Seminar: A Computer-Checked Proof that the Fundam... Daniel Licata S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	27 10:30 - 12:30 CSDM II: Computational Complexity in Mechanism De... Jing Chen S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101	28 11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101 16:30 - 17:30 Special Number Theory Seminar Talk: p-Adic Hodge Theory Alexander Beilinson S-101	29 11:00 - 12:30 Univalent Foundations Seminar: The Simplicial Model of Univalence Chris Kapulkin S-101 14:00 - 16:00 Working Group on Algebraic Number Theory S-101 16:30 - 17:30 IAS/PU Number Theory: Sato-Tate Distributions in Genus 2 Andrew Sutherland S-101	30 11:00 - 12:00 IAS/PU Symplectic Geometry: A Reverse Isoperimetric Inequality for J... Jake Solomon Fine Hall 401 11:00 - 12:30 Working Group on Univalent Foundations S-101 13:30 - 14:30 IAS/PU Symplectic Geometry: Gromov-Witten Theory and Cycle-Valued Mo... Yefeng Shen Fine Hall 401 15:15 - 16:15 Analysis Seminar: Magnetic Vortices, Nielsen-Olesen-Nambu ... Israel M. Sigal S-101 18:00 - 19:30 Mathematical Conversations: Eliciting Higher-Order Beliefs Under Pro... Jing Chen Dilworth Room