We are pleased to announce the following outstanding speakers.
A Trusted Mechanised Specification of JavaScript: One Year On. Slides
![Philippa Gardner](http://i-cav.org/2015/wp-content/uploads/2013/11/Screen-Shot-2015-01-15-at-10.42.39-AM.png)
Effective and Scalable Verification: Bridging Research and Industry
![](http://web.cecs.pdx.edu/%7Ewhung/images/portrait.jpg)
CAV: An Industrial Perspective. Slides
![Bob Kurshan](http://i-cav.org/2015/wp-content/uploads/2013/11/Screen-Shot-2015-01-15-at-10.46.27-AM.png)
What Should Math Have to do with Building Complex Distributed Systems?
![Laslie Lamport](http://i-cav.org/2015/wp-content/uploads/2013/11/Screen-Shot-2015-01-15-at-10.47.10-AM-238x300.png)
Peter O’Hearn (University College London and Facebook)
Moving Fast with Software Verification. Slides (Keynote, Powerpoint)
![PeterPeter O’Hearn](http://i-cav.org/2015/wp-content/uploads/2013/11/Screen-Shot-2015-01-15-at-10.47.31-AM-201x300.png)