|
1 \documentclass[12pt]{letter} |
|
2 \usepackage{times} |
|
3 \usepackage{a4} |
|
4 \usepackage{hyperref} |
|
5 \usepackage{ulem} |
|
6 \usepackage{eurosym} |
|
7 %\signature{Christian Urban\\ |
|
8 % Head of the Nominal Methods Group\\ |
|
9 % Department of Computer Science\\ |
|
10 % Technical University of Munich} |
|
11 \signature{Dr Christian Urban\\ co-chair of the ITP 2015 conference} |
|
12 \address{ |
|
13 \mbox{}\\[-38mm] |
|
14 Dr~Christian Urban\\ |
|
15 Department of Informatics\\ |
|
16 King's College London\\ |
|
17 Strand, London WC2R 2LS\\ |
|
18 United Kingdom\\[-10mm] |
|
19 } |
|
20 \begin{document} |
|
21 \begin{letter} |
|
22 {\bf Invoice for the Registration Fee for the ITP 2015 |
|
23 Conference in Nanjing} |
|
24 |
|
25 \opening{\mbox{}\\[-12mm]} |
|
26 |
|
27 %This is the invoice for |
|
28 This is the registration certificate and invoice for |
|
29 |
|
30 \begin{center} |
|
31 \begin{tabular}{l} |
|
32 %David Pichardie\\ |
|
33 %Sandrine Blazy\\ |
|
34 %Universit\'e de Rennes 1\\ |
|
35 %Campus de Beaulieu\\ |
|
36 %35042 Rennes cedex, France\\ |
|
37 %%%%%%%%%%%%%%%%%%%%%%%% |
|
38 %Alexandre Marechal\\ |
|
39 %Laboratoire VERIMAG/UJF\\ |
|
40 %Centre Equation\\ |
|
41 %2 Avenue de Vignate\\ |
|
42 %38610 Gieres, France\\ |
|
43 %%%%%%%%%%%%%%%%%%%%%%%%% |
|
44 %Sylvain Boulme\\ |
|
45 %Laboratoire VERIMAG\\ |
|
46 %Universite Joseph FOURIER\\ |
|
47 %Centre Equation\\ |
|
48 %2, Avenue de Vignate\\ |
|
49 %38610 GIERES, France\\ |
|
50 %%%%%%%%%%%%%%%%%%%%%%%%% |
|
51 %Enrico Tassi\\ |
|
52 %%Cyril Cohen\\ |
|
53 %CR2 Inria Sophia Antipolis\\ |
|
54 %2004 route des Lucioles – BP 93\\ |
|
55 %06902 Sophia-Antipolis Cedex, France |
|
56 Michael Norrish\\ |
|
57 NICTA, Canberra Research Laboratory\\ |
|
58 7 London Circuit\\ |
|
59 Canberra ACT 2601, Australia |
|
60 \end{tabular} |
|
61 \end{center} |
|
62 |
|
63 who will participate between |
|
64 24 and 27 August 2015 in the International Conference on Interactive Theorem Proving |
|
65 %24 and 29 August 2015 in the International Conference on Interactive Theorem Proving and in the Coq-tutorial both |
|
66 %21 and 29 August 2015 in the International Conference on Interactive Theorem Proving and in the Isabelle- and Coq-tutorials all |
|
67 taking place in Nanjing, China. The amount to be |
|
68 paid for the early registration |
|
69 fee is |
|
70 3300 Renminbi.\medskip |
|
71 %3500 Renminbi.\medskip |
|
72 %3750 Renminbi.\medskip |
|
73 |
|
74 \begin{flushright} |
|
75 \begin{tabular}{l@{\hspace{5mm}}r} |
|
76 Registration fee: & 3300 RMB\\ |
|
77 %Coq-Workshop & 200 RMB\\ |
|
78 %Isabelle-Workshop & 250 RMB |
|
79 %Registration fee: & \EUR{488,00}\\ |
|
80 %Coq-Workshop & \EUR{32,00}\\ |
|
81 %\medskip |
|
82 \\\hline\\%%\medskip |
|
83 |
|
84 Total: & \uuline{3300 RMB}\\ |
|
85 %Total: & \uuline{3500 RMB}\\ |
|
86 %Total: & \uuline{3550 RMB}\\ |
|
87 %Total: & \uuline{3750 RMB}\\ |
|
88 %Total: & \uuline{\EUR{520,00}}\\ |
|
89 %Total: & \uuline{\EUR{488,00}}\\ |
|
90 \end{tabular} |
|
91 \end{flushright} |
|
92 |
|
93 This amount needs to be transferred in {\bf AUD} (AUD 730) %%(\euro 730) |
|
94 to the bank account: |
|
95 |
|
96 \begin{center} |
|
97 \begin{tabular}{ll} |
|
98 Account holder's name:& Zhang Xingyuan\\ |
|
99 Beneficiary bank:& BANK OF CHINA\\ |
|
100 Swift Code:& BKCHCNBJ940\\ |
|
101 Account number:& 504066588897\\ |
|
102 Beneficiary bank address:& Nanjing Mei Hua Shan Zhuang\\ |
|
103 & Sub-branch, Nanjing, P.R.China\\ |
|
104 |
|
105 Account holder's address:& Suite 2106, Building 20,\\ |
|
106 & 20 Biao Ying, Qinhuai District,\\ |
|
107 & Nanjing, Jiangsu Province, P.R.China.\\ |
|
108 \end{tabular} |
|
109 \end{center}\bigskip |
|
110 |
|
111 |
|
112 \closing{Yours sincerely,\\[-11mm]\mbox{}} |
|
113 |
|
114 |
|
115 \end{letter} |
|
116 \end{document} |