equal
deleted
inserted
replaced
35 \medskip |
35 \medskip |
36 |
36 |
37 \noindent The early conference fee is RMB 3300, which is |
37 \noindent The early conference fee is RMB 3300, which is |
38 approximately \pounds{}350, \$533, or \euro{}488. It must be |
38 approximately \pounds{}350, \$533, or \euro{}488. It must be |
39 transferred via bank transfer and must arrive in RMB on our |
39 transferred via bank transfer and must arrive in RMB on our |
40 end; we cannot accept any other form of payment. |
40 end; we cannot accept any other form of payment. The tutorials |
|
41 can be registered independently from the conference. |
41 |
42 |
42 The conference fee includes lunches during the conference. It |
43 The conference fee includes lunches during the conference. It |
43 also covers the excursion, the conference banquet and a |
44 also covers the excursion, the conference banquet and a |
44 welcome reception. |
45 welcome reception. |
45 |
46 |
54 Isabelle tutorial (21 -- 23 August): & RMB 250\\ |
55 Isabelle tutorial (21 -- 23 August): & RMB 250\\ |
55 Coq tutorial (27 -- 29 August): & RMB 200\\ |
56 Coq tutorial (27 -- 29 August): & RMB 200\\ |
56 \end{tabular} |
57 \end{tabular} |
57 \end{center} |
58 \end{center} |
58 |
59 |
59 \noindent The tutorials can be registered independently from |
60 \noindent The amount payable needs to be |
60 the conference. Importantly, the amount payable needs to be |
|
61 transferred to the account: |
61 transferred to the account: |
62 |
62 |
63 \begin{center} |
63 \begin{center} |
64 \begin{tabular}{ll} |
64 \begin{tabular}{ll} |
65 Account holder's name:& Zhang Xingyuan\medskip\\ |
65 Account holder's name:& Zhang Xingyuan\medskip\\ |