David Dill, Calibra

Formal Verification of Libra Blockchain Smart Contracts (abstract) A recording of the talk can be found here

Pushmeet Kohli, DeepMind at Google

Towards Robust Artificial Intelligence via Spec-consistent Machine Learning (abstract) A recording of the talk can be found here