From 5aab02bab261414f11371b052be4112122319a83 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 1 May 2019 14:17:40 +0100
Subject: [PATCH] Add new file

---
 _posts/2019-04-01-eccop2019.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 _posts/2019-04-01-eccop2019.md

diff --git a/_posts/2019-04-01-eccop2019.md b/_posts/2019-04-01-eccop2019.md
new file mode 100644
index 0000000..92b4320
--- /dev/null
+++ b/_posts/2019-04-01-eccop2019.md
@@ -0,0 +1,14 @@
+---
+title: Paper accepted at ECOOP 2019
+---
+
+Congratulations to Petar Maksimović and Philippa Gardner, whose paper with 
+[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/) and [Neel Krishnaswami](https://www.cl.cam.ac.uk/~nk480/)
+(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” 
+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. 
+You can [read the draft submitted for publication here](https://www.cl.cam.ac.uk/~nk480/wasm-pl.pdf).
\ No newline at end of file
-- 
GitLab