On Monday 19th March, we hosted 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 was organised to coincide with the March 2018 TC39 ECMAScript standards committee meeting at Imperial and thus allow TC39 members and researchers working in the field to meet during an informal workshop.

You can find a list of the speakers and the slides for their talks below