Activity: Talk or presentation › Invited talk
Workshop on proof complexity, St. Petersburg, Russia. May 17-20, 2016.