\documentclass[11pt]{report}+
−
\usepackage{eurosym}+
−
\usepackage{fontspec}+
−
\usepackage[sc]{mathpazo}+
−
\setmainfont[Ligatures=TeX]{Palatino Linotype}+
−
+
−
\def\xyzemail{xingyuanzhang at 126 dot com}+
−
\def\cwemail{chunhanwu at 126 dot com} +
−
 +
−
   +
−
\begin{document}+
−
\title{\LARGE\bf ITP 2015 Conference Booklet}+
−
\author{Xingyuan Zhang, Chunhan Wu  and Christian Urban}+
−
\date{\today}+
−
\tableofcontents +
−
\maketitle+
−
+
−
\chapter{Pre-Arrival}+
−
+
−
\section{Registration and Conference Fee}+
−
+
−
In short+
−
+
−
\begin{itemize}+
−
\item[(1)] you need to make a bank transfer for the conference +
−
fee, and  +
−
\item[(2)] you need to email Xingyuan with your details\\ +
−
  (\xyzemail)+
−
\end{itemize}+
−
+
−
\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 need to contact +
−
Xingyuan directly before making any money transfer. +
−
\medskip+
−
 +
−
\noindent The early conference fee is RMB 3500, which is+
−
approximately \pounds{}370, \$565, or \euro{}530. It must be+
−
transferred via bank transfer; we cannot accept any other form+
−
of payment. The conference fee includes lunches and dinners+
−
during the conference. It also covers the excursion,+
−
the conference banquet and the welcome reception. +
−
+
−
\begin{center}+
−
\begin{tabular}{l@{\hspace{4mm}}l}+
−
Early conference fee until 31.~July: & RMB 3500\\+
−
Late conference fee from 1.~August:  & RMB 4000\bigskip\\+
−
+
−
Additional banquet dinner and excursion:         & RMB 530\\+
−
(one is included in the conference fee)\bigskip\\+
−
+
−
Isabelle tutorial (21 -- 23 August): & RMB 800\\+
−
Coq tutorial (27 -- 29 August):       & RMB 800\\+
−
\end{tabular}+
−
\end{center}+
−
+
−
\noindent+
−
The amount payable needs to be transferred to the account:+
−
+
−
\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:&  +
−
    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+
−
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}+
−
+
−
Please be aware that for travelling to China you will need a+
−
visa, which you have to apply {\bf beforehand}. It often takes+
−
one or two weeks before a visa is granted. Though if you +
−
are prepared to pay a higher application fee, then you can +
−
shorten the delay to a few days. For the visa you+
−
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 e-mail you the invitation letter.+
−
+
−
\chapter{Post-Arrival}+
−
+
−
TBD +
−
+
−
%weather, +
−
+
−
\end{document}  +
−