Calendar

« Prev

Week of September 30 2012

Next »

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	30	1	2	3	4	5	6
10:00			10:30 - 12:30 CSDM II: Plug your ears! Graph isomorphism, siren... Alex Russell S-101
11:00		11:15 - 12:15 CSDM I: Random Vectors, Random Matrices, Permute... Cris Moore S-101		11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101	11:00 - 12:30 Univalent Foundations Seminar: Homotopy Type Theory in Coq Michael Warren S-101	11:00 - 12:30 Working Group on Univalent Foundations S-101
13:00			13:30 - 16:00 Univalent Foundations Tutorial: Homotopy Type Theory Michael Shulman S-101
14:00		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		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	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
15:00				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
16:00		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			16:30 - 17:30 IAS/PU Number Theory: A Converse Theorem for SL_2 Vinayak Vatsal Fine Hall 214	16:30 - 17:30 IAS/PU Symplectic Geometry: Symplectic Geometry and Quantum Noise Leonid Polterovich S-101
17:00				17:00 - 18:30 Topology: Building Polyhedra by Self-Assembly Govind Menon Rutgers Hill Center, Room 705

Calendar Legend