equal
deleted
inserted
replaced
54 Isabelle tutorial (21 -- 23 August): & RMB 250\\ |
54 Isabelle tutorial (21 -- 23 August): & RMB 250\\ |
55 Coq tutorial (27 -- 29 August): & RMB 200\\ |
55 Coq tutorial (27 -- 29 August): & RMB 200\\ |
56 \end{tabular} |
56 \end{tabular} |
57 \end{center} |
57 \end{center} |
58 |
58 |
59 \noindent |
59 \noindent The tutorials can be registered independently from |
60 The amount payable needs to be transferred to the account: |
60 the conference. Importantly, the amount payable needs to be |
|
61 transferred to the account: |
61 |
62 |
62 \begin{center} |
63 \begin{center} |
63 \begin{tabular}{ll} |
64 \begin{tabular}{ll} |
64 Account holder's name:& Zhang Xingyuan\medskip\\ |
65 Account holder's name:& Zhang Xingyuan\medskip\\ |
65 |
66 |