From 9e28b11928fa9dbb4f650848fbfeceef491a1301 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 22 Mar 2018 11:05:43 +0000
Subject: [PATCH] Update 2018-03-14-formal-methods-meets-js.md

---
 _posts/2018-03-14-formal-methods-meets-js.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2018-03-14-formal-methods-meets-js.md b/_posts/2018-03-14-formal-methods-meets-js.md
index 00dc387..f436172 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
 
-- 
GitLab