itp-2015: comparison booklet.tex

equal deleted inserted replaced

-:f12df1a3ab0c
+:5a76422d8c6c
 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
-careful though: You might come from a region where traffic rules are
+careful though: You might come from a region where traffic
-organised so that pedestrians are mostly
+rules are organised so that pedestrians are mostly treated
-treated with respect by all other road users, or even have an
+with respect by all other road users, or even have an
-``elevated status'' because they are considered the ``weakest''.
+``elevated status'' because they are considered the
-Traffic in China is, in contrast, organised more, shall we say,
+``weakest''. Traffic in China is, in contrast, organised more,
-according to a Darwinian model: Under no circumstance assume a
+shall we say, according to a Darwinian model: Under no
-car (or even a bicycle or one of the noiseless electric motor bikes) will stop for you. As pedestrian, you
+circumstance assume a car (or even a bicycle or one of the
-have to take care of everybody else. Therefore, whenever
+many noiseless electric motor bikes) will stop for you. As
-possible cross roads at traffic lights and even if the light
+pedestrian, you have to take care of everybody else.
-shows green for you, look out for cars that pay no attention to this
+Therefore, whenever possible cross roads at traffic lights and
-fact. Also, zebra crossings do \emph{not}, I repeat, \emph{do not}
+even if the light shows green for you, look out for cars that
-have any special meaning in
+pay no attention to this fact. Also, zebra crossings do
-China for the road users higher up the traffic ladder
+\emph{not}, I repeat, \emph{do not} have any special meaning
-(i.e.~bicycles and above).
+in China for the road users higher up the traffic ladder
-Even if it sounds too funny, take
+(i.e.~bicycles and above). Even if it sounds too funny, take
 our word and head this advice\ldots{}it might increase your
 life-expectancy.
 \item \textbf{Free Public Wifi / Mobile Phones}\hspace{3mm}
 While free public wifi is nowadays pretty ubiquitous in big
 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. Skype and Facetime, in
 contrast, work fine.
-\item \textbf{Map of Hotel / Taxis}\hspace{3mm} While more and
+\item \textbf{Map of Hotel / Taxis}\hspace{3mm}
-more young Chinese are exposed to English, you cannot
+While more and more young Chinese are exposed to English, you
-rely on anyone of the general public speaking more than a few
+cannot rely on anyone of the general public speaking more than
-words. Rather, you have to always calculate with the very,
+a few words. Rather, you have to always calculate with the
-very likely scenario that nobody speaks any English at all
+very, very likely scenario that nobody speaks any English at
-and all signs around you are written in characters that do
+all and all signs around you are written in characters that do
-not give you the
+not give you the slightest idea what they are about. This
-slightest idea what they are about. This means you always
+means you always have to prepare your travelling beforehand
-have to prepare your travelling beforehand and ask us for help
+and ask us for help if you are unsure!
-if you are unsure!
 One part of \emph{every} trip preparation, including your
 arrival, should be to carry with you a printed copy of the map
 where the Hanyuan Hotel is located (see Fig.~\ref{hanyuan}).
 When you want to go to the hotel by taxi, you need to show the map to
 your life-line for avoiding unpleasant situations. For
 travelling inside Nanjing, taxis can be hailed at the
 street curb. You need to pay them in cash. They are always
 metered.
+%There is a slight chance you will come across one of the all
+%electric taxi, which are slightly more expensive, than ``normal''
+%taxis. You can recognise them as they are the only taxis built
+%by the maker BYD and look more like a compact SUV, rather than
+%the ``normal'' sedan-style taxi. I have not driven yet in one,
+%but have seen them in the Xinjiekou shopping area. If you do not
+%want to pay the additional price tag, you are assumed to just
+%wave them away and wait for the next taxi.
 \item \textbf{Tips in Restaurants, Taxi}\hspace{3mm}One easy
 aspect of travelling in China are matters to do with tipping:
 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
 to the taxi stand, which means leaving the metro via exit
 2B and follow the signs for ``Taxi (Underground)''.
 The way is marked yellow in the map below.
 This option takes approximately
 55 minutes and costs 7 RMB for the metro ticket and
-around 36 RMB for the taxi.
+around 36 RMB for the taxi.\\[-10mm]\mbox{}
 \begin{center}
