From 93a716a4537dc43c0d405669d5df5b52392573a3 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 8 Sep 2020 13:00:20 +0100
Subject: [PATCH] Update 2020-09-3-concurtalk.md

---
 _posts/2020-09-3-concurtalk.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2020-09-3-concurtalk.md b/_posts/2020-09-3-concurtalk.md
index 977bc71..5cc1607 100644
--- a/_posts/2020-09-3-concurtalk.md
+++ b/_posts/2020-09-3-concurtalk.md
@@ -1,5 +1,5 @@
 ---
-Title: Video talk on Decidable Inductive Invariants at CONCUR 2020.
+title: Video talk on Decidable Inductive Invariants at CONCUR 2020
 ---
 
 The talk by Emanuele D’Osualdo and Felix Stutz on their paper "Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions", presented at [CONCUR 2020](https://easychair.org/smart-program/CONCUR20/index.html), is now available online and can be seen [on the link here](https://youtu.be/h9fsG_vfeFw?t=1256) or below.
-- 
GitLab