From 8a75d0155c9d7890731f043d30a4c8701193fc41 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 8 Sep 2020 14:27:42 +0100
Subject: [PATCH] Update 2020-06-19-plditalk.md

---
 _posts/2020-06-19-plditalk.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2020-06-19-plditalk.md b/_posts/2020-06-19-plditalk.md
index 86f15e8..5c56ea5 100644
--- a/_posts/2020-06-19-plditalk.md
+++ b/_posts/2020-06-19-plditalk.md
@@ -1,5 +1,5 @@
 ---
-title:  Video talk on Gillian at PLDI  2020.
+title:  Video talk on Gillian at PLDI  2020
 ---
 
 The talk by Petar Maksimovic 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), presented at [PLDI 2020]( https://pldi20.sigplan.org/), is now available on the PLDI YouTube channel, and can be seen on the link [here]( https://youtu.be/TurhBym2leA) or below. 
-- 
GitLab