booklet.tex
changeset 290 b06cd6deecf1
parent 287 46b7a62acd98
child 291 9f5f5fc037a8
equal deleted inserted replaced
289:f028685a49f3 290:b06cd6deecf1
   286 
   286 
   287 \begin{figure}[p]
   287 \begin{figure}[p]
   288 \begin{tabular}{l}
   288 \begin{tabular}{l}
   289 For the driver:\medskip\\
   289 For the driver:\medskip\\
   290 
   290 
   291 司机师傅,请将我送往``{\bf 童卫路20号翰苑宾馆}'',其位置如地图中红色A点所示。\\
   291 司机师傅,请将我送到``{\bf 童卫路20号翰苑宾馆}'',其位置如地图中红色A点所示。\\
   292 酒店电话:02584393962。谢谢!
   292 酒店电话:02584393962。谢谢!
   293 \end{tabular}
   293 \end{tabular}
   294 
   294 
   295 \begin{center}
   295 \begin{center}
   296 \makebox[0mm]{\includegraphics[scale=0.5]{travel_guide/badu.png}}
   296 \makebox[0mm]{\includegraphics[scale=0.5]{travel_guide/badu.png}}
   585   \draw (7,3.5) node[anchor=north west] 
   585   \draw (7,3.5) node[anchor=north west] 
   586   {\small\begin{tabular}{@{}l}Coq tutorial\\4th Floor\end{tabular}};
   586   {\small\begin{tabular}{@{}l}Coq tutorial\\4th Floor\end{tabular}};
   587 
   587 
   588   \draw[line width=1mm,fill=gray!20] (0,2.0) rectangle (4,1.3);
   588   \draw[line width=1mm,fill=gray!20] (0,2.0) rectangle (4,1.3);
   589   \draw[line width=1mm,fill=gray!20] (4,2.0) rectangle (8,1.3);
   589   \draw[line width=1mm,fill=gray!20] (4,2.0) rectangle (8,1.3);
   590   \draw (0,2.0) node[anchor=north west] {Info Desk 1st Floor};
   590   \draw (0,2.0) node[anchor=north west] {Reg.~Desk 1st Floor};
   591   \draw (4,2.0) node[anchor=north west] {Info Desk 6th Floor};
   591   \draw (4,2.0) node[anchor=north west] {Reg.~Desk 6th Floor};
   592   
   592   
   593   \draw ( 3,0.8) node[anchor=north west] 
   593   \draw ( 3,0.8) node[anchor=north west] 
   594   {\small\begin{tabular}{@{}l}Re-\\cep-\\tion\\18:00\end{tabular}};
   594   {\small\begin{tabular}{@{}l}Re-\\cep-\\tion\\18:00\end{tabular}};
   595   \draw ( 5,0.8) node[anchor=north west] 
   595   \draw ( 5,0.8) node[anchor=north west] 
   596   {\small\begin{tabular}{@{}l}Bu'ss\\Meet-\\ing\\17:15\end{tabular}};
   596   {\small\begin{tabular}{@{}l}Bu'ss\\Meet-\\ing\\17:15\end{tabular}};
   597   \draw ( 6,0.8) node[anchor=north west] 
   597   \draw ( 6,0.8) node[anchor=north west] 
   598   {\small\begin{tabular}{@{}l}Ex-\\cur-\\sion\\12:30\end{tabular}};
   598   {\small\begin{tabular}{@{}l}Ex-\\cur-\\sion\\12:30\end{tabular}};
   599   \end{tikzpicture}
   599   \end{tikzpicture}
   600 \end{center}
   600 \end{center}
   601 
   601 
   602 \noindent The Information Desk from Thursday (20th) to Sunday
   602 \noindent Our registration desk from Thursday (20th) to Sunday
   603 (23rd) will be on the 1st Floor next to the hotel registration
   603 (23rd) will be on the 1st Floor next to the hotel's registration
   604 desk. From 24th, we will move the desk to the 6th floor where
   604 desk. From 24th, we will move the desk to the 6th floor where
   605 the conference hall is. The Welcome Reception on Sunday will
   605 the conference hall is. The Welcome Reception on Sunday will
   606 also be on the 1st Floor. The programme of the talks is at the
   606 also be on the 1st Floor. The programme of the talks is at the
   607 end of this booklet.\bigskip
   607 end of this booklet.\bigskip
   608 
   608 
   662 
   662 
   663 \item\textbf{Shops and Restaurants Near the Hotel}\hspace{3mm}
   663 \item\textbf{Shops and Restaurants Near the Hotel}\hspace{3mm}
   664 There is a relatively large shopping area close to Xiamafang
   664 There is a relatively large shopping area close to Xiamafang
   665 Metro Station. There is also a wide selection of restaurants
   665 Metro Station. There is also a wide selection of restaurants
   666 in this area including Xingyuan's favourite restaurant for
   666 in this area including Xingyuan's favourite restaurant for
   667 having lunch on workdays. It is called ?? and situated behind
   667 having lunch on workdays. It is called Changjinglu 
   668 the KFC.
   668 (meaning giraffe) and situated behind the KFC.
   669 
   669 
   670 \begin{center}
   670 \begin{center}
   671 \includegraphics[scale=0.05]{travel_guide/rest.jpg}
   671 \includegraphics[scale=0.05]{travel_guide/rest.jpg}
   672 \end{center}
   672 \end{center}
   673 
   673 
   675 which stocks pastries similar to the ones you might find in a 
   675 which stocks pastries similar to the ones you might find in a 
   676 Western bakery (just in case you get bored of the baozi
   676 Western bakery (just in case you get bored of the baozi
   677 at breakfast in the hotel). There is also pizza place in 
   677 at breakfast in the hotel). There is also pizza place in 
   678 case you must eat something different than Chinese. 
   678 case you must eat something different than Chinese. 
   679 
   679 
   680 There is also a smaller shopping area in the ``middle'' of 
   680 There is also a smaller shopping area in the ``middle'' of
   681 Tongwei road including some native restaurants, and also some
   681 Tongwei road including some native restaurants. Some more
   682 restaurants on the opposite side of Houbiao\-ying Road. A smaller
   682 restaurants are on the opposite side of Houbiao\-ying Road. 
   683 supermarket is at the end of Tongwei Road and a bigger one,
   683 
   684 called Suguo Community Store, in the Xiamafang area.
   684 A smaller supermarket is at the end of Tongwei Road and a
       
   685 bigger one, called Suguo Community Store, in the Xiamafang
       
   686 area. For the latter, go down the steps in front of the KFC.
   685 \end{itemize}
   687 \end{itemize}
   686 
   688 
   687 \section{Further Afield}
   689 \section{Further Afield}
   688 
   690 
   689 If you take the very cheap metro, you are very quickly in the
   691 If you take the rather cheap and convenient metro, you are 
   690 downtown area of Nanjing (see metro map in
   692 very quickly in the downtown area of Nanjing (see metro map in
   691 Fig.~\ref{metronanjing}). 
   693 Fig.~\ref{metronanjing} in the previous section). 
   692 
   694 
   693 \begin{itemize}
   695 \begin{itemize}
   694 \item\textbf{Shopping}\hspace{3mm}
   696 \item\textbf{Shopping}\hspace{3mm}
   695 The most serious shopping malls in Nanjing are in the
   697 The most serious shopping malls in Nanjing are in the area
   696 area around Xinjiekou and Daxinggong metro stations (on
   698 around Xinjiekou and Daxinggong metro stations (on Line~2). Be
   697 Line~2). Be aware that especially in multi-brand shopping
   699 aware that especially in multi-brand shopping malls the
   698 malls the shopping goes like this: (1) You find something you
   700 shopping goes like this: (1) You find something you like. (2)
   699 like. (2) You agree the prize with the shop-assistant. (3) You
   701 You agree the prize with the shop-assistant. (3) You get a
   700 get a piece of paper, which you need to take to a cashier
   702 piece of paper, which you need to take to a cashier nearby.
   701 nearby. (4) You pay there, get another piece of paper, which
   703 (4) You pay there, get another piece of paper, which you take
   702 you take back to the shop-assistant, where you (5) receive your goods.
   704 back to the shop-assistant, where you finally (5) receive your
   703 Another ``quirk'' of shopping in China is that when the sale says,
   705 goods. Another ``quirk'' of shopping in China is that when the
   704 for example, ``80\% off'', it is actually 20\% off, meaning
   706 sale says ``80\% off'', for example, it is actually 20\% off,
   705 you pay only 80\% of the original price.
   707 meaning you pay only 80\% of the original price.
   706 
   708 
   707 \item\textbf{Restaurants}\hspace{3mm}The most famous area
   709 \item\textbf{Restaurants}\hspace{3mm}The most famous area
   708 for restaurants in Nanjing is near the Confucius Temple, which
   710 for restaurants in Nanjing is near the Confucius Temple, which
   709 is near the Fuzimiao Metro Station on Line~3. There you
   711 is near the Fuzimiao Metro Station on Line~3. There you
   710 can find traditional-style houses and enjoy indigenous foods. 
   712 can find traditional-style houses and enjoy indigenous foods. 
   755 Tower is the 11th tallest building in the World (to
   757 Tower is the 11th tallest building in the World (to
   756 compare, the Shard in London is ranked 92nd and the Sears
   758 compare, the Shard in London is ranked 92nd and the Sears
   757 Tower in Chicago is 12th). A ticket for the observation 
   759 Tower in Chicago is 12th). A ticket for the observation 
   758 platform costs 66 RMB.\bigskip
   760 platform costs 66 RMB.\bigskip
   759 
   761 
   760 \noindent Nanjing Museum
   762 \noindent Nanjing Museum ??
   761 
   763 
   762 \end{itemize}
   764 \end{itemize}
   763 
   765 
   764 \section{Schedule of the Excursion\label{excursion}}
   766 \section{Schedule of the Excursion\label{excursion}}
   765 
   767 
   792     from the South Gate to get there.
   794     from the South Gate to get there.
   793 \item We expect that the shuttle bus brings us back starting 
   795 \item We expect that the shuttle bus brings us back starting 
   794   around 21:30 and we should be back in the hotel by 23:00.
   796   around 21:30 and we should be back in the hotel by 23:00.
   795 \end{itemize}
   797 \end{itemize}
   796 
   798 
       
   799 \section{Restaurants}
       
   800 
       
   801 China is of course famous for its food and restaurants. Below 
       
   802 we give an extremely selected list of a few restaurants in 
       
   803 case you feel lost.
       
   804 
       
   805 \begin{itemize}
       
   806 \item\textbf{Quanjude / Beijing Duck}\hspace{3mm}Of course not
       
   807 native in Nanjing, but good anyway: If you want to try Bejing
       
   808 Duck, you should go to the Quanjude restaurant near the 
       
   809 Xinjiekou Metro Station.
       
   810 \end{itemize}
   797 
   811 
   798 \mbox{}\\[40mm]
   812 \mbox{}\\[40mm]
   799 \noindent The organising team wishes you a pleasant stay in 
   813 \noindent The organising team wishes you a pleasant stay in 
   800 Nanjing! If you need any help, please contact us.
   814 Nanjing! If you need any help, please contact us.
   801 
   815