booklet.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 28 May 2015 17:36:00 +0100
changeset 170 35d8162d935b
parent 169 85fd9176f4be
child 172 5d2e61a18fd7
permissions -rw-r--r--
(none)
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 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    26
fee, and  
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
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
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>
parents: 169
diff changeset
    40
end; we cannot accept any other form of payment. 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    41
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    42
The conference fee includes lunches during the conference. It
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    43
also covers the excursion, the conference banquet and the
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
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>
parents: 169
diff changeset
    48
Early conference fee until 31.~July: & RMB 3300\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
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>
parents: 169
diff changeset
    51
Additional banquet dinner and excursion: & RMB 530\\
169
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 168
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>
parents: 169
diff changeset
    54
Isabelle tutorial (21 -- 23 August): & RMB 250\\
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
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>
parents: 165
diff changeset
    59
\noindent
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    60
The amount payable needs to be transferred to the account:
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    61
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    62
\begin{center}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    63
\begin{tabular}{ll}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
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>
parents: 169
diff changeset
    65
                         &    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
    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>
parents: 168
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>
parents: 169
diff changeset
    68
transferral contains your full name as reference (additional
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    69
information field).} Otherwise we will have no idea where the
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    70
money came from. Please also make sure that your transferral
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    71
covers all bank fees.\bigskip
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
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>
parents: 169
diff changeset
    73
details to Chunhan 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
diff changeset
    74
(\cwemail).\bigskip
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    75
170
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
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>
parents: 169
diff changeset
    77
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
    78
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
    79
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
    80
hotel, which you might need for your visa application. 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 169
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>
parents: 169
diff changeset
    82
MasterCard.
166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    83
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    84
\section{Visa}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    85
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    86
Please be aware that for travelling to China you will need a
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
diff changeset
    87
visa, which you have to apply {\bf beforehand}. It often takes
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
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>
parents: 166
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>
parents: 166
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>
parents: 169
diff changeset
    91
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
    92
(\cwemail). You need to provide him with your name, title, 
168
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 166
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>
parents: 169
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>
parents: 169
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>
parents: 169
diff changeset
    96
application.

166
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    97
\chapter{Post-Arrival}
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    98
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
    99
TBD 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   100
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   101
%weather, 
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 165
diff changeset
   102
165
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   103
\end{document}