From e3aa4315ea04e9fcbf2c102acff2ec3d19606484 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 15 Feb 2017 14:55:56 +0000 Subject: [PATCH] Update 2017-01-20-PIP_talk.md --- _posts/2017-01-20-PIP_talk.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2017-01-20-PIP_talk.md b/_posts/2017-01-20-PIP_talk.md index 5d34f48..a7bed0c 100644 --- a/_posts/2017-01-20-PIP_talk.md +++ b/_posts/2017-01-20-PIP_talk.md @@ -4,7 +4,7 @@ title: Talk at Principles in Practice (PiP), POPL 2017 --- Philippa gave a talk entitled An Infrastructure for Tractable Verification of JavaScript Programs at this year’s -[Principles in Practice workshop (PiP).] (http://popl17.sigplan.org/track/PiP-2017) +[Principles in Practice workshop (PiP)](http://popl17.sigplan.org/track/PiP-2017). The workshop, co-located with [POPL 2017](http://conf.researchr.org/home/POPL-2017) brings together researchers involved in applying rigorous semantics to the analysis or design of industrially -- GitLab