
diff -r a792b2f23afe -r 63533b57ad89 booklet.tex
--- a/booklet.tex	Fri Aug 14 09:40:59 2015 +0800
+++ b/booklet.tex	Fri Aug 14 14:47:13 2015 +0800
@@ -120,7 +120,16 @@
 your journey is about to begin. Below we explain how to get to
 Hanyuan Hotel in Nanjing from Nanjing Lukou Airport and from
 Shanghai Pudong Airport. If you arrive from somewhere else and
-need help, please let us know.
+need help, please let us know. If you need help while 
+travelling, the local organisers can be reached on their 
+mobile:
+
+\begin{center}
+\begin{tabular}{ll}
+Xingyuan: & (+86)\hspace{2mm}13814081536\\
+Chunhan:  & (+86)\hspace{2mm}15312993807\\
+\end{tabular}
+\end{center}
 
 China is generally a safe country for travelling, if the usual
 precautions are taken. We assume you have never been in China 
@@ -139,7 +148,7 @@
 do not take chances and drink only bottled water! During the
 conference we will provide bottled water. In other places you
 have to buy bottles yourself. Remember, Chinese are famous for
-nibbling on a bottle with hot tea the whole day, even in sweltering 
+nibbling on a bottle of hot tea the whole day, even in sweltering 
 temperatures. There is a reason for this. 
 
 \item \textbf{Traffic}\hspace{3mm} 
@@ -223,7 +232,7 @@
 
 \item \textbf{Tips in Restaurants, Taxi}\hspace{3mm}One easy
 part of travelling in China are matters to do with tipping:
-No tips are expected when paying at a restaurant, for a taxi 
+no tips are expected when paying at a restaurant, for a taxi 
 journey etc. The good thing about this is you are treated as a 
 nice customer, if you are a nice customer (meaning you treat 
 staff with respect).
@@ -238,7 +247,8 @@
 are of no use (China has its own credit card system which is
 accepted more widely, but also not everywhere). Pretty much the 
 only places where cash can be obtained with a foreign credit 
-card are ATMs in Chinese banks.\footnote{MORE INFO NEEDED}
+card are ATMs in Chinese banks. There are several in the 
+nearer vicinity of the hotel.
 \end{itemize}
 
 \begin{figure}[p]
@@ -306,7 +316,7 @@
 \makebox[0mm]{\includegraphics[scale=1.1]{travel_guide/metromapnanjing.png}}
 \end{center}
 \caption{Metro map of Nanjing. Stations
-Xiamafang and Muxuyuan on Line 2 are 
+Xiamafang and Muxuyuan on Line 2 (red line) are 
 closest to the hotel.\label{metronanjing}} 
 \end{figure}
 
@@ -329,7 +339,7 @@
 the destination station on the touch screen (shown on
 the right). Next you need to pay for the ticket with 10 RMB or 5
 RMB bank notes, or 1 RMB coins. If you do not have them yet,
-you will need to go to the counter near the ticket machines.
+you will need to get your ticket from the counter.
 After paying, the machine will issue a blue plastic coin which
 is your ticket. This coin needs to be swiped when going
 through the gates of the metro (shown on the right below). 
@@ -403,7 +413,7 @@
 To take this option 
 at the airport, you will need to follow the Maglev signs. The 
 main problem with
-this option, however, is that you can only go until  Longyang 
+this option, however, is that you can only travel until  Longyang 
 Road Station and then have to
 change into the overcrowded and much, much slower metro Line 2. 
 The change to the
@@ -411,7 +421,9 @@
 ticket inside the metro station. The good thing
 about this option is that metro travelling in Shanghai is
 pretty easy for foreigners as all stations are signed out in 
-letters. 
+letters. For buying a ticket for the metro, check the section
+about buying a metro ticket in Nanjing (the procedure is 
+pretty universal in China).
 
 Overall the journey time of this option is around 2h. So
 unless you really want to sample the feeling of travelling for
@@ -434,7 +446,7 @@
 counters, see left below, signed out in the main hall. (Unlike
 the metro, ticket machines for trains are of no use for you,
 because you would need a Chinese ID-card in order to buy
-anything.)
+anything with them.)
 
 \begin{center}
 \includegraphics[scale=0.8]{travel_guide/image038.jpg}
