Calendar

« Prev

Time	Items
All day
11:00	11:00 - 12:30 Univalent Foundations Seminar: Type Systems Vladimir Voevodsky S-101
14:00	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: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
17:00	17:00 - 18:30 Topology: Building Polyhedra by Self-Assembly Govind Menon Rutgers Hill Center, Room 705