Redirecting to External Site

You will now be redirected to https://video.ias.edu/csdm/2019/0319-ToniannPitassi to view video A Brief Tour of Proof Complexity: Lower Bounds and Open Problems.