# HG changeset patch # User Christian Urban # Date 1439780605 -28800 # Node ID d1ce0705a7755e0e361698b9a3eddb83ea7141cd # Parent b3176148b8359cbb2436b4b80d73a47547d1b41d updated booklet diff -r b3176148b835 -r d1ce0705a775 booklet.pdf Binary file booklet.pdf has changed 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