booklet.tex
author chunhan
Thu, 13 Aug 2015 08:56:55 +0800
changeset 247 b76bbe746c5e
parent 198 63c7c2c9e14a
child 252 955b54dc16cc
permissions -rw-r--r--
update
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}
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    15
%%\tableofcontents 
165
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 
198
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    26
fee in your local currency, and  
166
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
 
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    37
\noindent The early conference fee is RMB 3300, which is
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    38
approximately \pounds{}350, \$533, or \euro{}488. It must be
198
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    39
transferred via bank transfer and must be made in your local 
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    40
currency; we cannot accept any other form of payment. The 
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    41
tutorials can be registered independently from the conference. 
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    42
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    43
The conference fee includes lunches during the conference. It
172
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 170
diff changeset
    44
also covers the excursion, the conference banquet and a
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    45
welcome reception. 
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
\begin{tabular}{l@{\hspace{4mm}}l}
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    49
Early conference fee until 31.~July: & RMB 3300\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    50
Late conference fee from 1.~August:  & RMB 3800\bigskip\\
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    52
Additional banquet dinner and excursion: & RMB 530\\
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    53
(one is included in the conference fee)\bigskip\\
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    55
Isabelle tutorial (21 -- 23 August): & RMB 250\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    56
Coq tutorial (27 -- 29 August):       & RMB 200\\
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
\end{tabular}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
\end{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
191
51c1e01c586b updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 190
diff changeset
    60
\noindent The amount payable needs to be
190
46525a2c7ced updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 180
diff changeset
    61
transferred to the account:
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    62
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    63
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    64
\begin{tabular}{ll}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    65
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\\ 
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    66
                         &    Sub-branch, Nanjing, China\medskip\\

Account holder's address:& \\
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
diff changeset
    67
  & 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
    68
\end{center}

\noindent {\bf Please make doubly-sure that your bank
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    69
transferral contains your full name as reference (additional
198
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    70
information field), and is in your local currency 
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    71
(e.g.~\euro, \$, \pounds)!} Otherwise we will have no idea 
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    72
where the money came from, and will not be able to receive
63c7c2c9e14a updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 191
diff changeset
    73
the money on our end. Please also make sure that your transferral
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    74
covers all bank fees.\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    75

\section{Hotel Booking}


In short, you need to send your arrival and departure 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    76
details to Chunhan 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    77
(\cwemail).\bigskip
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    78
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    79
\noindent While it is possible to book the hotel via official
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    80
online travel web-pages, the price there is higher. The
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    81
easiest is to send Chunhan your name, arrival and departure
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    82
dates and he will send you back a booking ticket from Hanyuan
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    83
hotel, which you might need for your visa application. 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    84
You can pay the hotel when you arrive using Visa or
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    85
MasterCard.
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    86
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    87
\section{Visa}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    88
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    89
Please be aware that for travelling to China you will need a
178
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 175
diff changeset
    90
visa, for which you have to apply {\bf beforehand}. It often takes
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    91
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
    92
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
    93
shorten the delay to a few days. For the visa you
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    94
will need an invitation letter, which Chunhan will send you
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    95
(\cwemail). You need to provide him with your name, title, 
180
dda7cb026a2e updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 179
diff changeset
    96
DOB, work address, e-mail and paper title (if you present a paper). 
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    97
He will e-mail you the invitation letter. You might also need
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    98
your hotel booking (see above) and flight details for the visa
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    99
application.

166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   100
\chapter{Post-Arrival}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   101
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   102
TBD 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   103
179
1d2f20938399 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 178
diff changeset
   104
%weather, electrical connectors
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   105
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   106
\end{document}