CT Seminar: Florrie Verity
Krieger 413Title: 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 […]
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 […]
Via Zoom
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
Title: Stability of perturbed wave equations on Kerr black hole spacetimesAbstract: I will discuss a recent work with Gustav Holzegel, in which we prove integrated decay bounds for solutions of the geometric […]
Title: Introduction to the trace formula.Abstract: This will be an introductory lecture to a very informal learning seminar that will run this semester. Topics will vary, but many of the […]
Title: Canonical representations of surface groups.Abstract: For $Sigma_{g,n}$ a genus $g$ surface with $n$ punctures, we study the character variety parameterizing representations of $pi_1(Sigma_{g,n})$. This character variety has a natural action of […]
Title: Twisted GGP conjecture for unramified quadratic extensions Abstract: The twisted Gan--Gross--Prasad conjectures consider the restriction of representations from GL_n to a unitary group over a quadratic extension E/F. In […]