itp-2015: comparison booklet.tex

equal deleted inserted replaced

-:a792b2f23afe
+:63533b57ad89
 Unless your are one of the very few foreigners who can speak
 and read Chinese, potentially the most challenging part of
 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
 before, therefore let us still start with some general points.
 \item \textbf{Bottled Water}\hspace{3mm}
 Whereas in many places it is safe to drink water from taps,
 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}
 Do not even think of renting a car in China. Hence, while in
 China, you probably will be mostly going around on foot. Be
 street curb. You need to pay them in cash. They are always
 metered.
 \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).
 \item \textbf{Cash / Credit Cards}\hspace{3mm}While foreign
 premium. Cash still rules many aspects of Chinese life
 (metro ticket, taxi journey,\ldots{}) where foreign credit cards
 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]
 \begin{tabular}{l}
 Address of Hanyuan Hotel:\medskip\\
 \begin{figure}[p]
 \begin{center}
 \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}
 \subsubsection*{Getting a Ticket for the Metro in Nanjing}
 way you can avoid having to talk to a sales person in the ticket
 counter, who might not speak any English). You need to select
 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).
 \begin{center}
 The service of the Maglev
 starts at 7:02 and finished the day at 21:42.
 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
 metro is a short walk from the Maglev. You have to first buy a
 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
 7 minutes at 415 km/h, we recommend Option 1 by bus.
 \end{itemize}
 Next you need to buy a train ticket. There are ticket
 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}
 \includegraphics[scale=0.8]{travel_guide/image040.jpg}
 \end{center}
 verifying that it is you who is travelling on the ticket. The
 journey to Nanjing Nan takes around 1h.
 \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
+excursion, this time to a Chinese garden in Yangzhou and to the
-Slender West Lake. You might like to not a few points:
+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
+Wiki has some rudimentary information at
-us to the South Gate of the lake.
+\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}}
 \begin{figure}[p]
 M.~Norrish\\
 \textbf{Invited Talk}\\
 \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\\
+to the Slender West Lake.\smallskip\\
-We expect to be back at the hotel around 22:30\\
+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}}|@{}}
 \multicolumn{1}{c}{\textbf{Thursday}}\\
 \hline
 \hline
 14:30 -- 15:30\smallskip\\
 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}\\
 \hline
 16:00 -- 17:00\smallskip\\

changeset 269	63533b57ad89
parent 268	a792b2f23afe
child 270	86c5aa644505