I watched this video a few months ago.

Virtual HLF 2020 – Scientific Dialogue: Sir C. Antony R. Hoare/Leslie Lamport

https://www.youtube.com/watch?v=wQbFkAkThGk