Calendar

« Prev

Time	Items
All day
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
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
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
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
17:00	17:00 - 18:00 Andre' Joyal's 70th Birthday: Braid Extended Power Operations in Topol... Terry Bisson West Bldg. Lecture Hall