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>
diff
changeset
|
3 |
\usepackage{fontspec}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
\usepackage[sc]{mathpazo}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
\setmainfont[Ligatures=TeX]{Palatino Linotype}
|
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
\def\xyzemail{xingyuanzhang at 126 dot com}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
\def\cwemail{chunhanwu at 126 dot com}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
9 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
12 |
\title{\LARGE\bf ITP 2015 Conference Booklet}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
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>
diff
changeset
|
22 |
In short
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
23 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
24 |
\begin{itemize}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
26 |
fee, and
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
28 |
(\xyzemail)
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
29 |
\end{itemize}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
30 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
31 |
\noindent Xingyuan will then confirm that the payment has been
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
33 |
piao} to reclaim the conference fee, you need to contact
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
34 |
Xingyuan directly before making any money transfer.
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
35 |
\medskip
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
36 |
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
37 |
\noindent The early conference fee is RMB 3300, which is
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
38 |
approximately \pounds{}350, \$533, or \euro{}488. It must be
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
39 |
transferred via bank transfer and must arrive in RMB on our
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
40 |
end; we cannot accept any other form of payment.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
41 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
42 |
The conference fee includes lunches during the conference. It
|
172
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
43 |
also covers the excursion, the conference banquet and a
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
44 |
welcome reception.
|
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
45 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
46 |
\begin{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
47 |
\begin{tabular}{l@{\hspace{4mm}}l}
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
48 |
Early conference fee until 31.~July: & RMB 3300\\
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
49 |
Late conference fee from 1.~August: & RMB 3800\bigskip\\
|
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
50 |
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
51 |
Additional banquet dinner and excursion: & RMB 530\\
|
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
52 |
(one is included in the conference fee)\bigskip\\
|
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
53 |
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
54 |
Isabelle tutorial (21 -- 23 August): & RMB 250\\
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
55 |
Coq tutorial (27 -- 29 August): & RMB 200\\
|
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
56 |
\end{tabular}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
57 |
\end{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
58 |
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
59 |
\noindent
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
60 |
The amount payable needs to be transferred to the account:
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
61 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
62 |
\begin{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
63 |
\begin{tabular}{ll}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
64 |
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>
diff
changeset
|
65 |
& Sub-branch, Nanjing, China\medskip\\
Account holder's address:& \\
|
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
66 |
& 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>
diff
changeset
|
67 |
\end{center}
\noindent {\bf Please make doubly-sure that your bank
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
68 |
transferral contains your full name as reference (additional
|
175
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
69 |
information field)!} Otherwise we will have no idea where the
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
70 |
money came from. Please also make sure that your transferral
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
71 |
covers all bank fees.\bigskip
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
72 |
\section{Hotel Booking}
In short, you need to send your arrival and departure
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
73 |
details to Chunhan
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
74 |
(\cwemail).\bigskip
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
75 |
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
76 |
\noindent While it is possible to book the hotel via official
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
77 |
online travel web-pages, the price there is higher. The
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
78 |
easiest is to send Chunhan your name, arrival and departure
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
79 |
dates and he will send you back a booking ticket from Hanyuan
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
80 |
hotel, which you might need for your visa application.
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
81 |
You can pay the hotel when you arrive using Visa or
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
82 |
MasterCard.
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
83 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
84 |
\section{Visa}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
85 |
|
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
86 |
Please be aware that for travelling to China you will need a
|
178
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
87 |
visa, for which you have to apply {\bf beforehand}. It often takes
|
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
88 |
one or two weeks before a visa is granted. Though if you
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
89 |
are prepared to pay a higher application fee, then you can
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
90 |
shorten the delay to a few days. For the visa you
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
91 |
will need an invitation letter, which Chunhan will send you
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
92 |
(\cwemail). You need to provide him with your name, title,
|
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
93 |
work address, e-mail and paper title (if you present a paper).
|
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
94 |
He will e-mail you the invitation letter. You might also need
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
95 |
your hotel booking (see above) and flight details for the visa
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
96 |
application.
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
97 |
\chapter{Post-Arrival}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
98 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
99 |
TBD
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
100 |
|
179
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
101 |
%weather, electrical connectors
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
102 |
|
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
103 |
\end{document}
|