Video: Mika Goos, "Automated Proof Search: The Aftermath"

Video From 20w5144: Proof Complexity

Mika Goos, Stanford University

Wednesday, January 22, 2020 11:11 - 11:57

Automated Proof Search: The Aftermath

Mika Goos, Video: Automated Proof Search: The Aftermath

Mika Goos, Automated Proof Search: The Aftermath, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

181M

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

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

Automated Proof Search: The Aftermath

Mika Goos at 20w5144: Proof Complexity on Wednesday, January 22, 2020

0 seconds of 0 secondsVolume 0%

00:00