--- a/index.html	Thu Aug 20 03:20:01 2015 +0800
+++ b/index.html	Thu Aug 20 08:49:35 2015 +0800
@@ -134,7 +134,8 @@
 equidistant between Beijing and Hong Kong. It is a former capital
 during the Ming Dynasty with a rich <A
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
-The proceedings will be published as usual in the LNCS
+The proceedings will be published as usual in the
+<A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A>
 Series. There will be an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 conference (21 - 23 August), and