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}
|
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>
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 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
37 |
\noindent The early conference fee is RMB 3500, which is
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
38 |
approximately \pounds{}370, \$565, or \euro{}530. It must be
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
39 |
transferred via bank transfer; we cannot accept any other form
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
40 |
of payment. The conference fee includes lunches and dinners
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
41 |
during the conference. It also covers the excursion,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
49 |
Additional banquet dinner and excursion: & RMB 530\\
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
52 |
Isabelle tutorial (21 -- 23 August): & RMB 800\\
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
57 |
\noindent
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
58 |
The amount payable needs to be transferred to the account:
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
59 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
60 |
\begin{center}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
61 |
\begin{tabular}{ll}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
63 |
& Sub-branch, Nanjing, China\medskip\\
Account holder's address:&
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
64 |
Prof.~Xingyuan Zhang\\
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
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>
diff
changeset
|
67 |
transferral contains your full name as reference.} Otherwise
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
69 |
make sure that your transferral covers all bank fees.\bigskip
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
71 |
(\cwemail).\medskip
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
72 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
73 |
\noindent
|
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
74 |
While it is possible to book the hotel via official
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
75 |
online travel
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
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>
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>
diff
changeset
|
79 |
the hotel when you arrive using Visa or MasterCard.
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
80 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
81 |
\section{Visa}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
82 |
|
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
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>
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>
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>
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>
diff
changeset
|
88 |
will need an invitation letter, which Xingyuan will send you
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
89 |
(\xyzemail). You need to provide him with your name, title,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
|
91 |
He will e-mail you the invitation letter.
|
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
92 |
\chapter{Post-Arrival}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
93 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
94 |
TBD
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
95 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
96 |
%weather,
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
97 |
|
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
98 |
\end{document}
|