invoice.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 27 Aug 2015 09:32:39 +0800
changeset 335 bad4df0d7b65
parent 280 a592f24de016
permissions -rw-r--r--
updated

\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}