booklet.tex
changeset 193 263926fd0c57
parent 191 51c1e01c586b
child 198 63c7c2c9e14a
equal deleted inserted replaced
192:06db16ca9335 193:263926fd0c57
    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
    60 \noindent The amount payable needs to be
    60 The amount payable needs to be transferred to the account:
    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