We are pleased to announce the following outstanding speakers.
A Trusted Mechanised Specification of JavaScript: One Year On. Slides

Effective and Scalable Verification: Bridging Research and Industry

CAV: An Industrial Perspective. Slides

What Should Math Have to do with Building Complex Distributed Systems?

Peter O’Hearn (University College London and Facebook)
Moving Fast with Software Verification. Slides (Keynote, Powerpoint)