-\includegraphics[scale=0.3]{travel_guide/ggg.jpg}
+\includegraphics[scale=0.19]{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?
+not adding 2 more and going the whole way by metro?
 This is the third
 option. The disadvantage is that you need to change
 at Nanjing Nan Railway Station to Line 3 and at
 Daxinggong to Line 2 for Xiamafang or Muxuyuan, which
 are the closest stations to the Hanyuan Hotel
 not take the exit for Hong Qiao International Airport.
 \item \textbf{Option 2 Maglev train / Metro}:
 Of course travelling on the Maglev is pretty cool\ldots{}
 reaching speeds of 415 km/h at certain(!) times of the day,
 namely 9:02--10:47 and 15:02--16:47. At other times it will
-travel at mere speeds of 300 km/h, which you get in China
+travel at mere speeds of 300 km/h, which you get in China also
-also with conventional high-speed trains.  Anyway, a
+with conventional high-speed trains. Anyway, a ticket for the
-ticket for the Maglev will set you back around 50 RMB (\euro{}7, \$8). The
+Maglev will set you back around 50 RMB (\euro{}7, \$8). The
-ticket can be paid in cash or by  credit card.
+ticket can be paid in cash or by credit card. The service of
-The service of the Maglev
+the Maglev starts at 7:02 and finished the day at 21:42. To
-starts at 7:02 and finished the day at 21:42.
+take this option at the airport, you will need to follow the
-To take this option
+Maglev signs. The main problem with this option, however, is
-at the airport, you will need to follow the Maglev signs. The
+that you can only travel until Longyang Road Station and then
-main problem with
+have to change into the overcrowded and much, much slower
-this option, however, is that you can only travel until  Longyang
+metro Line 2. The change to the metro is a short walk from the
-Road Station and then have to
+Maglev. You have to first buy a ticket inside the metro
-change into the overcrowded and much, much slower metro Line 2.
+station. The good thing about this option is that metro
-The change to the
+travelling in Shanghai is pretty easy for foreigners as all
-metro is a short walk from the Maglev. You have to first buy a
+stations are signed out in letters. For buying a ticket for
-ticket inside the metro station. The good thing
+the metro, check the section about buying a metro ticket in
-about this option is that metro travelling in Shanghai is
+Nanjing (the procedure is pretty universal in China; the only
-pretty easy for foreigners as all stations are signed out in
+exception is that in Shanghai the metro ticket is a paper
-letters. For buying a ticket for the metro, check the section
+ticket, while in Nanjing it is a blue plastic chip).
-about buying a metro ticket in Nanjing (the procedure is
-pretty universal in China; the only exception is that
-in Shanghai the metro ticket is a paper ticket, while in
-Nanjing it is a blue plastic chip).
 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}
 The Isabelle tutorial will take place from Friday (21st) to
 Sunday (23rd) in a conference room on the 4th floor of Hanyuan
 Hotel. There will be a reception desk of ITP from Thursday
 until Sunday on the 1st floor close to the hotel check in.
-There will be a welcome reception on Sunday (23th) also on the
+The welcome reception is on Sunday (23th) at ???  and also on the
 first floor. The ITP conference will take place on the 6th
 floor and starting from Monday the reception desk will be just
 outside the conference hall. On Wednesday (26th) afternoon
-there will be the ITP-excursion to Yangzhou and the Slender
+we will leave for ITP-excursion to Yangzhou and the Slender
 West Lake (see Sect.~\ref{excursion}). The Coq tutorial will
 take place from Thursday (27th) until Saturday (29th) on the
 4th floor. The programme of the talks is at the end of this
 booklet.
 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
+green paper ticket for each dayHi, which you have to show before
 going to breakfast. Hanyuan Hotel also includes a very good
-restaurant, but unfortunately it is a bit on the pricier side.
+restaurant on the 2nd floor, but unfortunately it is a bit
+on the pricier side for China.
 \begin{itemize}
-\item\textbf{Near the Hotel}\hspace{3mm}The Hanyuan hotel is
+\item\textbf{Near the Hotel}\hspace{3mm}
-located at the intersection of a big road (NingHang Road 宁杭公路)
-and a smaller road (TongWei Road 童卫路). If you need a taxi to
+The Hanyuan hotel is located at the intersection of a big road
-go to Downtown Nanjing, for example, it is probably the easiest to hail
+(Houbiaoying Road 后标营路) and a smaller road (TongWei Road 童卫路).
-down a taxi at the big street. An ATM machine is situated a few
+If you need a taxi to go to Downtown Nanjing, for example, it
-minutes down the smaller TongWei Road. If you want to take a
+is probably the easiest to hail down a taxi at the big street.
-walk in the evening, Xingyuan suggest a stroll through the
+An ATM machine is situated a few minutes down the smaller
-Purple Mountain Area on the top-right in the map in
+TongWei Road. If you want to take a walk in the evening,
-Fig.~\ref{hotelmap}. This area is approximately a 15 minutes
+Xingyuan suggest a stroll through the Purple Mountain Area on
-walk away from the hotel and contains for example the Sun Yat
+the top-right in the map in Fig.~\ref{hotelmap}. This area is
-Sen memorial and the Linggu pagoda.
+approximately a 15 minutes walk away from the hotel and
+contains for example the Sun Yat Sen memorial and the Linggu
+pagoda.
 \begin{center}
 \includegraphics[scale=0.45]{travel_guide/map1a.jpg}
 \hspace{5mm}
 \includegraphics[scale=0.43]{travel_guide/linggusu.jpg}
 at breakfast in the hotel) and a pizza place in case you need
 to eat something different than Chinese.
 There is also a smaller shopping area in the ``middle'' of
 Tongwei road including some native restaurants, and also some
-restaurants on the opposite side of NingHang Road. A smaller
+restaurants on the opposite side of Houbiaoying Road. A smaller
 supermarket is at the end of Tongwei Road and a bigger one
 in the Xiamafang area.
 \end{itemize}
 \section{Further Afield}
 \end{center}
 \noindent There is also another substantial and impressive
 section of the remaining city visible very close to the hotel:
-Walk the NingHuan Road towards the city centre, once you
+Walk the Houbiaoying Road towards the city centre, once you
 traversed the river, bear right. You will see a rather
 tall wall build of grey stones.
 Another scenic spot is the Xuanwu Lake, dotted with several
 beautiful small islands and a good place to have a walk. You

changeset 276	5a76422d8c6c
parent 275	f12df1a3ab0c
child 277	69ed50eeeb3d