David Dill, Calibra
Formal Verification of Libra Blockchain Smart Contracts (abstract) A recording of the talk can be found here |
![](http://i-cav.org/2020/wp-content/uploads/2019/09/David_Dill.jpg)
Pushmeet Kohli, DeepMind at Google
Towards Robust Artificial Intelligence via Spec-consistent Machine Learning (abstract) A recording of the talk can be found here |
![](http://i-cav.org/2020/wp-content/uploads/2019/09/Pushmeet_Kohli.jpg)