invoice.tex
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 20 Aug 2015 03:20:01 +0800
changeset 308 28c0a578db53
parent 280 a592f24de016
permissions -rw-r--r--
updated booklet
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
280
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
\documentclass[12pt]{letter}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
\usepackage{times}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
\usepackage{a4}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
\usepackage{hyperref}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
\usepackage{ulem}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
\usepackage{eurosym}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
%\signature{Christian Urban\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
%  Head of the Nominal Methods Group\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
%  Department of Computer Science\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
%  Technical University of Munich}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
\signature{Dr Christian Urban\\ co-chair of the ITP 2015 conference}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
\address{
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
  \mbox{}\\[-38mm]
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
  Dr~Christian Urban\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
  Department of Informatics\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
  King's College London\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
  Strand, London WC2R 2LS\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
  United Kingdom\\[-10mm]
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
\begin{document}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    21
\begin{letter}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    22
{\bf Invoice for the Registration Fee for the ITP 2015 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    23
Conference in Nanjing}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    24
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    25
\opening{\mbox{}\\[-12mm]}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    26
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
%This is the invoice for 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
This is the registration certificate and invoice for 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    30
\begin{center}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    31
\begin{tabular}{l}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    32
%David Pichardie\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    33
%Sandrine Blazy\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    34
%Universit\'e de Rennes 1\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
%Campus de Beaulieu\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
%35042 Rennes cedex, France\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    37
%%%%%%%%%%%%%%%%%%%%%%%%
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
%Alexandre Marechal\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
%Laboratoire VERIMAG/UJF\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
%Centre Equation\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
%2 Avenue de Vignate\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    42
%38610 Gieres, France\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
%%%%%%%%%%%%%%%%%%%%%%%%%
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
%Sylvain Boulme\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
%Laboratoire VERIMAG\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
%Universite Joseph FOURIER\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
%Centre Equation\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
%2, Avenue de Vignate\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
%38610 GIERES, France\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
%%%%%%%%%%%%%%%%%%%%%%%%%
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
%Enrico Tassi\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
%%Cyril Cohen\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    53
%CR2 Inria Sophia Antipolis\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
%2004 route des Lucioles – BP 93\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
%06902 Sophia-Antipolis Cedex, France
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    56
Michael Norrish\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
NICTA, Canberra Research Laboratory\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
7 London Circuit\\ 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
Canberra ACT 2601, Australia
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
\end{tabular}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
\end{center}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    62
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
who will participate between 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    64
24 and 27 August 2015 in the International Conference on Interactive Theorem Proving
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    65
%24 and 29 August 2015 in the International Conference on Interactive Theorem Proving and in the Coq-tutorial both
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    66
%21 and 29 August 2015 in the International Conference on Interactive Theorem Proving and in the Isabelle- and Coq-tutorials all 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    67
taking place in Nanjing, China. The amount to be 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
paid for the early registration 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
fee is 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
3300 Renminbi.\medskip
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
%3500 Renminbi.\medskip
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
%3750 Renminbi.\medskip
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
\begin{flushright}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    75
\begin{tabular}{l@{\hspace{5mm}}r}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    76
Registration fee: & 3300 RMB\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    77
%Coq-Workshop & 200 RMB\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    78
%Isabelle-Workshop & 250 RMB
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
%Registration fee: & \EUR{488,00}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    80
%Coq-Workshop & \EUR{32,00}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
%\medskip
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
\\\hline\\%%\medskip
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
Total: & \uuline{3300 RMB}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
%Total: & \uuline{3500 RMB}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    86
%Total: & \uuline{3550 RMB}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
%Total: & \uuline{3750 RMB}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    88
%Total: & \uuline{\EUR{520,00}}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
%Total: & \uuline{\EUR{488,00}}\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    90
\end{tabular}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    91
\end{flushright}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    92
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    93
This amount needs to be transferred in {\bf AUD} (AUD 730) %%(\euro 730)
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    94
to the bank account:
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    95
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    96
\begin{center}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    97
\begin{tabular}{ll}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    98
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\\ 
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    99
                         &   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.\\
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   100
\end{tabular}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   101
\end{center}\bigskip
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   102
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   103
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104
\closing{Yours sincerely,\\[-11mm]\mbox{}}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   105
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   106
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   107
\end{letter}
a592f24de016 added invoice document
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   108
\end{document}