itp-2015: comparison booklet.tex

equal deleted inserted replaced

-:024686c71dda
+:42f24df619f8
 \item \textbf{Google etc}\hspace{3mm}There are two Great Walls in
 China: one prevents you from accessing Google, for example. Use
 \url{www.aol.com} or \url{www.bing.com} instead as your preferred
 search engine. Also, if you care about such things, set your
 status on Facebook to ``unavailable'' for the period of time
-you will be in China. Ditto Twitter.
+you will be in China. Ditto Twitter. Skype and Facetime, in
+contrast, work fine.
 \item \textbf{Map of Hotel / Taxis}\hspace{3mm} While more and
 more young Chinese are exposed to English, you cannot
 rely on anyone of the general public speaking more than a few
 words. Rather, you have to always calculate with the very,
 very likely scenario that nobody speaks any English at all
-and all
+and all signs around you are written in characters that do
-signs round you are written in characters that do not give you the
+not give you the
 slightest idea what they are about. This means you always
 have to prepare your travelling beforehand and ask us for help
 if you are unsure!
 One part of \emph{every} trip preparation, including your
 from the hotel.
 \end{itemize}
 \begin{figure}[p]
 \begin{tabular}{l}
-Address of Hanyuan Hotel:\medskip\\
+For the driver:\medskip\\
 司机师傅，请将我送往``{\bf 童卫路20号翰苑宾馆}''，其位置如地图中红色A点所示。\\
 酒店电话：02584393962。谢谢！
 \end{tabular}
 This option takes approximately
 55 minutes and costs 7 RMB for the metro ticket and
 around 36 RMB for the taxi.
 \begin{center}
-\includegraphics[scale=0.4]{travel_guide/ggg.jpg}
+\includegraphics[scale=0.3]{travel_guide/ggg.jpg}
 \end{center}
 \item If you already prepared to pay 7 RMB for the metro, why
 not adding 2 more RMBs and going the whole way by metro?
 This is the third
 closest to the hotel.\label{metronanjing}}
 \end{figure}
 \subsubsection*{Getting a Ticket for the Metro in Nanjing}
-Like in all Chinese metro stations, entering the metro station at the
+Like most Chinese metro stations, entering the metro station at the
 airport means you have to go through a brief security check
 where your luggage will be X-rayed. After the check you will
 see ticket machines
 \begin{center}
 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 get your ticket from the counter.
 After paying, the machine will issue a blue plastic chip which
-is your ticket. This coin needs to be swiped when going
+is your ticket. This chip needs to be swiped when going
 through the gates of the metro (shown on the right below).
 At the end of your journey you will have to return the blue
 chip at the exit gate.
 \begin{center}
 At the Pudong Airport follow the signs for Airport Bus, or Airport
 Ring Bus. You have to take Line 1, which operates between 7:00
 and 23:00. The bus stop where you have to wait is
 \begin{center}
-\includegraphics{travel_guide/image005.jpg}
+\includegraphics[scale=0.9]{travel_guide/image005.jpg}
 \end{center}
 The waiting time is around 15 minutes during peak hours, or 30
 minutes at other times. The ticket costs 30 RMB (\euro{}4.25,
 \$5) and can be bought on the bus. This however requires cash.
 \subsection*{From Hong Qiao Train Station to Nanjing Nan via
 High-Speed Train}
 The airport bus will stop directly in front of the southern
-part of the Hong Qiao train station. As background, train
+part of the Hong Qiao Railway Station. As background, train
 stations above the village level in China are organised more
 like an airport, than the more sleepy train station you might be
-familiar with. Therefore you first have to go through a
+familiar with. Therefore, you first have to go through a
 security gate where luggage is checked and you padded by a
 security guard. The security guard might be of either sex and
 this is seen as normal by Chinese.
 Next you need to buy a train ticket. There are ticket
 %weather, electrical connectors
 \chapter{At the Conference}
-The reception on Sunday (24th), breakfast and lunches are on the
+The Isabelle tutorial will take place from Friday (21st) to
-1st floor next to hotel registration desk. The breakfast buffet
+Sunday (23rd) in a conference room on the 4th floor of Hanyuan
-is open from 7:00 until 9:00. When you check into the hotel,
+Hotel. There will be a reception desk of ITP from Thursday
-you will receive a green paper ticket for each day which you
+until Sunday on the 1st floor close to the hotel check in.
-have to show before going to breakfast. From Thursday (20th)
+There will be a reception buffet on Sunday (23th) also on the
-until Sunday (24th) we will have an ITP-registration desk on
+first floor. The ITP conference will take place on the 6th
-the first floor.
+floor and the reception desk will be just outside the
+conference hall. On Wednesday (26th) afternoon there will be
-The conference room is on the 6th floor of the Hanyuan hotel.
+the ITP-excursion to Yangzhou and the Slender West Lake (see
-The tutorials take place in a conference room on the 4th
+Sect.~\ref{excursion}). The
-floor. If you want to speak to the organisers, there will be
+Coq tutorial will take place from Thursday (27th) until
-a desk in front of the conference room on the 6th floor.
+Saturday (29th) on the 4th floor. The programme of the talks
+is at the end of this booklet.
-\section{Schedule of the Excursion}
+Breakfast and lunches are served on 1st floor next to hotel
+registration desk. The breakfast buffet is open from 7:00
+until 9:00. When you check into the hotel, you will receive a
+green paper ticket for each day which you have to show before
+going to breakfast.
+\begin{itemize}
+\item\textbf{Near the hotel}\hspace{3mm}The Hanyuan hotel is
+located on the intersection of a big road (NingHang Road 宁杭公路)
+and a smaller road (TongWei Road 童卫路). If you need a taxi to
+go to downtown, for example, it is probably the easies to hail
+one at the big street. An ATM machine is situated a few
+minutes down the smaller TongWei Road.
+\begin{center}
+\includegraphics[scale=0.45]{travel_guide/map1a.jpg}
+\end{center}
+\end{itemize}
+\begin{figure}[p]
+\includegraphics[scale=0.45]{travel_guide/map2.jpg}
+\end{figure}
+\section{Schedule of the Excursion\label{excursion}}
 On Wednesday afternoon there will be the traditional ITP
 excursion, this time to a Chinese garden in Yangzhou and to the
 Slender West Lake. You might like to note a few points:

changeset 272	42f24df619f8
parent 271	024686c71dda
child 273	0500c07aed6e