Video From 20w5144: Proof Complexity

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, 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
Banff International Research Station
presentation
mpeg4
108M
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos
Why are Proof Complexity Lower Bounds Hard?
Jan Pich at 20w5144: Proof Complexity on Tuesday, January 21, 2020
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (108M)



Other videos from this workshop