--- a/index.html	Tue Aug 25 11:18:35 2015 +0800
+++ b/index.html	Tue Aug 25 11:34:09 2015 +0800
@@ -123,7 +123,7 @@
 (27 - 29 August, see also <A HREF="http://www.strub.nu/coq-itp-15">here</A>).
 
 <p>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">Preliminary programme</A><BR><BR>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog1.pdf">Preliminary programme</A><BR><BR>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet4.pdf">ITP Booklet</A>,
 contains practical information about registration, travelling, restaurants, etc.<BR><BR>
 </p>
@@ -147,7 +147,7 @@
 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>
 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>.
 The preliminary programme of talks can be found
-<A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">here</A>.
+<A HREF="prog1.pdf">here</A>.
 
 
 <H4><A NAME="travel">Travel to Nanjing</H4>