Formal Methods Meets JavaScript Workshop

On Monday 19th March we hosted the Formal Methods Meets JavaScript Workshop, an all day meeting with research talks on Programming Languages Formal Methods.

The meeting, co-organised with Alan Schmitt, of Inria, France focused on recent research relating to the JavaScript language and ecosystem and was held to coincide with the March 2018 TC39 ECMAScript standards committee meeting at Imperial, so that TC39 members and researchers working in the field could meet during an informal workshop.

The list of the speakers and the slides for their talks is available from the meeting webpage