itp-2015: comparison booklet.tex

equal deleted inserted replaced

-:5a76422d8c6c
+:69ed50eeeb3d
 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.
-The welcome reception is on Sunday (23th) at ???  and also on the
+The welcome reception is on Sunday (23th) at ??? and close
-first floor. The ITP conference will take place on the 6th
+to the hotel reception. 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
 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
 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 dayHi, which you have to show before
+green paper ticket for each day, which you have to show before
 going to breakfast. Hanyuan Hotel also includes a very good
 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 located at the intersection of a big road
 (Houbiaoying Road 后标营路) and a smaller road (TongWei Road 童卫路).
 If you need a taxi to go to Downtown Nanjing, for example, it
 is probably the easiest to hail down a taxi at the big street.
 An ATM machine is situated a few minutes down the smaller
 TongWei Road. If you want to take a walk in the evening,
-Xingyuan suggest a stroll through the Purple Mountain Area on
+Xingyuan suggests a stroll through the Purple Mountain Area on
 the top-right in the map in Fig.~\ref{hotelmap}. This area is
 approximately a 15 minutes walk away from the hotel and
 contains for example the Sun Yat Sen memorial and the Linggu
-pagoda.
+pagoda (below right).
 \begin{center}
-\includegraphics[scale=0.45]{travel_guide/map1a.jpg}
+\includegraphics[scale=0.40]{travel_guide/map1a.jpg}
 \hspace{5mm}
-\includegraphics[scale=0.43]{travel_guide/linggusu.jpg}
+\includegraphics[scale=0.38]{travel_guide/linggusu.jpg}
 \end{center}
 \item\textbf{Metro Stations Near the Hotel}\hspace{3mm}
 There are two metro stations near the hotel (Muxuyan and
 Xiamafang stations), which are pretty much the same distance
 from the hotel (see map in Fig~\ref{hotelmap}). Muxuyuan is
 easier to reach: just down TongWei Road and then turn left
-down the hill. The entrance of the metro is on the left-hand
+down the hill of NingHang Road (宁杭公路). The entrance of the
-side. However it is not the most scenic route. More scenic is
+metro is on the left-hand side. However it is not the most
-the walk to Xiamafang Metro Station through the campus of the
+scenic route. More scenic is the walk to Xiamafang Metro
-Nanjing Agriculture University. Unfortunately the way is not
+Station through the campus of the Nanjing Agriculture
-so straightforward. If you are unfamiliar with the way, we
+University. Unfortunately the way is not so straightforward.
-suggest you walk to Muxuyuan station; once you followed some
+If you are unfamiliar with the way, we suggest you walk to
-locals and know the way, go to Xiamafang station.
+Muxuyuan station; once you followed some locals and know the
+way, go to Xiamafang Station.
 \begin{figure}[p]
 \includegraphics[scale=0.45]{travel_guide/map2.jpg}
 \caption{Shops and restaurants in the vicinity of the hotel.
 A relatively large shopping area including a large supermarket
 \item\textbf{Shops and Restaurants Near the Hotel}\hspace{3mm}
 There is a very nice shopping area close to Xiamafang Metro
 Station. There is a wide selection of restaurants in this
 area including Xingyuan's favourite restaurant for having
-lunch on workdays
+lunch on workdays. It is called ?? and situated behind the
+KFC.
 \begin{center}
 \includegraphics[scale=0.05]{travel_guide/rest.jpg}
 \end{center}
 \noindent This area also contains a ``Mickey Mouse bakery'',
-which stocks pastries similar to ones you might find in a
+which stocks pastries similar to the ones you might find in a
 Western bakery (just in case you get bored of the baozi
-at breakfast in the hotel) and a pizza place in case you need
+at breakfast in the hotel). There is also pizza place in
-to eat something different than Chinese.
+case you need  must 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 Houbiaoying Road. A smaller
+restaurants on the opposite side of Houbiao\-ying Road. A smaller
 supermarket is at the end of Tongwei Road and a bigger one
 in the Xiamafang area.
 \end{itemize}
 \section{Further Afield}
 area of Nanjing (see metro map in Fig.~\ref{metronanjing}).
 \begin{itemize}
 \item\textbf{Shopping}\hspace{3mm}
 The most serious shopping malls in Nanjing can be found in the
