Algebraic Geometry Seminar: Jihao Liu (Northwestern)

Krieger 413

Title: Minimal model program for foliations.Abstract: In this talk, I will discuss recent progress on the minimal model program for foliations. Part of this talk is based on joint works with Yujie […]

CT Seminar: Florrie Verity

Krieger 413

Title: Modelling crisp type theory Abstract: Crisp type theory is a modal type theory originating in work of Pfenning and Davies (2001) and developed by Shulman (2018) for investigations in homotopy […]