586 \draw (7,3.5) node[anchor=north west] |
586 \draw (7,3.5) node[anchor=north west] |
587 {\small\begin{tabular}{@{}l}Coq tutorial\\4th Floor\end{tabular}}; |
587 {\small\begin{tabular}{@{}l}Coq tutorial\\4th Floor\end{tabular}}; |
588 |
588 |
589 \draw[line width=1mm,fill=gray!20] (0,2.0) rectangle (4,1.3); |
589 \draw[line width=1mm,fill=gray!20] (0,2.0) rectangle (4,1.3); |
590 \draw[line width=1mm,fill=gray!20] (4,2.0) rectangle (8,1.3); |
590 \draw[line width=1mm,fill=gray!20] (4,2.0) rectangle (8,1.3); |
591 \draw (0,2.0) node[anchor=north west] {Reg.~Desk 1st Floor}; |
591 \draw (0,2.0) node[anchor=north west] {Reg.~Desk on 1st Floor}; |
592 \draw (4,2.0) node[anchor=north west] {Reg.~Desk 6th Floor}; |
592 \draw (4,2.0) node[anchor=north west] {Reg.~Desk on 6th Floor}; |
593 |
593 |
594 \draw ( 3,0.8) node[anchor=north west] |
594 \draw ( 3,0.8) node[anchor=north west] |
595 {\small\begin{tabular}{@{}l}Re-\\cep-\\tion\\18:00\end{tabular}}; |
595 {\small\begin{tabular}{@{}l}Re-\\cep-\\tion\\18:00\end{tabular}}; |
596 \draw ( 5,0.8) node[anchor=north west] |
596 \draw ( 5,0.8) node[anchor=north west] |
597 {\small\begin{tabular}{@{}l}Bu'ss\\Meet-\\ing\\17:15\end{tabular}}; |
597 {\small\begin{tabular}{@{}l}Bu'ss\\Meet-\\ing\\17:15\end{tabular}}; |
599 {\small\begin{tabular}{@{}l}Ex-\\cur-\\sion\\12:30\end{tabular}}; |
599 {\small\begin{tabular}{@{}l}Ex-\\cur-\\sion\\12:30\end{tabular}}; |
600 \end{tikzpicture} |
600 \end{tikzpicture} |
601 \end{center} |
601 \end{center} |
602 |
602 |
603 \noindent Our registration desk will be on the 1st Floor next |
603 \noindent Our registration desk will be on the 1st Floor next |
604 to the hotel's registration desk from Thursday (20th) to |
604 to the hotel's registration desk from Thursday to Sunday. From |
605 Sunday (23rd). From 24th, we will move the desk to the 6th |
605 24th, we will move the desk to the 6th floor where the |
606 floor where the conference hall is. The registration desk is |
606 conference hall is. The registration desk is open from 9:00 |
607 open from 9:00 until 17:00, except on Monday 24th when it will |
607 until 17:00, except on Monday 24th when it will be open from |
608 be open from 8:15. In case you arrive when our registration |
608 8:15. In case you arrive when our registration desk is closed, |
609 desk is closed, you can still check into the hotel simply by |
609 you can still check into the hotel simply by showing your |
610 showing your passport and refer to ITP 2015. The hotel has a |
610 passport and refer to ITP 2015. The hotel has a list of |
611 list of everyone who made a booking.\bigskip |
611 everyone who made a booking.\bigskip |
612 |
612 |
613 \noindent The Welcome Reception on Sunday 18:00 will be on the |
613 \noindent The Welcome Reception on Sunday 18:00 will be on the |
614 1st Floor. Breakfast and lunches are served on the 1st Floor |
614 1st Floor. Breakfast and lunches are served on the 1st Floor |
615 next to hotel registration desk. The breakfast buffet is open |
615 next to hotel registration desk. The breakfast buffet is open |
616 from 7:00 until 9:00. When you check into the hotel, you will |
616 from 7:00 until 9:00. When you check into the hotel, you will |