From 06ef513bc7c314cee6d6781c0d23e10d5c117082 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 27 Apr 2020 15:08:10 +0100
Subject: [PATCH] Update 2020-04-27-ecoop20.md

---
 _posts/2020-04-27-ecoop20.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2020-04-27-ecoop20.md b/_posts/2020-04-27-ecoop20.md
index c0be99c..a4e7f68 100644
--- a/_posts/2020-04-27-ecoop20.md
+++ b/_posts/2020-04-27-ecoop20.md
@@ -5,7 +5,7 @@ title: Papers accepted at ECOOP 2020
 Two papers by members of the group have been accepted at 
 the [34th European Conference on Object-Oriented Programming, ECOOP 2020](https://2020.ecoop.org/home).
 
-The paper by Gabriela, Jose, Petar and Philippa is entitled [A Trusted Infrastructure 
+The paper by Gabriela, Jose, Petar and Philippa is entitled: [A Trusted Infrastructure 
 for Symbolic Analysis of Event-Driven Web Applications](https://2020.ecoop.org/track/ecoop-2020-papers#event-overview).
 
 It introduces a trusted infrastructure for symbolic analysis of modern event-driven Web applications. The infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events, 
-- 
GitLab