John Harrison: Adventures in Verifying Arithmetic (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Aired: 2020-02-01 15:15:00 CEST (UTC+2)