From a66abe62b47cdf64e804e678d3f6db37b226071f Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 13 Apr 2018 12:15:01 +0100
Subject: [PATCH] Update 2018-01-12-popl.md

---
 _posts/2018-01-12-popl.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2018-01-12-popl.md b/_posts/2018-01-12-popl.md
index 97f9bb8..c4979ce 100644
--- a/_posts/2018-01-12-popl.md
+++ b/_posts/2018-01-12-popl.md
@@ -2,7 +2,7 @@
 title: Paper presented at POPL18
 ---
 
-[José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html) prsented his paper 
+[José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html) presented his paper 
 [JaVerT: JavaScript Verification using Separation Logic](https://psvg.doc.ic.ac.uk/publications/FragosoSantos2018JaVerT.html), jointly authored 
 with [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/),
 [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/), at this year’s ACM SIGPLAN Symposium on Principles 
-- 
GitLab