On Monday 19th March, we're hosting a day of research talks on Programming Languages Formal Methods
researchers on topics including language specification, program verification, etc. with a focus on
research relating to the JavaScript language and ecosystem.
This event is hosted prior to the March 2018 TC39 ECMAScript standards committee meeting at
Imperial, and we encourage TC39 members and researchers in the field to attend.
Speakers to include:
*[Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- JS Program Analysis
*[Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- JS Symbolic Execution
*[Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
*[Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
*[José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
*[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly
*[Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- JSExplain: A Double
Debugger for ECMAScript
*[Mark S. Miller](https://research.google.com/pubs/author35958.html), Google
*[Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London
* Date: Monday 19 March 2018 (day before TC39 meeting)
* Time: 10:00--18:00
* Location: Pippard Lecture Theatre, 5th Floor, Sherfield Building, Imperial College London ([Building 20 on the campus map](https://www.imperial.ac.uk/media/imperial-college/visit/public/SouthKensingtonCampus.pdf))
* Organisers: [Prof. Philippa Gardner](https://www.doc.ic.ac.uk/~pg/)(Imperial College London), [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/)(Inria, France)
* Registration: free, open to all interested, [Registration Form](https://goo.gl/forms/DM3UxMiVLfOwL5xO2)
* Evening drinks/food at The Builder's Arms, 1 Kensington Court Place, W8 5BJ ([map](https://goo.gl/maps/AivqHzGNCyR2))
