# HG changeset patch # User Christian Urban # Date 1439534833 -28800 # Node ID 63533b57ad897d05460f2785c7b0be47b24ae74a # Parent a792b2f23afee0afd3704e4caa16d5df92986572 updated diff -r a792b2f23afe -r 63533b57ad89 booklet.pdf Binary file booklet.pdf has changed 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}\\