# HG changeset patch # User Christian Urban # Date 1439715189 -28800 # Node ID 42b793ea98971c9b89d79936342072f0590b9054 # Parent 0500c07aed6ec6b3ab66cff56936b414583e43aa updated booklet diff -r 0500c07aed6e -r 42b793ea9897 booklet.pdf Binary file booklet.pdf has changed diff -r 0500c07aed6e -r 42b793ea9897 booklet.tex --- a/booklet.tex Sun Aug 16 09:53:58 2015 +0800 +++ b/booklet.tex Sun Aug 16 16:53:09 2015 +0800 @@ -37,7 +37,7 @@ \begin{itemize} \item[(1)] you need to make a bank transfer for the conference fee in your local currency, and -\item[(2)] you need to email Xingyuan with your details\\ +\item[(2)] you need to email Xingyuan with your details (\xyzemail) \end{itemize} @@ -310,8 +310,9 @@ (see Fig.~\ref{metronanjing}). Both stations then need a 15 minutes walk to the hotel. This is another disadvantage of this option if you have - a heavy suitcase. -\end{itemize} + a heavy suitcase. See the map shown in Fig.~\ref{hotelmap} + for directions. + \end{itemize} \begin{figure}[p] \begin{center} @@ -362,10 +363,10 @@ Qiao railway station and then from there to (2) Nanjing Nan railway station. From Nanjing Nan it is best to take a taxi, but you can also take the metro as explained in the previous -section. Overall this will take approximately 3h of travelling +section. Overall this will take approximately 4h of travelling to the hotel. -\subsection*{From Shanghai Pudong Airport to Hong Qiao Train Station} +\subsection*{From Shanghai Pudong Airport to Hong Qiao Railway Station} For the first leg to Hong Qiao train station there are essentially two travel options: one recommended by locals @@ -502,46 +503,155 @@ paid in cash. Show the driver the map in Fig~\ref{hanyuan}. %weather, electrical connectors +%% when does the welcome reception start? +%% breakfast needs more coffee -\chapter{At the Conference} +\chapter{Conference} 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 reception buffet on Sunday (23th) also on the +There will be a welcome reception on Sunday (23th) also on the first floor. The ITP conference will take place on the 6th -floor and 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 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. +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 +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 -going to breakfast. +going to breakfast. Hanyuan Hotel also includes a very good +restaurant, but unfortunately it is a bit on the pricier side. \begin{itemize} \item\textbf{Near the Hotel}\hspace{3mm}The Hanyuan hotel is -located on the intersection of a big road (NingHang Road 宁杭公路) +located at 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. +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 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. \begin{center} \includegraphics[scale=0.45]{travel_guide/map1a.jpg} +\hspace{5mm} +\includegraphics[scale=0.43]{travel_guide/linggusu.jpg} \end{center} -\end{itemize} + +\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 +side. However it is not the most scenic route. More scenic is +the walk to Xiamafang Metro Station through the campus of the +Nanjing Agriculture University. Unfortunately the way is not +so straightforward. If you are unfamiliar with the way, we +suggest you walk to 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 +(indicated with a red star) +is near the Xiamafang metro station.\label{hotelmap}} \end{figure} +\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 + +\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 +Western bakery (just in case you get bored of the baozi +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 +supermarket is at the end of Tongwei Road and a bigger one +in the Xiamafang area. +\end{itemize} + +\section{Further Afield} + +If you take the metro, you are very quickly in the downtown +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). +Especially in multi-brand shopping malls the shopping goes +like this: You find something you like. You agree the prize +with the shop-assistant. You get a piece of paper, which you +need to take to a cashier nearby. You pay there, get another +piece of paper, which you take back to the store, where you +receive your goods. Another quirk of shopping in China is that +when the sale says, for example, ``80\% off'', it is actually +20\% off, meaning you pay 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 +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 +section of the remaining city visible very close to the hotel: +Walk the NingHuan 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 +can reach the lake by taking exit Xuanwumen at Line~3. +Xingyuan suggest 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 Station on Line~1. + +\end{itemize} + \section{Schedule of the Excursion\label{excursion}} On Wednesday afternoon there will be the traditional ITP @@ -570,9 +680,6 @@ \end{itemize} -\section{While being in Nanjing, Local Attractions} - -%% what is the downtown metro station? \newlength{\cw} \setlength{\cw}{100mm} @@ -583,9 +690,9 @@ \rotatebox{90}{ \small \begin{tabular}[t]{@{}*{2}{c @{\hspace{4mm}}} @{}} - \mbox{}\\[-20mm] + \mbox{}\\[-15mm] \begin{tabular}[t]{@{}|@{\hspace{0.5mm}}L{\cw}@{\hspace{0.5mm}}|} - \multicolumn{1}{c}{\textbf{Monday}}\\ + \multicolumn{1}{c}{\textbf{Monday (6th Floor)\smallskip}}\\ \hline 9:00 -- 10:00\smallskip\\ Short Intro Session\smallskip\\ @@ -631,7 +738,7 @@ \hline \end{tabular} & \begin{tabular}[t]{|@{\hspace{0.5mm}}p{\cw}@{\hspace{0.5mm}}|} - \multicolumn{1}{c}{\textbf{Tuesday}}\\ + \multicolumn{1}{c}{\textbf{Tuesday (6th Floor)\smallskip}}\\ \hline 9:00 -- 10:00 (chair: M.~Norrish)\smallskip\\ A.~Charguéraud, F.~Pottier\\ @@ -691,7 +798,7 @@ \begin{tabular}[t]{@{} *{2}{c @{\hspace{4mm}}} @{}} \mbox{}\\[-20mm] \begin{tabular}[t]{|@{\hspace{0.5mm}}L{90mm}@{\hspace{0.5mm}}|} - \multicolumn{1}{c}{\textbf{Wednesday}}\\ + \multicolumn{1}{c}{\textbf{Wednesday (6th Floor)\smallskip}}\\ \hline 9:00 -- 10:00\smallskip\\ R.~Spadotti\\ @@ -717,7 +824,7 @@ \hline \end{tabular} & \begin{tabular}[t]{|@{\hspace{0.5mm}}L{130mm}@{\hspace{0.5mm}}|@{}} - \multicolumn{1}{c}{\textbf{Thursday}}\\ + \multicolumn{1}{c}{\textbf{Thursday (6th Floor)\smallskip}}\\ \hline 9:00 -- 10:00 (chair: G.~Smolka)\smallskip\\ B.~Fallenstein, R.~Kumar\\ diff -r 0500c07aed6e -r 42b793ea9897 travel_guide/map1.png Binary file travel_guide/map1.png has changed diff -r 0500c07aed6e -r 42b793ea9897 travel_guide/map2.jpg Binary file travel_guide/map2.jpg has changed diff -r 0500c07aed6e -r 42b793ea9897 travel_guide/map3.jpg Binary file travel_guide/map3.jpg has changed diff -r 0500c07aed6e -r 42b793ea9897 travel_guide/map4.jpg Binary file travel_guide/map4.jpg has changed diff -r 0500c07aed6e -r 42b793ea9897 travel_guide/rest.jpg Binary file travel_guide/rest.jpg has changed