From 10e417ac04fbc48473b1c93fe99414c6b0eb6288 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 2 Sep 2020 15:52:29 +0100 Subject: [PATCH] Update 2020-06-16-deepspec.md --- _posts/2020-06-16-deepspec.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/_posts/2020-06-16-deepspec.md b/_posts/2020-06-16-deepspec.md index 0675f0e..dc46a23 100644 --- a/_posts/2020-06-16-deepspec.md +++ b/_posts/2020-06-16-deepspec.md @@ -12,4 +12,6 @@ The two-day workshop, part of [PLDI 2020]( https://pldi20.sigplan.org/), combin and general talks. The [program and list of talks can be found here]( https://pldi20.sigplan.org/home/rems-deepspec-2020#program). -You can also see the livestream of the talks for [Monday](https://www.youtube.com/watch?v=FnSIJqJM3DY) and [Tuesday](https://youtu.be/9Rt5-PeG_9A) on YouTube. Philippa’s talk, on [Gillian: a Multi-language Platform for Program Correctness and Incorrectness](https://pldi20.sigplan.org/details/rems-deepspec-2020/10/Gillian-a-Multi-language-Platform-for-Program-Correctness-and-Incorrectness) can be found on the link [here](https://youtu.be/9Rt5-PeG_9A?t=8087) +You can also see the livestream of the talks for [Monday](https://www.youtube.com/watch?v=FnSIJqJM3DY) and [Tuesday](https://youtu.be/9Rt5-PeG_9A) on YouTube. Philippa’s talk, on [Gillian: a Multi-language Platform for Program Correctness and Incorrectness](https://pldi20.sigplan.org/details/rems-deepspec-2020/10/Gillian-a-Multi-language-Platform-for-Program-Correctness-and-Incorrectness) can be found on the link [here](https://youtu.be/9Rt5-PeG_9A?t=8087) or below. + +<iframe width="560" height="315" src="https://www.youtube.com/embed/9Rt5-PeG_9A" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe> \ No newline at end of file -- GitLab