Update 2018-03-14-formal-methods-meets-js.md

_posts/2018-03-14-formal-methods-meets-js.md

@@ -8,10 +8,7 @@ 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.
 
-You can find a list of the speaers and their and slides below
-
-Spekers
-
+You can find a list of the speakers and the slides for their talks below
 
   * [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