We are pleased to announce the following outstanding speakers.

Philippa Gardner (Imperial College London)

A Trusted Mechanised Specification of JavaScript: One Year On. Slides

William Hung (Synopsys)

Effective and Scalable Verification: Bridging Research and Industry

Bob Kurshan (Cadence)

CAV: An Industrial Perspective. Slides

Leslie Lamport (Microsoft Research)

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)