booklet.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 28 May 2015 14:35:56 +0100
changeset 168 dd336cc2ae89
parent 166 9d92621db028
child 169 85fd9176f4be
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}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
\title{\bf ITP 2015 Conference Booklet}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
\author{Xingyuan Zhang and Christian Urban}
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
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    33
piao} to reclaim the conference fee, you have to send the
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    34
money to the PLA University directly (see details below).
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
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
Additional banquette dinner:         & RMB ??\bigskip\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
Isabelle tutorial (21 -- 23 August): & ??\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
Coq tutorial (27 - 29 August):       & ??\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    53
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    56
\noindent
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    57
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
    58
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    59
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    60
\begin{tabular}{ll}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    61
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\\ 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    62
                         &    Sub-branch, Nanjing, China\medskip\\

Account holder's address:& ?? \\
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    63
\end{center}

\noindent
{\bf Please make doubly-sure that your bank transferral contains your
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    64
full name as reference.} Otherwise we will have no idea where the 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    65
money came from. Please also make sure that your transferral 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    66
covers all bank fees.\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    67
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    68
\noindent
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    69
If you are Chinese and need a \emph{fa piao} in order to reclaim
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    70
the conference fee you need to make a payment directly to the PLA
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    71
University: 

\section{Hotel Booking}


In short, you need to send your details to Chunhan (\cwemail).
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    72
While it is possible to book the hotel via online travel
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    73
web-pages, the price is much higher. The best is to send
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    74
Chunhan your arrival and departure dates and he will do
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    75
the booking for you directly with the hotel. 
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    76
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    77
\section{Visa}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    78
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    79
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
    80
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
    81
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
    82
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
    83
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
    84
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
    85
(\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
    86
work address, e-mail and paper title (if you present a paper). 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    87
He will email you the invitation letter.

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