<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
diff -r b3176148b835 -r d1ce0705a775 booklet.tex
--- a/booklet.tex	Mon Aug 17 10:00:26 2015 +0800
+++ b/booklet.tex	Mon Aug 17 11:03:25 2015 +0800
@@ -10,6 +10,7 @@
 \floatpagestyle{empty}
 \definecolor{linkcolor}{rgb}{0,0,0.5}
 \usepackage[colorlinks=true,linkcolor=linkcolor,citecolor=linkcolor,filecolor=linkcolor,pagecolor=linkcolor,urlcolor=linkcolor]{hyperref}
+\usepackage{tikz}
 
 \usepackage{xeCJK}
 %\setCJKmainfont[BoldFont=STZhongsong, ItalicFont=STKaiti]{STSong}
@@ -512,21 +513,78 @@
 
 \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.
-The welcome reception is on Sunday (23th) at ??? and close
-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
-4th floor. The programme of the talks is at the end of this
-booklet.
+\section*{Overview}
 
-Breakfast and lunches are served on 1st floor next to hotel
+\begin{center}
+  \begin{tikzpicture}[scale=1.1]
+  %\draw[step=1cm] (0,-0) grid (10,6);
+  
+  \draw[line width=0.2mm] ( 0,-1.0) -- ( 0,6);
+  \draw[line width=0.2mm] ( 1,-1.0) -- ( 1,6);
+  \draw[line width=0.2mm] ( 2,-1.0) -- ( 2,6);
+  \draw[line width=0.2mm] ( 3,-1.0) -- ( 3,6);
+  \draw[line width=0.2mm] ( 4,-1.0) -- ( 4,6);
+  \draw[line width=0.2mm] ( 5,-1.0) -- ( 5,6);
+  \draw[line width=0.2mm] ( 6,-1.0) -- ( 6,6);
+  \draw[line width=0.2mm] ( 7,-1.0) -- ( 7,6);
+  \draw[line width=0.2mm] ( 8,-1.0) -- ( 8,6);
+  \draw[line width=0.2mm] ( 9,-1.0) -- ( 9,6);
+  \draw[line width=0.2mm] (10,-1.0) -- (10,6);
+  
+  \draw ( 0,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Thu\\ 20th\end{tabular}};
+  \draw ( 1,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Fri\\ 21st\end{tabular}};
+  \draw ( 2,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Sat\\ 22nd\end{tabular}};
+  \draw ( 3,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Sun\\ 23rd\end{tabular}};
+  \draw ( 4,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Mon\\ 24th\end{tabular}};
+  \draw ( 5,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Tue\\ 25th\end{tabular}};
+  \draw ( 6,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Wed\\ 26th\end{tabular}};
+  \draw ( 7,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Thu\\ 27th\end{tabular}};
+  \draw ( 8,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Fri\\ 28th\end{tabular}};
+  \draw ( 9,6.1) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Sat\\ 29th\end{tabular}};
+
+  \draw[line width=1mm,fill=blue!20] (1,4.5) rectangle (4,3.5);
+  \draw[line width=1mm,fill=red!20] (4,4.5) rectangle (8,3.5);
+  \draw[line width=1mm,fill=green!20] (7,3.5) rectangle (10,2.5);
+  \draw (1,4.5) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Isabelle tutorial\\4th Floor\end{tabular}};
+  \draw (4.1,4.5) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}ITP\\6th Floor\end{tabular}};
+  \draw (7,3.5) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Coq tutorial\\4th Floor\end{tabular}};
+
+  \draw[line width=1mm,fill=gray!20] (0,2.0) rectangle (4,1.3);
+  \draw[line width=1mm,fill=gray!20] (4,2.0) rectangle (8,1.3);
+  \draw (0,2.0) node[anchor=north west] {Info Desk 1st Floor};
+  \draw (4,2.0) node[anchor=north west] {Info Desk 6th Floor};
+  
+  \draw ( 3,0.8) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Re-\\cep-\\tion\\??:??\end{tabular}};
+  \draw ( 5,0.8) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Buss.\\Meet-\\ing\\17:15\end{tabular}};
+  \draw ( 6,0.8) node[anchor=north west] 
+  {\small\begin{tabular}{@{}l}Ex-\\cur-\\sion\\12:30\end{tabular}};
+  \end{tikzpicture}
+\end{center}
+
+\noindent The Information Desk from Thursday (20th) to Sunday
+(23rd) will be on the 1st Floor next to the hotel registration
+desk. From 24th, we will move the desk to the 6th floor where
+the conference hall is. The Welcome Reception on Sunday will
+also be on the 1st Floor. The programme of the talks is at the
+end of this booklet.\bigskip
+
+\noindent
+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
@@ -658,7 +716,7 @@
 \begin{center}
 \includegraphics[scale=0.3]{travel_guide/map4.jpg}
 \hspace{5mm}
-\includegraphics[scale=1.0]{travel_guide/xianwulake.jpg}
+\includegraphics[scale=1.2]{travel_guide/xianwulake.jpg}
 \end{center}
 
 \noindent The ultimate bird's-eye view of Nanjing you can have




</pre></body></html>