
diff -r 024686c71dda -r 42f24df619f8 booklet.tex
--- a/booklet.tex	Sat Aug 15 13:09:44 2015 +0800
+++ b/booklet.tex	Sun Aug 16 06:23:37 2015 +0800
@@ -195,15 +195,16 @@
 \url{www.aol.com} or \url{www.bing.com} instead as your preferred
 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. 
+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 
 more young Chinese are exposed to English, you cannot 
 rely on anyone of the general public speaking more than a few
 words. Rather, you have to always calculate with the very, 
 very likely scenario that nobody speaks any English at all
-and all
-signs round you are written in characters that do not give you the 
+and all signs around you are written in characters that do 
+not give you the 
 slightest idea what they are about. This means you always
 have to prepare your travelling beforehand and ask us for help
 if you are unsure! 
@@ -253,7 +254,7 @@
 
 \begin{figure}[p]
 \begin{tabular}{l}
-Address of Hanyuan Hotel:\medskip\\
+For the driver:\medskip\\
 
 司机师傅，请将我送往``{\bf 童卫路20号翰苑宾馆}''，其位置如地图中红色A点所示。\\
 酒店电话：02584393962。谢谢！
@@ -296,7 +297,7 @@
       around 36 RMB for the taxi.
 
       \begin{center}
-      \includegraphics[scale=0.4]{travel_guide/ggg.jpg}
+      \includegraphics[scale=0.3]{travel_guide/ggg.jpg}
       \end{center}
 
 \item If you already prepared to pay 7 RMB for the metro, why
@@ -323,7 +324,7 @@
 
 \subsubsection*{Getting a Ticket for the Metro in Nanjing}
 
-Like in all Chinese metro stations, entering the metro station at the
+Like most Chinese metro stations, entering the metro station at the
 airport means you have to go through a brief security check
 where your luggage will be X-rayed. After the check you will
 see ticket machines
@@ -342,7 +343,7 @@
 RMB bank notes, or 1 RMB coins. If you do not have them yet,
 you will need to get your ticket from the counter.
 After paying, the machine will issue a blue plastic chip which
-is your ticket. This coin needs to be swiped when going
+is your ticket. This chip needs to be swiped when going
 through the gates of the metro (shown on the right below). 
 At the end of your journey you will have to return the blue 
 chip at the exit gate.
@@ -380,7 +381,7 @@
 and 23:00. The bus stop where you have to wait is 
 
 \begin{center}
-\includegraphics{travel_guide/image005.jpg}
+\includegraphics[scale=0.9]{travel_guide/image005.jpg}
 \end{center}
 
 The waiting time is around 15 minutes during peak hours, or 30
@@ -437,10 +438,10 @@
 High-Speed Train}
 
 The airport bus will stop directly in front of the southern
-part of the Hong Qiao train station. As background, train
+part of the Hong Qiao Railway Station. As background, train
 stations above the village level in China are organised more
 like an airport, than the more sleepy train station you might be
-familiar with. Therefore you first have to go through a
+familiar with. Therefore, you first have to go through a
 security gate where luggage is checked and you padded by a
 security guard. The security guard might be of either sex and
 this is seen as normal by Chinese. 
@@ -504,20 +505,44 @@
 
 \chapter{At the Conference}
 
-The reception on Sunday (24th), breakfast and lunches are on the
-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. From Thursday (20th)
-until Sunday (24th) we will have an ITP-registration desk on 
-the first floor.
+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
+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.
 
-The conference room is on the 6th floor of the Hanyuan hotel.
-The tutorials take place in a conference room on the 4th 
-floor. If you want to speak to the organisers, there will be
-a desk in front of the conference room on the 6th floor.
+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. 
 
-\section{Schedule of the Excursion}
+\begin{itemize}
+\item\textbf{Near the hotel}\hspace{3mm}The Hanyuan hotel is 
+located on 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.
+
+\begin{center}
+\includegraphics[scale=0.45]{travel_guide/map1a.jpg}
+\end{center}
+\end{itemize}
+
+\begin{figure}[p]
+\includegraphics[scale=0.45]{travel_guide/map2.jpg}
+\end{figure}
+
+\section{Schedule of the Excursion\label{excursion}}
 
 On Wednesday afternoon there will be the traditional ITP
 excursion, this time to a Chinese garden in Yangzhou and to the




