# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1432808999 -3600
# Node ID 7e1dd9c286175b62a0ccfb4d303862dc07c72e42
# Parent  942dbc16733c0b93da9a0e0fe842d1c53e3eed9a


diff -r 942dbc16733c -r 7e1dd9c28617 booklet.tex
--- /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}  
diff -r 942dbc16733c -r 7e1dd9c28617 index.html
--- a/index.html	Thu May 28 11:06:41 2015 +0100
+++ b/index.html	Thu May 28 11:29:59 2015 +0100
@@ -208,7 +208,7 @@
 The early rate of the registration fee will be 3500&#20803; (ca. &pound;370/$565/&euro;530).
 The late rate starting from 1 August will be 4000&#20803;.
 The registration fee includes lunches and dinners during the
-conference. It also covers the excursion, conference banquette and welcome reception. The
+conference. It also covers the excursion, conference banquet and welcome reception. The
 registration fee needs to be transferred via a bank
 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span>
 accept credit cards etc for the conference fee. The hotel and many other things can be paid