diff --git a/_posts/2017-01-20-PIP_talk.md b/_posts/2017-01-20-PIP_talk.md index 5d34f487b502f6bf6f9ba6f7dd10ef94bda430bc..a7bed0c6f92aaa52b5d950fd94b40c9306146142 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