From d0ccf3b9a515cf9e514e7e3090ea9163f8f46c73 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 1 May 2019 14:19:55 +0100
Subject: [PATCH] Update 2019-04-01-eccop2019.md

---
 _posts/2019-04-01-eccop2019.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2019-04-01-eccop2019.md b/_posts/2019-04-01-eccop2019.md
index 7a98cd1..a98e780 100644
--- a/_posts/2019-04-01-eccop2019.md
+++ b/_posts/2019-04-01-eccop2019.md
@@ -7,7 +7,7 @@ Congratulations to Petar Maksimović and Philippa Gardner, whose paper with
 (University of Cambridge) has been accepted at this year’s [European Conference 
 on Object-Oriented Programming (ECOOP '19)](https://2019.ecoop.org/)
 
-In their paper: [“A Program Logic for First-Order Encapsulated WebAssembly”](https://2019.ecoop.org/track/ecoop-2019-papers#modal-phid_6b8350e20023163d1c6978f2336b8d12) 
+In their paper: [“A Program Logic for First-Order Encapsulated WebAssembly”](https://2019.ecoop.org/event/ecoop-2019-papers-a-program-logic-for-first-order-encapsulated-webassembly) 
 they introduce Wasm Logic, a sound program logic for first-order, encapsulated 
 WebAssembly. Using Wasm Logic, they also specify and verify a simple WebAssembly 
 tree library, giving abstract specifications independent of the underlying implementation. 
-- 
GitLab