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
198
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 26
fee in your local currency, and
166
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
198
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 39
transferred via bank transfer and must be made in your local
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 40
currency; we cannot accept any other form of payment. The
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 41
tutorials can be registered independently from the conference.
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 42
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 43
The conference fee includes lunches during the conference. It
172
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 44
also covers the excursion, the conference banquet and a
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 49
Early conference fee until 31.~July: & RMB 3300\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 52
Additional banquet dinner and excursion: & RMB 530\\
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 55
Isabelle tutorial (21 -- 23 August): & RMB 250\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
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
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 60
\noindent The amount payable needs to be
190
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 61
transferred to the account:
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 62
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 63
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 64
\begin{tabular}{ll}
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 66
& Sub-branch, Nanjing, China\medskip\\
Account holder's address:& \\
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
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>
diff
changeset
+ − 69
transferral contains your full name as reference (additional
198
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 70
information field), and is in your local currency
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 71
(e.g.~\euro, \$, \pounds)!} Otherwise we will have no idea
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 72
where the money came from, and will not be able to receive
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 74
covers all bank fees.\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 76
details to Chunhan
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 77
(\cwemail).\bigskip
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 78
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 80
online travel web-pages, the price there is higher. The
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 81
easiest is to send Chunhan your name, arrival and departure
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 83
hotel, which you might need for your visa application.
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
diff
changeset
+ − 85
MasterCard.
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 86
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 87
\section{Visa}
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 88
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
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>
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>
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>
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>
diff
changeset
+ − 94
will need an invitation letter, which Chunhan will send you
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 95
(\cwemail). You need to provide him with your name, title,
180
Christian Urban <christian dot urban at kcl dot ac dot uk>
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>
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>
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>
diff
changeset
+ − 99
application.
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 100
\chapter{Post-Arrival}
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 101
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 102
TBD
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 103
179
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 104
%weather, electrical connectors
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
+ − 105
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
+ − 106
\end{document}