# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1439804168 -28800
# Node ID f700d78f7924c95c6ae013837dd472259b0ade10
# Parent  f1202352b555453f2240c1fc1defa2133aee1012
updated page

diff -r f1202352b555 -r f700d78f7924 booklet.pdf
Binary file booklet.pdf has changed
diff -r f1202352b555 -r f700d78f7924 booklet.tex
--- a/booklet.tex	Mon Aug 17 16:58:05 2015 +0800
+++ b/booklet.tex	Mon Aug 17 17:36:08 2015 +0800
@@ -688,7 +688,7 @@
 There is also a myriad of restaurants in the Xinjiekou area. 
 
 \item\textbf{Sight-Seeing}\hspace{3mm}Nanjing, being a former 
-capital, possessed one of the most impressive city walls. 
+capital, possessed once one of the most impressive city walls. 
 Today you can see remainders at the North Gate near 
 Zhonghuamen Metro Station on Line~1. From the station follow
 the red line in the map below.
@@ -705,17 +705,19 @@
 (you can see it from the hotel if you have a room sufficiently
 high up): Walk the Houbiaoying Road towards the city centre;
 once you traversed the river, bear right. You will see a tall
-wall build of grey stones.
+wall build of grey stones. At the beginning it is a restored
+section, but further down the original wall starts (towards the
+top-end in the map below).
 
 \begin{center}
 \includegraphics[scale=0.4]{travel_guide/map5.jpg}
 \end{center}
 
-Another scenic spot is the Xuanwu Lake, which is dotted with
-several beautiful small islands and a good place to have a
-walk. You can reach the lake by going to Xuanwumen Metro
-Station at Line~1. Xingyuan suggests the walk indicated red
-below where you leave from Jimingsi Station on Line~3.
+Another scenic spot in Nanjing is the Xuanwu Lake, which is
+dotted with several beautiful small islands and a good place
+to have a walk. You can reach the lake by going to Xuanwumen
+Metro Station at Line~1. Xingyuan suggests the walk indicated
+red below where you end up in from Jimingsi Station on Line~3.
 
 
 \begin{center}
@@ -730,7 +732,7 @@
 Tower is the 11th tallest building in the World (to
 compare, the Shard in London is ranked 92nd and the Sears
 Tower in Chicago is 12th). A ticket for the observation 
-platform cost 66 RMB.
+platform costs 66 RMB.
 
 \end{itemize}
 
@@ -788,14 +790,14 @@
  \begin{tabular}[t]{@{}|@{\hspace{0.5mm}}L{\cw}@{\hspace{0.5mm}}|}
   \multicolumn{1}{c}{\textbf{Monday (6th Floor)\smallskip}}\\
   \hline
-  9:00 -- 10:00\smallskip\\
+  9:00 -- 10:00 (chairs: X.~Zhang, C.~Urban)\smallskip\\
   Short Intro Session\smallskip\\
   M.~Moscato, C.~Munoz, A.~Smith\\
   Affine Arithmetic and Applications to Real-Number Proving\\
   \hline
   \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\
   \hline
-  10:20 -- 11:10\smallskip\\
+  10:20 -- 11:10 (chair: T.~Nipkow)\smallskip\\
   J.~Hölzl, A.~Lochbihler, D.~Traytel\\ 
   A Formalized Hierarchy of Probabilistic System Types (Proof 
   Pearl)\smallskip\\
@@ -805,7 +807,7 @@
   \hline
   \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}20 mins coffee break}\\
   \hline
-  11:30 -- 12:30\smallskip\\
+  11:30 -- 12:30 (chair: R.~Thiemann)\smallskip\\
   A.~Anand, R.~Knepper\\ 
   ROSCoq: Robots Powered by Constructive Reals\smallskip\\
   H.~Chan, M.~Norrish\\
@@ -813,7 +815,7 @@
   \hline
   \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}2hs lunch break}\\
   \hline
-  14:30 -- 15:30\smallskip\\
+  14:30 -- 15:30 (chair: R.~Kumar)\smallskip\\
   S.~Schneider, G.~Smolka, S.~Hack\\ 
   A First-Order Functional Intermediate Language for Verified 
   Compilers\smallskip\\
@@ -894,7 +896,7 @@
    \begin{tabular}[t]{|@{\hspace{0.5mm}}L{90mm}@{\hspace{0.5mm}}|}
    \multicolumn{1}{c}{\textbf{Wednesday (6th Floor)\smallskip}}\\
    \hline
-   9:00 -- 10:00\smallskip\\
+   9:00 -- 10:00 (chair: A.~Charguéraud)\smallskip\\
    R.~Spadotti\\
    A Mechanized Theory of Regular Trees in Dependent Type 
    Theory\smallskip\\
@@ -903,7 +905,7 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}30 mins coffee break}\\
    \hline
-   10:30 -- 11:30\\
+   10:30 -- 11:30 (chair: C.~Urban)\\
    M.~Norrish\\
    \textbf{Invited Talk}\\
    \hline
diff -r f1202352b555 -r f700d78f7924 index.html
--- a/index.html	Mon Aug 17 16:58:05 2015 +0800
+++ b/index.html	Mon Aug 17 17:36:08 2015 +0800
@@ -142,7 +142,7 @@
 (27 - 29 August).
 
 <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="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="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/booklet.pdf">ITP Booklet</A>,
 contains practical information about registration, travelling, etc.<BR><BR>
 </p>