equal
deleted
inserted
replaced
|
1 \documentclass[11pt]{report} |
|
2 \usepackage{eurosym} |
|
3 |
|
4 \begin{document} |
|
5 \title{\bf ITP 2015 Conference Booklet} |
|
6 \author{Xingyuan Zhang and Christian Urban} |
|
7 \date{\today} |
|
8 \tableofcontents |
|
9 \maketitle |
|
10 |
|
11 \chapter{Pre-Arrival} |
|
12 |
|
13 \section{Registration and Conference Fee} |
|
14 |
|
15 The early conference fee is RMB 3500, which is approximately |
|
16 \pounds{}370, \$565, or \euro{}530. It must be transferred via |
|
17 bank transfer (see details below). The conference fee includes |
|
18 lunches and dinners during the conference. It also covers the |
|
19 excursion, conference banquette and welcome reception. |
|
20 |
|
21 \begin{center} |
|
22 \begin{tabular}{l@{\hspace{4mm}}l} |
|
23 Early conference fee until 31.~July: & RMB 3500\\ |
|
24 Late conference fee from 1.~August: & RMB 4000\bigskip\\ |
|
25 |
|
26 Additional banquette dinner: & RMB ??\bigskip\\ |
|
27 |
|
28 Isabelle tutorial (21 -- 23 August): & ??\\ |
|
29 Coq tutorial (27 - 29 August): & ??\\ |
|
30 \end{tabular} |
|
31 \end{center} |
|
32 |
|
33 \end{document} |