Proof and Circuit Complexity Date October 01, 2019 Speakers Robert Robere, Institute for Advanced Study Affiliation Member, School of Mathematics School of Mathematics Short Talks by Postdoctoral Members