533 %% when does the welcome reception start? |
534 %% when does the welcome reception start? |
534 %% breakfast needs more coffee |
535 %% breakfast needs more coffee |
535 |
536 |
536 \chapter{Conference} |
537 \chapter{Conference} |
537 |
538 |
538 The Isabelle tutorial will take place from Friday (21st) to |
539 \section*{Overview} |
539 Sunday (23rd) in a conference room on the 4th floor of Hanyuan |
540 |
540 Hotel. There will be a reception desk of ITP from Thursday |
541 \begin{center} |
541 until Sunday on the 1st floor close to the hotel check in. |
542 \begin{tikzpicture}[scale=1.1] |
542 The welcome reception is on Sunday (23th) at ??? and close |
543 %\draw[step=1cm] (0,-0) grid (10,6); |
543 to the hotel reception. The ITP conference will take place on the 6th |
544 |
544 floor and starting from Monday the reception desk will be just |
545 \draw[line width=0.2mm] ( 0,-1.0) -- ( 0,6); |
545 outside the conference hall. On Wednesday (26th) afternoon |
546 \draw[line width=0.2mm] ( 1,-1.0) -- ( 1,6); |
546 we will leave for ITP-excursion to Yangzhou and the Slender |
547 \draw[line width=0.2mm] ( 2,-1.0) -- ( 2,6); |
547 West Lake (see Sect.~\ref{excursion}). The Coq tutorial will |
548 \draw[line width=0.2mm] ( 3,-1.0) -- ( 3,6); |
548 take place from Thursday (27th) until Saturday (29th) on the |
549 \draw[line width=0.2mm] ( 4,-1.0) -- ( 4,6); |
549 4th floor. The programme of the talks is at the end of this |
550 \draw[line width=0.2mm] ( 5,-1.0) -- ( 5,6); |
550 booklet. |
551 \draw[line width=0.2mm] ( 6,-1.0) -- ( 6,6); |
551 |
552 \draw[line width=0.2mm] ( 7,-1.0) -- ( 7,6); |
552 Breakfast and lunches are served on 1st floor next to hotel |
553 \draw[line width=0.2mm] ( 8,-1.0) -- ( 8,6); |
|
554 \draw[line width=0.2mm] ( 9,-1.0) -- ( 9,6); |
|
555 \draw[line width=0.2mm] (10,-1.0) -- (10,6); |
|
556 |
|
557 \draw ( 0,6.1) node[anchor=north west] |
|
558 {\small\begin{tabular}{@{}l}Thu\\ 20th\end{tabular}}; |
|
559 \draw ( 1,6.1) node[anchor=north west] |
|
560 {\small\begin{tabular}{@{}l}Fri\\ 21st\end{tabular}}; |
|
561 \draw ( 2,6.1) node[anchor=north west] |
|
562 {\small\begin{tabular}{@{}l}Sat\\ 22nd\end{tabular}}; |
|
563 \draw ( 3,6.1) node[anchor=north west] |
|
564 {\small\begin{tabular}{@{}l}Sun\\ 23rd\end{tabular}}; |
|
565 \draw ( 4,6.1) node[anchor=north west] |
|
566 {\small\begin{tabular}{@{}l}Mon\\ 24th\end{tabular}}; |
|
567 \draw ( 5,6.1) node[anchor=north west] |
|
568 {\small\begin{tabular}{@{}l}Tue\\ 25th\end{tabular}}; |
|
569 \draw ( 6,6.1) node[anchor=north west] |
|
570 {\small\begin{tabular}{@{}l}Wed\\ 26th\end{tabular}}; |
|
571 \draw ( 7,6.1) node[anchor=north west] |
|
572 {\small\begin{tabular}{@{}l}Thu\\ 27th\end{tabular}}; |
|
573 \draw ( 8,6.1) node[anchor=north west] |
|
574 {\small\begin{tabular}{@{}l}Fri\\ 28th\end{tabular}}; |
|
575 \draw ( 9,6.1) node[anchor=north west] |
|
576 {\small\begin{tabular}{@{}l}Sat\\ 29th\end{tabular}}; |
|
577 |
|
578 \draw[line width=1mm,fill=blue!20] (1,4.5) rectangle (4,3.5); |
|
579 \draw[line width=1mm,fill=red!20] (4,4.5) rectangle (8,3.5); |
|
580 \draw[line width=1mm,fill=green!20] (7,3.5) rectangle (10,2.5); |
|
581 \draw (1,4.5) node[anchor=north west] |
|
582 {\small\begin{tabular}{@{}l}Isabelle tutorial\\4th Floor\end{tabular}}; |
|
583 \draw (4.1,4.5) node[anchor=north west] |
|
584 {\small\begin{tabular}{@{}l}ITP\\6th Floor\end{tabular}}; |
|
585 \draw (7,3.5) node[anchor=north west] |
|
586 {\small\begin{tabular}{@{}l}Coq tutorial\\4th Floor\end{tabular}}; |
|
587 |
|
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); |
|
590 \draw (0,2.0) node[anchor=north west] {Info Desk 1st Floor}; |
|
591 \draw (4,2.0) node[anchor=north west] {Info Desk 6th Floor}; |
|
592 |
|
593 \draw ( 3,0.8) node[anchor=north west] |
|
594 {\small\begin{tabular}{@{}l}Re-\\cep-\\tion\\??:??\end{tabular}}; |
|
595 \draw ( 5,0.8) node[anchor=north west] |
|
596 {\small\begin{tabular}{@{}l}Buss.\\Meet-\\ing\\17:15\end{tabular}}; |
|
597 \draw ( 6,0.8) node[anchor=north west] |
|
598 {\small\begin{tabular}{@{}l}Ex-\\cur-\\sion\\12:30\end{tabular}}; |
|
599 \end{tikzpicture} |
|
600 \end{center} |
|
601 |
|
602 \noindent The Information Desk from Thursday (20th) to Sunday |
|
603 (23rd) will be on the 1st Floor next to the hotel registration |
|
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 |
|
606 also be on the 1st Floor. The programme of the talks is at the |
|
607 end of this booklet.\bigskip |
|
608 |
|
609 \noindent |
|
610 Breakfast and lunches are served on 1st Floor next to hotel |
553 registration desk. The breakfast buffet is open from 7:00 |
611 registration desk. The breakfast buffet is open from 7:00 |
554 until 9:00. When you check into the hotel, you will receive a |
612 until 9:00. When you check into the hotel, you will receive a |
555 green paper ticket for each day, which you have to show before |
613 green paper ticket for each day, which you have to show before |
556 going to breakfast. Hanyuan Hotel also includes a very good |
614 going to breakfast. Hanyuan Hotel also includes a very good |
557 restaurant on the 2nd floor, but unfortunately it is a bit |
615 restaurant on the 2nd floor, but unfortunately it is a bit |