From af6b3fa8a97f09ecb450ce9c6b620954261d4711 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Nov 2016 12:38:01 +0000
Subject: [PATCH] Update 25-11-2016-Dagstuhl.md

---
 _posts/25-11-2016-Dagstuhl.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_posts/25-11-2016-Dagstuhl.md b/_posts/25-11-2016-Dagstuhl.md
index e3d4c39..1389452 100644
--- a/_posts/25-11-2016-Dagstuhl.md
+++ b/_posts/25-11-2016-Dagstuhl.md
@@ -5,3 +5,4 @@ Andrea Cerone was invited to attend the seminar on [Concurrency with Weak Memory
 The seminar covered a wide range of topics, including fundamental results in the theory underlying weak memory models, 
 applications in the fields of hardware architectures, compiler optimisations and transactional systems, 
 as well as static analysis techniques for the analysis of programs. Andrea Cerone gave a talk on ‘Analyzing Snapshot Isolation’
+[![Andrea-Cerone-at-Dagstuhl-with-former-colleague-Giovanni-Bernardi](/ Dagstuhl-Seminar-16.png)
-- 
GitLab