Update 2018-01-12-popl.md

_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