*[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly
*[Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
*[Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London -- Holistic Program Specification – Beyond Pre- and Post- Conditions
*[Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- From JSCert to JSExplain and Beyond
*[José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
*[Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
*[Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- Practical Dynamic Symbolic Execution of Standalone JavaScript
*[Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
*[Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
*[Erik Krogh Kristensen](https://webbies.dk/), Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis
*[Mark S. Miller](https://research.google.com/pubs/author35958.html), Google
## Schedule
* 09:30--10:00 --- Tea, Coffee and Pastries
* 10:00--11:00 --- First Session
*[Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
*[Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
* 11:00--11:30 --- Refreshment Break
* 11:30--13:00 --- Second Session
*[Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
*[Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
*[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly
* 13:00--14:00 --- Lunch
* 14:00--15:30 --- Third Session
*[Mark S. Miller](https://research.google.com/pubs/author35958.html), Google -- Verify what? Navigating the Attack Surface
*[Erik Krogh Kristensen](https://webbies.dk/), Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis
*[Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London -- Holistic Program Specification – Beyond Pre- and Post- Conditions
* 15:30--16:00 --- Refreshment Break
* 16:00--18:00 --- Fourth Session
*[José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
*[Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- Practical Dynamic Symbolic Execution of Standalone JavaScript
*[Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- From JSCert to JSExplain and Beyond
* 18:00 --- Food/drinks at The Builder's Arms, 1 Kensington Court Place, W8 5BJ ([map](https://goo.gl/maps/AivqHzGNCyR2))
