From 262133b3f0c4ea89987265cc42906d9c029125a0 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 25 May 2017 11:34:07 +0100 Subject: [PATCH] Update 2017-05-25-ecma.md --- _posts/2017-05-25-ecma.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/_posts/2017-05-25-ecma.md b/_posts/2017-05-25-ecma.md index 0567ec7..3ae72e3 100644 --- a/_posts/2017-05-25-ecma.md +++ b/_posts/2017-05-25-ecma.md @@ -1,9 +1,9 @@ --- title: Philippa Gardner, Ecma TC39 meeting, Google, NY --- -Philippa Gardner was invited to give a talk about JavaScript Verification at the [TC39 – ECMAScript Task group standards committee meeting](http://www.ecma-international.org/memento/TC39-RF-TG.htm) -at Google, NY, this May. +Philippa Gardner was invited to talk about JavaScript Verification at the [TC39 – ECMAScript Task group standards committee meeting] +(http://www.ecma-international.org/memento/TC39-RF-TG.htm) this May, held at Google, New York. -Philippa gave a talk: "Towards Trustworthy Verification of JavaScript" in the Visions for the future of ECMAScript / Emerging technologies session.. +Philippa gave a talk: "Towards Trustworthy Verification of JavaScript" at the Visions for the future of ECMAScript / Emerging technologies session. TC39-Royalty Free Task Group scope is the standardization of the general purpose, cross platform, vendor-neutral programming language ECMAScript (JavaScript). This includes the language syntax, semantics, and libraries and complementary technologies that support the language. \ No newline at end of file -- GitLab