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 |
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. |
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 |