--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/booklet.tex	Thu May 28 11:29:59 2015 +0100
@@ -0,0 +1,33 @@
+\documentclass[11pt]{report}
+\usepackage{eurosym}
+  
+\begin{document}
+\title{\bf ITP 2015 Conference Booklet}
+\author{Xingyuan Zhang and Christian Urban}
+\date{\today}
+\tableofcontents 
+\maketitle
+
+\chapter{Pre-Arrival}
+
+\section{Registration and Conference Fee}
+
+The early conference fee is RMB 3500, which is approximately
+\pounds{}370, \$565, or \euro{}530. It must be transferred via
+bank transfer (see details below). The conference fee includes
+lunches and dinners during the conference. It also covers the
+excursion, conference banquette and welcome reception. 
+
+\begin{center}
+\begin{tabular}{l@{\hspace{4mm}}l}
+Early conference fee until 31.~July: & RMB 3500\\
+Late conference fee from 1.~August:  & RMB 4000\bigskip\\
+
+Additional banquette dinner:         & RMB ??\bigskip\\
+
+Isabelle tutorial (21 -- 23 August): & ??\\
+Coq tutorial (27 - 29 August):       & ??\\
+\end{tabular}
+\end{center}
+
+\end{document}