booklet.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 28 May 2015 15:48:40 +0100
changeset 169 85fd9176f4be
parent 168 dd336cc2ae89
child 170 35d8162d935b
permissions -rw-r--r--
(none)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
\documentclass[11pt]{report}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
\usepackage{eurosym}
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
     3
\usepackage{fontspec}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
     4
\usepackage[sc]{mathpazo}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
     5
\setmainfont[Ligatures=TeX]{Palatino Linotype}
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
     6
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
     7
\def\xyzemail{xingyuanzhang at 126 dot com}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
     8
\def\cwemail{chunhanwu at 126 dot com} 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
     9
 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    10
   
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
\begin{document}
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    12
\title{\LARGE\bf ITP 2015 Conference Booklet}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    13
\author{Xingyuan Zhang, Chunhan Wu  and Christian Urban}
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
\date{\today}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
\tableofcontents 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
\maketitle
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
\chapter{Pre-Arrival}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
\section{Registration and Conference Fee}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    21
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    22
In short
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    23
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    24
\begin{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    25
\item[(1)] you need to make a bank transfer for the conference 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    26
fee, and  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    27
\item[(2)] you need to email Xingyuan with your details\\ 
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    28
  (\xyzemail)
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    29
\end{itemize}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    30
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    31
\noindent Xingyuan will then confirm that the payment has been
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    32
received. Note that if you are Chinese and need a \emph{fa
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    33
piao} to reclaim the conference fee, you need to contact 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    34
Xingyuan directly before making any money transfer. 
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    35
\medskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    36
 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    37
\noindent The early conference fee is RMB 3500, which is
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    38
approximately \pounds{}370, \$565, or \euro{}530. It must be
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    39
transferred via bank transfer; we cannot accept any other form
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    40
of payment. The conference fee includes lunches and dinners
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    41
during the conference. It also covers the excursion,
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    42
the conference banquet and the welcome reception. 
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
\begin{tabular}{l@{\hspace{4mm}}l}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
Early conference fee until 31.~July: & RMB 3500\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
Late conference fee from 1.~August:  & RMB 4000\bigskip\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    49
Additional banquet dinner and excursion:         & RMB 530\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    50
(one is included in the conference fee)\bigskip\\
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    52
Isabelle tutorial (21 -- 23 August): & RMB 800\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    53
Coq tutorial (27 -- 29 August):       & RMB 800\\
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    57
\noindent
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    58
The amount payable needs to be transferred to the account:
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    59
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    60
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    61
\begin{tabular}{ll}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    62
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\\ 
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    63
                         &    Sub-branch, Nanjing, China\medskip\\

Account holder's address:&  
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    64
    Prof.~Xingyuan Zhang\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    65
  & Suite 2106, Building 20,\\
  & 20 Biao Ying,\\ 
  & Qinhuai District,\\ 
  & Nanjing, Jiangsu Province,\\
  & People's Republic of China.\\
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    66
\end{center}

\noindent {\bf Please make doubly-sure that your bank
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    67
transferral contains your full name as reference.} Otherwise
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    68
we will have no idea where the money came from. Please also
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    69
make sure that your transferral covers all bank fees.\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    70

\section{Hotel Booking}


In short, you need to send your details to Chunhan 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    71
(\cwemail).\medskip
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    72
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    73
\noindent
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    74
While it is possible to book the hotel via official 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    75
online travel
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    76
web-pages, the price there is much higher. The best is to send
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    77
Chunhan your name, arrival and departure dates and he will do
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    78
the booking for you directly with the hotel. You can pay
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    79
the hotel when you arrive using Visa or MasterCard.
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    80
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    81
\section{Visa}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    82
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    83
Please be aware that for travelling to China you will need a
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    84
visa, which you have to apply {\bf beforehand}. It often takes
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    85
one or two weeks before a visa is granted. Though if you 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    86
are prepared to pay a higher application fee, then you can 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    87
shorten the delay to a few days. For the visa you
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    88
will need an invitation letter, which Xingyuan will send you
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    89
(\xyzemail). You need to provide him with your name, title, 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    90
work address, e-mail and paper title (if you present a paper). 
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    91
He will e-mail you the invitation letter.

166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    92
\chapter{Post-Arrival}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    93
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    94
TBD 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    95
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    96
%weather, 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    97
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    98
\end{document}