Invited Talks

We are pleased to announce the following outstanding speakers.

Philippa Gardner (Imperial College London)

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

Philippa Gardner

William Hung (Synopsys)

Effective and Scalable Verification: Bridging Research and Industry

Bob Kurshan (Cadence)

CAV: An Industrial Perspective. Slides

Bob Kurshan

Leslie Lamport (Microsoft Research)

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

Laslie Lamport

Peter O’Hearn (University College London and Facebook)

Moving Fast with Software Verification. Slides (Keynote, Powerpoint)

PeterPeter O’Hearn