author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Tue, 25 Aug 2015 11:18:35 +0800 | |
changeset 327 | af8aa1d78966 |
parent 280 | a592f24de016 |
permissions | -rw-r--r-- |
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} |