diff -r dd336cc2ae89 -r 85fd9176f4be booklet.tex --- a/booklet.tex Thu May 28 14:35:56 2015 +0100 +++ b/booklet.tex Thu May 28 15:48:40 2015 +0100 @@ -9,8 +9,8 @@ \begin{document} -\title{\bf ITP 2015 Conference Booklet} -\author{Xingyuan Zhang and Christian Urban} +\title{\LARGE\bf ITP 2015 Conference Booklet} +\author{Xingyuan Zhang, Chunhan Wu and Christian Urban} \date{\today} \tableofcontents \maketitle @@ -30,8 +30,8 @@ \noindent Xingyuan will then confirm that the payment has been received. Note that if you are Chinese and need a \emph{fa -piao} to reclaim the conference fee, you have to send the -money to the PLA University directly (see details below). +piao} to reclaim the conference fee, you need to contact +Xingyuan directly before making any money transfer. \medskip \noindent The early conference fee is RMB 3500, which is @@ -46,10 +46,11 @@ Early conference fee until 31.~July: & RMB 3500\\ Late conference fee from 1.~August: & RMB 4000\bigskip\\ -Additional banquette dinner: & RMB ??\bigskip\\ +Additional banquet dinner and excursion: & RMB 530\\ +(one is included in the conference fee)\bigskip\\ -Isabelle tutorial (21 -- 23 August): & ??\\ -Coq tutorial (27 - 29 August): & ??\\ +Isabelle tutorial (21 -- 23 August): & RMB 800\\ +Coq tutorial (27 -- 29 August): & RMB 800\\ \end{tabular} \end{center} @@ -59,20 +60,23 @@ \begin{center} \begin{tabular}{ll} Account holder's name:& Zhang Xingyuan\medskip\\ Beneficiary bank:& BANK OF CHINA\medskip\\ Swift Code:& BKCHCNBJ940\medskip\\ Account number:& 504066588897\medskip\\ Beneficiary bank address:& Nanjing Mei Hua Shan Zhuang\\ - & Sub-branch, Nanjing, China\medskip\\ Account holder's address:& ?? \\ \end{tabular} -\end{center} \noindent {\bf Please make doubly-sure that your bank transferral contains your -full name as reference.} Otherwise we will have no idea where the -money came from. Please also make sure that your transferral -covers all bank fees.\bigskip + & Sub-branch, Nanjing, China\medskip\\ Account holder's address:& + Prof.~Xingyuan Zhang\\ + & Suite 2106, Building 20,\\ & 20 Biao Ying,\\ & Qinhuai District,\\ & Nanjing, Jiangsu Province,\\ & People's Republic of China.\\ \end{tabular} +\end{center} \noindent {\bf Please make doubly-sure that your bank +transferral contains your full name as reference.} Otherwise +we will have no idea where the money came from. Please also +make sure that your transferral covers all bank fees.\bigskip + \section{Hotel Booking} In short, you need to send your details to Chunhan +(\cwemail).\medskip \noindent -If you are Chinese and need a \emph{fa piao} in order to reclaim -the conference fee you need to make a payment directly to the PLA -University: \section{Hotel Booking} In short, you need to send your details to Chunhan (\cwemail). -While it is possible to book the hotel via online travel -web-pages, the price is much higher. The best is to send -Chunhan your arrival and departure dates and he will do -the booking for you directly with the hotel. +While it is possible to book the hotel via official +online travel +web-pages, the price there is much higher. The best is to send +Chunhan your name, arrival and departure dates and he will do +the booking for you directly with the hotel. You can pay +the hotel when you arrive using Visa or MasterCard. \section{Visa} @@ -84,7 +88,7 @@ will need an invitation letter, which Xingyuan will send you (\xyzemail). You need to provide him with your name, title, work address, e-mail and paper title (if you present a paper). -He will email you the invitation letter. +He will e-mail you the invitation letter. \chapter{Post-Arrival} TBD