The workshop Geometry in Modal HoTT taking place next week at cmu will be available for online participation via Zoom! The recorded talks will be available on youtube (provided the speakers give their consent) sometime after the workshop.
Categories
Archives
- October 2023
- January 2023
- June 2022
- March 2022
- December 2021
- March 2021
- January 2021
- November 2020
- October 2020
- January 2020
- May 2019
- March 2019
- February 2019
- December 2018
- November 2018
- August 2018
- June 2018
- May 2018
- March 2018
- November 2017
- October 2017
- September 2017
- January 2017
- October 2016
- September 2016
- July 2016
- February 2016
- January 2016
- December 2015
- September 2015
- August 2015
- July 2015
- June 2015
- January 2015
- December 2014
- November 2014
- September 2014
- August 2014
- June 2014
- April 2014
- March 2014
- February 2014
- December 2013
- October 2013
- August 2013
- July 2013
- June 2013
- May 2013
- April 2013
- March 2013
- February 2013
- November 2012
- September 2012
- August 2012
- June 2012
- May 2012
- April 2012
- March 2012
- January 2012
- December 2011
- November 2011
- July 2011
- April 2011
- March 2011
Blogroll
Meta
Homotopy Type Theory 