From 6bb6400dd1a5779de257492347052177c36efbc5 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Mon, 1 Jun 2015 16:00:25 +0100
Subject: [PATCH] Add final location to fulfil copyright requirements

---
 CoLoSL-ESOP2015-CRC/esop2015.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CoLoSL-ESOP2015-CRC/esop2015.tex b/CoLoSL-ESOP2015-CRC/esop2015.tex
index 14ef3c8..b543922 100644
--- a/CoLoSL-ESOP2015-CRC/esop2015.tex
+++ b/CoLoSL-ESOP2015-CRC/esop2015.tex
@@ -11,7 +11,7 @@
 \begin{document}
 %
 %\title{CoLoSL: \underline{Co}ncurrent \underline{Lo}cal \underline{S}ubjective \underline{L}ogic}
-\title{CoLoSL: Concurrent Local Subjective Logic}
+\title{CoLoSL: Concurrent Local Subjective Logic\thanks{The final publication is available at Springer via \url{http://dx.doi.org/10.1007/978-3-662-46669-8_29}}}
 \author{Azalea Raad\and Jules Villard\and Philippa Gardner}
 \institute{Imperial College London\\
 \emails}