• Fall 2022 - Spring 2023

• Fall 2021 - Spring 2022

• Fall 2020 - Spring 2021

• Fall 2019 - Spring 2020 Categorical Logic Reading Group

• Fall 2018 - Spring 2019 Topos Theory Reading Group

• Spring 2017 - Spring 2018 Topos Theory Reading Group

• Fall 2015 - Fall 2016 Topos Theory Reading Group

• Fall 2013 - Spring 2015 Homotopy Type Theory Reading Group

• Spring 2012

• Fall 2011

• Spring 2011

• Fall 2010

• Spring 2010

• Fall 2009

• Spring 2009

Main Seminar Page