Video: Jan Pich, "Why are Proof Complexity Lower Bounds Hard?"

Video From 20w5144: Proof Complexity

Jan Pich, University of Oxford

Tuesday, January 21, 2020 11:51 - 12:20

Why are Proof Complexity Lower Bounds Hard?

Jan Pich, Video: Why are Proof Complexity Lower Bounds Hard?

Jan Pich, Why are Proof Complexity Lower Bounds Hard?, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

108M

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211151-Pich.html