-area around Xinjiekou and Daxinggong metro stations (on Line~2).
+area around Xinjiekou and Daxinggong metro stations (on
-Especially in multi-brand shopping malls the shopping goes
+Line~2). Be aware that especially in multi-brand shopping
-like this: You find something you like. You agree the prize
+malls the shopping goes like this: (1) You find something you
-with the shop-assistant. You get a piece of paper, which you
+like. (2) You agree the prize with the shop-assistant. (3) You
-need to take to a cashier nearby. You pay there, get another
+get a piece of paper, which you need to take to a cashier
-piece of paper, which you take back to the store, where you
+nearby. (4) You pay there, get another piece of paper, which
-receive your goods. Another quirk of shopping in China is that
+you take back to the store, where you (5) receive your goods.
-when the sale says, for example, ``80\% off'', it is actually
+Another ``quirk'' of shopping in China is that when the sale says,
-20\% off, meaning you pay only 80\% of the original price.
+for example, ``80\% off'', it is actually 20\% off, meaning
+you pay only 80\% of the original price.
 \item\textbf{Restaurants}\hspace{3mm}The most famous area
 for restaurants in Nanjing is near the Confucius Temple, which
 is near the Fuzimiao Metro Station on Line~3. There you
 can find traditional-style houses and enjoy indigenous foods.
 \item\textbf{Sight-Seeing}\hspace{3mm}Nanjing, being a former
 capital, possessed one of the most impressive city walls.
 Today you can see remainders at the North Gate near
-Zhonghuamen Mtro Station on Line~1. From the station follow
+Zhonghuamen Metro Station on Line~1. From the station follow
 the red line in the map below.
 \begin{center}
 \includegraphics[scale=0.8]{travel_guide/map3.jpg}
 \hspace{5mm}
 \includegraphics[scale=0.3]{travel_guide/gate.jpg}
 \end{center}
-\noindent There is also another substantial and impressive
+\noindent There is also another substantial section of the
-section of the remaining city visible very close to the hotel:
+remaining city wall visible in an area very close to the
-Walk the Houbiaoying Road towards the city centre, once you
+hotel: Walk the Houbiaoying Road towards the city centre; once
-traversed the river, bear right. You will see a rather
+you traversed the river, bear right. You will see a
 tall wall build of grey stones.
-Another scenic spot is the Xuanwu Lake, dotted with several
+Another scenic spot is the Xuanwu Lake, which dotted with
-beautiful small islands and a good place to have a walk. You
+several beautiful small islands and a good place to have a
-can reach the lake by taking exit Xuanwumen at Line~3.
+walk. You can reach the lake by going to Xuanwumen Metro
-Xingyuan suggest the walk indicated red below.
+Station at Line~3. Xingyuan suggests the walk indicated red
+below.
 \begin{center}
 \includegraphics[scale=0.8]{travel_guide/map4.jpg}
 \end{center}
 \noindent The ultimate bird's-eye view of Nanjing you can have
-from the Zifeng Tower. For this you have to go to Guluo Metro
+from the Zifeng Skyscraper. For this you have to go to Guluo
-Station on Line~1. According to Wiki, the Zifeng Tower is the
+Metro Station on Line~1. According to Wiki, the Zifeng
-11th tallest building in the World (to compare, the Shard is
+Skyscraper is the 11th tallest building in the World (to
-ranked 92nd and the Sears Tower 12th).
+compare, the Shard in London is ranked 92nd and the Sears
+Tower in Chicago is 12th).
 \end{itemize}
 \section{Schedule of the Excursion\label{excursion}}
-On Wednesday afternoon there will be the traditional ITP
+On Wednesday afternoon there will be the traditional
-excursion, this time to a Chinese garden in Yangzhou and to the
+ITP-excursion, this time to a Chinese garden in Yangzhou and
-Slender West Lake. You might like to note a few points:
+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
+\item The conference session on Wednesday will end at 11:30,
-should finish lunch no later than 12:20 in order to get
+and you should finish lunch no later than 12:20 in order
-to the hotel lobby.
+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. You can find a short description at
 \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}
+\mbox{}\\[40mm]
+\noindent The organising team wishes you a pleasant stay in
+Nanjing! If you need any help, please contact us.
+\begin{center}
+\begin{tabular}{ccc}
+\includegraphics[scale=0.1]{pics/chunhan.jpg} &
+\includegraphics[scale=0.1]{pics/xingyuan.jpg} &
+\includegraphics[scale=0.555]{pics/christian.jpg}\\
+Chunhan Wu & Xingyuan Zhang & Christian Urban
+\end{tabular}
+\end{center}
 \newlength{\cw}
 \setlength{\cw}{100mm}
 \newcolumntype{L}[1]{>{\raggedright\let\newline\\\arraybackslash\hspace{0pt}}m{#1}}

changeset 277	69ed50eeeb3d
parent 276	5a76422d8c6c
child 278	b3176148b835