--- a/index.html	Wed Jun 10 00:45:53 2015 +0100
+++ b/index.html	Wed Jun 10 13:12:00 2015 +0100
@@ -138,17 +138,8 @@
 Series.
 
 <p>
-There are several groups in the ITP area that are active in China. For example for the last
-five years there have been popular
-<A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq
-with 50 or so student participants each. ITPs (and TPHOLs) have
-<A HREF="history.html">never</A> been hosted in
-China, and this might be an opportunity for the ITP community to foster relations
-with researchers from China and Asia, and for local researchers to become part of the
-ITP community. We welcome everybody and hope participants will have a beneficial time at ITP 2015.
-</p>
-
-<p>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Michael Norrish, Lars Birkedal<BR><BR>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A><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
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
@@ -211,8 +202,12 @@
 The early rate of the registration fee will be 3300&#20803; (ca. &pound;350/$533/&euro;488).
 The late rate starting from 1 August will be 3800&#20803;.
 The registration fee includes lunches during the
-conference. It also covers the excursion, the conference banquet and a welcome reception. The
-registration fee needs to be transferred via a bank
+conference. It also covers the excursion, the conference banquet and a welcome reception.
+The tutorials are separate. Their registration fee is  250&#20803; for the Isabelle-tutorial
+and 200&#20803; for the Coq-tutorial.
+
+<p>
+The registration fees needs to be transferred via a bank
 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span>
 accept credit cards etc for the conference fee. The hotel and many other things can be paid
 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for