Mining Human Proofs from Machine Proofs Oliva, PTuesday 18th July 2017 - 11:00 to 12:00 Podcast website