Propositional Proof Complexity: Fifteen (or so) Years After https://www.ias.edu/math/avi60/agenda Date October 05, 2016 Speakers Alexander Razborov, Institute for Advanced Study Files & Media Razborov.pptx Avi 60th Conference Avi Wigderson School of Mathematics