Calendar

« Prev

Week of February 24 2013

Time	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
All day	24	25	26	27	28	1	2
08:00		08:30 - 17:30 Univalent Foundations Event Speakers to be Announced West Bldg. Lecture Hall
10:00		10:00 - 11:00 Andre' Joyal's 70th Birthday: A Type System With Two Kinds of Identity... Vladimir Voevodsky West Bldg. Lecture Hall	10:30 - 12:30 CSDM II: Derandomizing BPL? Avi Wigderson S-101
11:00		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		11:00 - 12:30 Univalent Foundations Seminar: Semantics of Higher Inductive Types Michael Shulman S-101	11:00 - 12:30 Univalent Foundations Seminar: Formal Abstract Homotopy Theory Jeremy Avigad S-101	11:00 - 12:30 Working Group on Univalent Foundations S-101
13:00			13:30 - 15:00 Working Group on Univalent Foundations S-101	13:30 - 15:00 Working Group on Univalent Foundations S-101		13:30 - 14:30 IAS/PU Symplectic Geometry: Intermediate Symplectic Capacities Alvaro Pelayo S-101
14:00		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			14:00 - 16:00 Working Group on Algebraic Number Theory S-101
15:00					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:00		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			16:30 - 17:30 IAS/PU Number Theory: Standard and Nonstandard Comparisons of ... Yiannis Sakellaridis S-101
17:00		17:00 - 18:00 Andre' Joyal's 70th Birthday: Braid Extended Power Operations in Topol... Terry Bisson West Bldg. Lecture Hall
18:00				18:00 - 19:30 Mathematical Conversations To Be Announced 18:00 - 19:30 Mathematical Conversations: Local Codes and Symmetry Klim Efremenko Dilworth Room