Joyal’s 70th Birthday
February 25
West Bldg Lecture Hall
10 - 11: Vladimir Voevodsky, A type system with two kinds of identity types
11 - 12: Peter LeFanu Lumsdaine, Connectedness and the Freudenthal suspension theorem
12 - 2: Lunch
2 - 3: Joachim Kock, Joyal theorems for homotopical species
3 - 4: Tea
4 - 5: Marcelo Aguiar: Rings and near rings in 2-monoidal categories
5 - 6: Terry Bisson, Braid extended power operations in topology