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,
180
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 93
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>
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}