diff -r d271335bded5 -r 9fa7b47fd6d7 index.html
--- a/index.html	Thu Apr 16 15:13:02 2015 +0100
+++ b/index.html	Mon May 18 16:16:31 2015 +0100
@@ -138,7 +138,8 @@
 <p>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
 conference (21 - 23 August), and<BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">a Coq tutorial after the conference
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">a
+<A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
 (27 - 29 August).<BR><BR>
 </p>