Calendar

« Prev

October 2012

	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
40		1 11:15 - 12:15 CSDM I: Random Vectors, Random Matrices, Permute... Cris Moore S-101 14:00 - 14:15 Short: Higher Inductive Types Peter Lumsdaine S-101 14:15 - 14:30 Short: Symplectic Geometry of Smooth Affine Var... Mark McLean S-101 14:30 - 14:45 Short: Information Theoretic Arguments for Circ... Or Meir S-101 16:00 - 16:15 Short: Sketching and Streaming Algorithms Jelani Nelson S-101 16:15 - 16:30 Short: Lifting Projective Galois Representation... Stefan Patrikis S-101 16:30 - 16:45 Short: Tangential Lipschitz Gain for Holomorphi... Sivaguru Ravisankar S-101	2 10:30 - 12:30 CSDM II: Plug your ears! Graph isomorphism, siren... Alex Russell S-101 13:30 - 16:00 Univalent Foundations Tutorial: Homotopy Type Theory Michael Shulman S-101	3 11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101 14:00 - 14:15 Short: Counting GL_2(\mathbb{Z}) orbits on bina... Arul Shankar S-101 14:00 - 15:30 Topology: Granular Materials and Their Networks Ne... Robert Behringer Rutgers Hill Center, Room 705 14:15 - 14:30 Short: Random Band Matrices: Local Regime Tetiana Shcherbyna S-101 14:30 - 14:45 Short: The Relative Fukaya Category, Symplectic... Nicolas Sheridan S-101 15:30 - 15:45 Short: Inernal Languages for Higher Toposes Michael Shulman S-101 15:30 - 17:00 Topology: Topology and Electronic Phases of Matter Charles Kane Rutgers Hill Center, Room 705 15:45 - 16:00 Short: Type Classes for Mathematical Formalizat... Matthieu Sozeau S-101 17:00 - 18:30 Topology: Building Polyhedra by Self-Assembly Govind Menon Rutgers Hill Center, Room 705	4 11:00 - 12:30 Univalent Foundations Seminar: Homotopy Type Theory in Coq Michael Warren S-101 14:00 - 14:15 Short: Iwasawa Theory for Unitary Groups Xin Wan S-101 14:15 - 14:30 Short: Hope for a Type-Theoretic Understanding ... Noam Zeilberger S-101 14:30 - 14:45 Short: The Inverse Galois Problem for PSL_2(F_... David Zywina S-101 16:30 - 17:30 IAS/PU Number Theory: A Converse Theorem for SL_2 Vinayak Vatsal Fine Hall 214	5 11:00 - 12:30 Working Group on Univalent Foundations S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: Symplectic Geometry and Quantum Noise Leonid Polterovich S-101	6
41	7	8 11:15 - 12:15 CSDM I: Identity Testing of Tensors, Low Rank Re... Amir Shpilka S-101 14:00 - 15:00 Members Seminar: Parallel Repetition of Two Prover Games:... Ran Raz S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	9 10:30 - 12:30 CSDM II: On the Conjectures of Nonnegative $k$-Su... Hao Huang S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101 15:00 - 16:00 Analysis Seminar: Hole Probability for Entire Functions Re... Alon Nishry S-101	10 11:00 - 12:30 Univalent Foundations Seminar: Type Systems and Proof Assistant Vladimir Voevodsky S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101	11 11:00 - 12:30 Univalent Foundations Seminar: Toward a Computational Interpretation of... Daniel Licata S-101 14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801 16:30 - 17:30 IAS/PU Number Theory: Modular Forms Modulo 2 Jean-Pierre Serre Fine Hall 214	12 11:00 - 12:30 Working Group on Univalent Foundations S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: Homological Mirror Symmetry for a Calabi... Nicholas Sheridan Fine Hall 322	13
42	14	15 11:15 - 12:15 CSDM I: A Multi-Prover Interactive proof for NEX... Tsuyoshi Ito S-101 14:00 - 15:00 Members Seminar: How to Find Periodic Orbits and Exotic S... Mark McLean S-101 16:00 - 17:30 Univalent Foundations Tutorial	16 10:30 - 12:30 CSDM II: On the AND- and OR-Conjectures: Limits t... Andrew Drucker S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101	17 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 There will be no Mathematical Conversations talk this week.	18 11:00 - 12:30 Univalent Foundations Seminar: On the Setoid Model of Type Theory Erik Palmgren S-101 14:00 - 16:00 Working Group on Algebraic Number Theory S-101 16:30 - 17:30 IAS/PU Number Theory: On the Parity of Coefficients of Modular... Joel Bellaiche S-101	19 11:00 - 12:30 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: Uniqueness and Nondegeneracy of Ground S... Rupert Frank S-101 16:30 - 17:30 IAS/PU Symplectic Geometry: On the Symplectic Invariance of log Koda... Mark McLean Fine Hall 322	20
43	21	22 11:15 - 12:15 CSDM I No Seminar (FOCS Meeting) S-101 14:00 - 15:00 Members Seminar: Algebraic K-Theory Via Binary Complexes Daniel Grayson S-101 16:00 - 17:30 Univalent Foundations Tutorial: Simplicial Set Michael Shulman S-101	23 10:30 - 12:30 CSDM II No Seminar (FOCS Meeting) S-101 13:30 - 14:45 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: The Strauss Conjecture on Black Holes Mihai Tohaneanu S-101	24 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: Synthetic Differential Cohomology Michael Shulman Dilworth Room	25 11:00 - 12:30 Univalent Foundations Seminar: Kan Simplicial Set Model of Type Theory Peter LeFanu Lumsdaine S-101 14:00 - 16:00 Working Group on Algebraic Number Theory Fine Hall -- 801 16:30 - 17:30 IAS/PU Number Theory: Central Values of Rankin-Selberg L-Funct... Michael Harris Fine Hall 214	26 11:00 - 12:30 Working Group on Univalent Foundations S-101 16:30 - 17:30 IAS/PU Symplectic Geometry No Seminar This Week	27
44	28	29 11:15 - 12:15 CSDM I: Combinatorial Walrasian Equilibrium Michal Feldman S-101 14:00 - 15:00 Members Seminar There will be no Members Seminar today. S-101 16:00 - 17:30 Univalent Foundations Tutorial S-101	30 13:30 - 14:45 Working Group on Univalent Foundations S-101 15:15 - 16:15 Analysis Seminar: The Incompressible Euler Equations in La... Uriel Frisch S-101	31 11:00 - 12:30 Univalent Foundations Seminar: Type Systems (continued) Vladimir Voevodsky S-101 13:30 - 15:00 Working Group on Univalent Foundations S-101