From a02cf6c9ae4e3138e1233383e9267ab00e343238 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 2 Sep 2020 12:49:49 +0100
Subject: [PATCH] Add new file

---
 _posts/2020-06-16-deepspec.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 _posts/2020-06-16-deepspec.md

diff --git a/_posts/2020-06-16-deepspec.md b/_posts/2020-06-16-deepspec.md
new file mode 100644
index 0000000..0675f0e
--- /dev/null
+++ b/_posts/2020-06-16-deepspec.md
@@ -0,0 +1,15 @@
+---
+title: REMS and DeepSpec workshop, livestream talks
+
+---
+
+The [REMS+DeepSpec workshop](https://pldi20.sigplan.org/home/rems-deepspec-2020) 
+organized jointly by the [EPSRC project REMS: Rigorous Engineering for 
+Mainstream Systems (Cambridge, Imperial, and Edinburgh, UK)](https://www.cl.cam.ac.uk/~pes20/rems/) and the NSF 
+Expedition in Computing ["The Science of Deep Specification" (US)](https://deepspec.org/main) was held on Mon 15 - Tue 16 Jun 2020.
+
+The two-day  workshop, part of [PLDI 2020]( https://pldi20.sigplan.org/), combined in-depth presentations by members of the two projects with invited talks by external experts, 
+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)
-- 
GitLab