diff --git a/_posts/2018-03-14-formal-methods-meets-js.md b/_posts/2018-03-14-formal-methods-meets-js.md index 00dc387ac6f819736352a6b14edd0776b2b08218..f436172c410139f9c44b6e7f26d43415f25bf3e6 100644 --- a/_posts/2018-03-14-formal-methods-meets-js.md +++ b/_posts/2018-03-14-formal-methods-meets-js.md @@ -6,7 +6,7 @@ researchers on topics including language specification, program verification, et 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 to allow TC39 members and researchers working in the field to meet as part of an informal workshop. +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