# HG changeset patch
# User chunhan
# Date 1439428098 -28800
# Node ID 895744480705655a0e5978bef05ddade1f0221da
# Parent  b76bbe746c5e8ba040aa951e3af5d4b1f07f4aa6# Parent  803fa2e4993f196b15b11e7d54f3cb1c78e133fc
merge

diff -r b76bbe746c5e -r 895744480705 index.html
--- a/index.html	Thu Aug 13 08:56:55 2015 +0800
+++ b/index.html	Thu Aug 13 09:08:18 2015 +0800
@@ -138,15 +138,13 @@
 Series.
 
 <p>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Lars Birkedal, Michael Norrish<BR><BR>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog.pdf">Preliminary programme</A><BR><BR>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A>,
 contains practical information about registration, travelling, etc.<BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an
+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<BR><BR>
-<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
+a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
 (27 - 29 August).<BR><BR>
 </p>
 
diff -r b76bbe746c5e -r 895744480705 prog.pdf
Binary file prog.pdf has changed