# HG changeset patch # User Christian Urban # Date 1439782148 -28800 # Node ID a592f24de01689c6d63481bb343312824aab801e # Parent d1ce0705a7755e0e361698b9a3eddb83ea7141cd added invoice document diff -r d1ce0705a775 -r a592f24de016 booklet.pdf Binary file booklet.pdf has changed diff -r d1ce0705a775 -r a592f24de016 booklet.tex --- a/booklet.tex Mon Aug 17 11:03:25 2015 +0800 +++ b/booklet.tex Mon Aug 17 11:29:08 2015 +0800 @@ -762,9 +762,9 @@ \begin{center} \begin{tabular}{ccc} -\includegraphics[scale=0.1]{pics/chunhan.jpg} & -\includegraphics[scale=0.1]{pics/xingyuan.jpg} & -\includegraphics[scale=0.555]{pics/christian.jpg}\\ +\includegraphics[scale=0.075]{pics/chunhan.jpg} & +\includegraphics[scale=0.075]{pics/xingyuan.jpg} & +\includegraphics[scale=0.415]{pics/christian.jpg}\\ Chunhan Wu & Xingyuan Zhang & Christian Urban \end{tabular} \end{center} diff -r d1ce0705a775 -r a592f24de016 invoice.tex --- /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}