diff --git a/_posts/2018-03-14-formal-methods-meets-js.md b/_posts/2018-03-14-formal-methods-meets-js.md index d5ba44602dea898f2e0e9b19a1f12f588a8a4a66..80b7bfc5703585b1ef8f78aa3cae4ad7b7785125 100644 --- a/_posts/2018-03-14-formal-methods-meets-js.md +++ b/_posts/2018-03-14-formal-methods-meets-js.md @@ -8,7 +8,7 @@ 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. -* Date: Monday 19 March 2018 (day before TC39 meeting) +* Date: Monday 19 March 2018 * Time: 10:00--18:00 (Registration, tea & coffee from 9:30) * 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)