Binary file booklet.pdf has changed

--- a/booklet.tex	Fri Jun 12 06:44:57 2015 +0800
+++ b/booklet.tex	Fri Jun 12 06:57:47 2015 +0800
@@ -37,7 +37,8 @@
 \noindent The early conference fee is RMB 3300, which is
 approximately \pounds{}350, \$533, or \euro{}488. It must be
 transferred via bank transfer and must arrive in RMB on our
-end; we cannot accept any other form of payment. 
+end; we cannot accept any other form of payment. The tutorials 
+can be registered independently from the conference. 
 
 The conference fee includes lunches during the conference. It
 also covers the excursion, the conference banquet and a
@@ -56,8 +57,8 @@
 \end{tabular}
 \end{center}
 
-\noindent
-The amount payable needs to be transferred to the account:
+\noindent The amount payable needs to be
+transferred to the account:
 
 \begin{center}
 \begin{tabular}{ll}

--- a/index.html	Fri Jun 12 06:44:57 2015 +0800
+++ b/index.html	Fri Jun 12 06:57:47 2015 +0800
@@ -30,8 +30,7 @@
       google.maps.event.addDomListener(window, 'load', initialize);
     </script>
 <style type="text/css">
-  body { font-size: 14px;
-         font-family: "trebuchet ms", helvetica, sans-serif; }
+  body { font-family: "trebuchet ms", helvetica, sans-serif; }
 </style>
 </head>
 
@@ -108,7 +107,7 @@
 <TABLE>
 <TR>
 <TD><H1>ITP 2015 will be in Nanjing, China</H1></TD>
-<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
+<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="ITP" align="top"></TD>
 </TR>
 </TABLE>
 
@@ -139,19 +138,12 @@
 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: Lars Birkedal, Michael Norrish<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 Isabelle tutorial before the
+<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
 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
@@ -211,8 +203,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 fee 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