@@ -477,42 +489,51 @@
 
 \subsection*{Nanjing Nan Railway Station to the Hanyuan Hotel}
 
-Like in the section for travelling from Nanjing Lukou Airport
+Like in the section for travelling from Nanjing Lukou Airport,
 there are two option you can take from Nanjing Nan. The only
 difference is that the train station has a different taxi
 stand, which is signed out at the station. At the taxi stand
 you need to take a yellow taxi that goes to ``Nanjing
 Downtown''. The taxi will cost around 36 RMB and needs to be
-paid in cash.
+paid in cash. Show the driver the map in Fig~\ref{hanyuan}.
 
 %weather, electrical connectors
 
-\chapter{Conference Programme}
+\chapter{At the Conference}
 
 
 \section{Schedule of the Excursion}
 
 On Wednesday afternoon there will be the traditional ITP
-excursion, this time to a Chinese garden in Yangzhou and the
-Slender West Lake. You might like to not a few points:

\begin{itemize}
\item The conference session will end at 11:30, and you 
+excursion, this time to a Chinese garden in Yangzhou and to the
+Slender West Lake. You might like to note a few points:

\begin{itemize}
\item The conference session will end at 11:30, and you 
   should finish lunch no later than 12:20 in order to get 
   to the hotel lobby.
\item Boarding the shuttle bus is at 12:30 sharp!
 \item The first leg of the bus journey takes roughly 40 minutes 
   to Ge Yuan Garden (meaning Bamboo Garden). This is a
   small garden in traditional Chinese style. We will be there
-  for approximately 1h.
+  for approximately 1h. You can find a short description at
+  \url{https://en.wikipedia.org/wiki/Ge_Yuan_Garden}. 
+  
 \item After Ge Yuan, we are going to board the shuttle bus again 
-  for Slender West Lake. We are going to enter the Slender West 
+  for the Slender West Lake. We are going to enter the Slender West 
   Lake area from its North Gate. The walking tour at Slender 
   West Lake will be lead by two guides speaking English.
-\item After the walk, we will board boats which will bring
-  us to the South Gate of the lake.
\item The banquet restaurant (named Lion 
+  Wiki has some rudimentary information at
+  \url{https://en.wikipedia.org/wiki/Slender_West_Lake}.
+%\item After the walk, we will board boats which will bring
+%  us to the South Gate of the lake.
\item The banquet restaurant (named Lion 
   Pavilion) is located on the campus 
   of Yangzhou University. It  will take us 5 minute walk 
     from the South Gate to get there.
\item We expect that the shuttle bus brings us back starting 
   around 21:30 and we should be back in the hotel by 23:00.
 \end{itemize}
 
+
+\section{While being in Nanjing, Local Attractions}
+
+%% what is the downtown metro station?
+
 \newlength{\cw}
 \setlength{\cw}{100mm}
 \newcolumntype{L}[1]{>{\raggedright\let\newline\\\arraybackslash\hspace{0pt}}m{#1}}
@@ -647,12 +668,12 @@
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}1h Lunch break}\\
    \hline
-   12:30 -- 21:30\smallskip\\
+   12:30 -- 22:30\smallskip\\
    Excursion to Ge Yuan Garden and Slender West Lake\smallskip\\
-   Bus departs at 12:30 sharp from the hotel\smallskip\\
+   The bus departs at 12:30 sharp from the hotel.\smallskip\\
    Dinner will be at the Lion Pavilion restaurant which is close
-   to the Slender West Lake\smallskip\\
-   We expect to be back at the hotel around 22:30\\
+   to the Slender West Lake.\smallskip\\
+   We expect to be back at the hotel around 22:30.\\
    \hline
    \end{tabular}
  & \begin{tabular}[t]{|@{\hspace{0.5mm}}L{130mm}@{\hspace{0.5mm}}|@{}}
@@ -689,7 +710,7 @@
    C.~Sternagel, R.~Thiemann\\
    Deriving Comparators and Show-Functions in Isabelle/HOL\smallskip\\
    R.~Affeldt, J.~Garrigue\\
-   Formalization of Error-correcting Codes: from Hamming to Modern Coding 
+   Formalization of Error-Correcting Codes: from Hamming to Modern Coding 
    Theory\\
    \hline
    \multicolumn{1}{@{}|l|@{}}{\hspace{-1mm}\cellcolor{blue!20}30 mins coffee break}\\




