--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/invoice.tex	Mon Aug 17 11:29:08 2015 +0800
@@ -0,0 +1,108 @@
+\documentclass[12pt]{letter}
+\usepackage{times}
+\usepackage{a4}
+\usepackage{hyperref}
+\usepackage{ulem}
+\usepackage{eurosym}
+%\signature{Christian Urban\\
+%  Head of the Nominal Methods Group\\
+%  Department of Computer Science\\
+%  Technical University of Munich}
+\signature{Dr Christian Urban\\ co-chair of the ITP 2015 conference}
+\address{
+  \mbox{}\\[-38mm]
+  Dr~Christian Urban\\
+  Department of Informatics\\
+  King's College London\\
+  Strand, London WC2R 2LS\\
+  United Kingdom\\[-10mm]
+}
+\begin{document}
+\begin{letter}
+{\bf Invoice for the Registration Fee for the ITP 2015 
+Conference in Nanjing}
+
+\opening{\mbox{}\\[-12mm]}
+
+%This is the invoice for 
+This is the registration certificate and invoice for 
+
+\begin{center}
+\begin{tabular}{l}
+%David Pichardie\\
+%Sandrine Blazy\\
+%Universit\'e de Rennes 1\\
+%Campus de Beaulieu\\
+%35042 Rennes cedex, France\\
+%%%%%%%%%%%%%%%%%%%%%%%%
+%Alexandre Marechal\\
+%Laboratoire VERIMAG/UJF\\
+%Centre Equation\\
+%2 Avenue de Vignate\\
+%38610 Gieres, France\\
+%%%%%%%%%%%%%%%%%%%%%%%%%
+%Sylvain Boulme\\
+%Laboratoire VERIMAG\\
+%Universite Joseph FOURIER\\
+%Centre Equation\\
+%2, Avenue de Vignate\\
+%38610 GIERES, France\\
+%%%%%%%%%%%%%%%%%%%%%%%%%
+%Enrico Tassi\\
+%%Cyril Cohen\\
+%CR2 Inria Sophia Antipolis\\
+%2004 route des Lucioles – BP 93\\
+%06902 Sophia-Antipolis Cedex, France
+Michael Norrish\\
+NICTA, Canberra Research Laboratory\\
+7 London Circuit\\ 
+Canberra ACT 2601, Australia
+\end{tabular}
+\end{center}
+
+who will participate between 
+24 and 27 August 2015 in the International Conference on Interactive Theorem Proving
+%24 and 29 August 2015 in the International Conference on Interactive Theorem Proving and in the Coq-tutorial both
+%21 and 29 August 2015 in the International Conference on Interactive Theorem Proving and in the Isabelle- and Coq-tutorials all 
+taking place in Nanjing, China. The amount to be 
+paid for the early registration 
+fee is 
+3300 Renminbi.\medskip
+%3500 Renminbi.\medskip
+%3750 Renminbi.\medskip
+
+\begin{flushright}
+\begin{tabular}{l@{\hspace{5mm}}r}
+Registration fee: & 3300 RMB\\
+%Coq-Workshop & 200 RMB\\
+%Isabelle-Workshop & 250 RMB
+%Registration fee: & \EUR{488,00}\\
+%Coq-Workshop & \EUR{32,00}\\
+%\medskip
+\\\hline\\%%\medskip
+
+Total: & \uuline{3300 RMB}\\
+%Total: & \uuline{3500 RMB}\\
+%Total: & \uuline{3550 RMB}\\
+%Total: & \uuline{3750 RMB}\\
+%Total: & \uuline{\EUR{520,00}}\\
+%Total: & \uuline{\EUR{488,00}}\\
+\end{tabular}
+\end{flushright}
+
+This amount needs to be transferred in {\bf AUD} (AUD 730) %%(\euro 730)
+to the bank account:
+
+\begin{center}
+\begin{tabular}{ll}
+Account holder's name:&  Zhang Xingyuan\\
Beneficiary bank:& BANK OF CHINA\\
Swift Code:& BKCHCNBJ940\\
Account number:& 504066588897\\
Beneficiary bank address:&   Nanjing Mei Hua Shan Zhuang\\ 
+                         &   Sub-branch, Nanjing, P.R.China\\

Account holder's address:& Suite 2106, Building 20,\\
  & 20 Biao Ying, Qinhuai District,\\ 
  & Nanjing, Jiangsu Province, P.R.China.\\
+\end{tabular}
+\end{center}\bigskip
+
+
+\closing{Yours sincerely,\\[-11mm]\mbox{}}
+
+
+\end{letter}
+\end{document}