From 455f2dbaacc044847ac39d313619568c38b0ea6c Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 31 Jan 2018 11:21:50 +0000 Subject: [PATCH] Update 2018-01-12-popl.md --- _posts/2018-01-12-popl.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/_posts/2018-01-12-popl.md b/_posts/2018-01-12-popl.md index 527dd33..50fde05 100644 --- a/_posts/2018-01-12-popl.md +++ b/_posts/2018-01-12-popl.md @@ -8,4 +8,6 @@ of Programming Languages (POPL 2018). The paper introduces JaVerT a semi-automatic verification tool chain for JavaScript based on separation logic. -<div style="position:relative;height:0;padding-bottom:56.25%"><iframe src="https://www.youtube.com/embed/HDf5PC0bzzo?ecver=2" style="position:absolute;width:100%;height:100%;left:0" width="640" height="360" frameborder="0" allow="autoplay; encrypted-media" allowfullscreen></iframe></div> \ No newline at end of file +<div style="position:relative;height:0;padding-bottom:56.25%"><iframe src="https://www.youtube.com/embed/HDf5PC0bzzo?ecver=2" style="position:absolute;width:100%;height:100%;left:0" width="640" height="360" frameborder="0" allow="autoplay; encrypted-media" allowfullscreen></iframe></div> + +You can also see the videos recorded during the conference on the [POPL18 YouTube channel](https://www.youtube.com/channel/UCTp2XBEhj5rBzc2IfysZwYA). \ No newline at end of file -- GitLab