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