--- 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}\\