diff --git a/_posts/2017-03-28-Colloquium.md b/_posts/2017-03-28-Colloquium.md index 25f39d83e01abc141479e8ad2604c7c43d6d0747..d134f2a73fca371121049acafe491a3dd42876f7 100644 --- a/_posts/2017-03-28-Colloquium.md +++ b/_posts/2017-03-28-Colloquium.md @@ -4,8 +4,8 @@ title: Philippa Gardner, invited speaker at Colloquium d'Informatique, Universit Philippa Gardner was the invited speaker at the March 17 edition of the [Colloquium d'Informatique de L'UPMC Sorbonne Universités](https://www.lip6.fr/colloquium/?guest=Gardner). -Philippa gave a talk entitled Understanding and Verifying JavaScript Programs, where she described JaVerT, a JavaScript Verification Toolchain -which provides the first logic-based symbolic analysis tool for JavaScript.The monthly Colloquia are organised +Philippa gave a talk entitled "Understanding and Verifying JavaScript Programs", where she described JaVerT, a JavaScript Verification Toolchain +which provides the first logic-based symbolic analysis tool for JavaScript. The monthly Colloquia are organised by the [Laboratoire d’informatique de Paris 6 (LIP6)](https://www.lip6.fr/), a computer science research laboratory in the [Pierre et Marie Curie University](http://www.upmc.fr/en/university.html) in Paris, France. LIP6 has focused its research on the modeling and the resolution of fundamental problems driven by applications, as well as to the implementation