32 received. Note that if you are Chinese and need a \emph{fa |
32 received. Note that if you are Chinese and need a \emph{fa |
33 piao} to reclaim the conference fee, you need to contact |
33 piao} to reclaim the conference fee, you need to contact |
34 Xingyuan directly before making any money transfer. |
34 Xingyuan directly before making any money transfer. |
35 \medskip |
35 \medskip |
36 |
36 |
37 \noindent The early conference fee is RMB 3500, which is |
37 \noindent The early conference fee is RMB 3300, which is |
38 approximately \pounds{}370, \$565, or \euro{}530. It must be |
38 approximately \pounds{}350, \$533, or \euro{}488. It must be |
39 transferred via bank transfer; we cannot accept any other form |
39 transferred via bank transfer and must arrive in RMB on our |
40 of payment. The conference fee includes lunches and dinners |
40 end; we cannot accept any other form of payment. |
41 during the conference. It also covers the excursion, |
41 |
42 the conference banquet and the welcome reception. |
42 The conference fee includes lunches during the conference. It |
|
43 also covers the excursion, the conference banquet and the |
|
44 welcome reception. |
43 |
45 |
44 \begin{center} |
46 \begin{center} |
45 \begin{tabular}{l@{\hspace{4mm}}l} |
47 \begin{tabular}{l@{\hspace{4mm}}l} |
46 Early conference fee until 31.~July: & RMB 3500\\ |
48 Early conference fee until 31.~July: & RMB 3300\\ |
47 Late conference fee from 1.~August: & RMB 4000\bigskip\\ |
49 Late conference fee from 1.~August: & RMB 3800\bigskip\\ |
48 |
50 |
49 Additional banquet dinner and excursion: & RMB 530\\ |
51 Additional banquet dinner and excursion: & RMB 530\\ |
50 (one is included in the conference fee)\bigskip\\ |
52 (one is included in the conference fee)\bigskip\\ |
51 |
53 |
52 Isabelle tutorial (21 -- 23 August): & RMB 800\\ |
54 Isabelle tutorial (21 -- 23 August): & RMB 250\\ |
53 Coq tutorial (27 -- 29 August): & RMB 800\\ |
55 Coq tutorial (27 -- 29 August): & RMB 200\\ |
54 \end{tabular} |
56 \end{tabular} |
55 \end{center} |
57 \end{center} |
56 |
58 |
57 \noindent |
59 \noindent |
58 The amount payable needs to be transferred to the account: |
60 The amount payable needs to be transferred to the account: |
68 Account number:& 504066588897\medskip\\ |
70 Account number:& 504066588897\medskip\\ |
69 |
71 |
70 Beneficiary bank address:& Nanjing Mei Hua Shan Zhuang\\ |
72 Beneficiary bank address:& Nanjing Mei Hua Shan Zhuang\\ |
71 & Sub-branch, Nanjing, China\medskip\\ |
73 & Sub-branch, Nanjing, China\medskip\\ |
72 |
74 |
73 Account holder's address:& |
75 Account holder's address:& \\ |
74 Prof.~Xingyuan Zhang\\ |
|
75 & Suite 2106, Building 20,\\ |
76 & Suite 2106, Building 20,\\ |
76 & 20 Biao Ying,\\ |
77 & 20 Biao Ying,\\ |
77 & Qinhuai District,\\ |
78 & Qinhuai District,\\ |
78 & Nanjing, Jiangsu Province,\\ |
79 & Nanjing, Jiangsu Province,\\ |
79 & People's Republic of China.\\ |
80 & People's Republic of China.\\ |
80 \end{tabular} |
81 \end{tabular} |
81 \end{center} |
82 \end{center} |
82 |
83 |
83 \noindent {\bf Please make doubly-sure that your bank |
84 \noindent {\bf Please make doubly-sure that your bank |
84 transferral contains your full name as reference.} Otherwise |
85 transferral contains your full name as reference (additional |
85 we will have no idea where the money came from. Please also |
86 information field).} Otherwise we will have no idea where the |
86 make sure that your transferral covers all bank fees.\bigskip |
87 money came from. Please also make sure that your transferral |
|
88 covers all bank fees.\bigskip |
87 |
89 |
88 |
90 |
89 \section{Hotel Booking} |
91 \section{Hotel Booking} |
90 |
92 |
91 |
93 |
92 In short, you need to send your details to Chunhan |
94 In short, you need to send your arrival and departure |
93 (\cwemail).\medskip |
95 details to Chunhan |
|
96 (\cwemail).\bigskip |
94 |
97 |
95 \noindent |
98 \noindent While it is possible to book the hotel via official |
96 While it is possible to book the hotel via official |
99 online travel web-pages, the price there is higher. The |
97 online travel |
100 easiest is to send Chunhan your name, arrival and departure |
98 web-pages, the price there is much higher. The best is to send |
101 dates and he will send you back a booking ticket from Hanyuan |
99 Chunhan your name, arrival and departure dates and he will do |
102 hotel, which you might need for your visa application. |
100 the booking for you directly with the hotel. You can pay |
103 You can pay the hotel when you arrive using Visa or |
101 the hotel when you arrive using Visa or MasterCard. |
104 MasterCard. |
102 |
105 |
103 \section{Visa} |
106 \section{Visa} |
104 |
107 |
105 Please be aware that for travelling to China you will need a |
108 Please be aware that for travelling to China you will need a |
106 visa, which you have to apply {\bf beforehand}. It often takes |
109 visa, which you have to apply {\bf beforehand}. It often takes |
107 one or two weeks before a visa is granted. Though if you |
110 one or two weeks before a visa is granted. Though if you |
108 are prepared to pay a higher application fee, then you can |
111 are prepared to pay a higher application fee, then you can |
109 shorten the delay to a few days. For the visa you |
112 shorten the delay to a few days. For the visa you |
110 will need an invitation letter, which Xingyuan will send you |
113 will need an invitation letter, which Chunhan will send you |
111 (\xyzemail). You need to provide him with your name, title, |
114 (\cwemail). You need to provide him with your name, title, |
112 work address, e-mail and paper title (if you present a paper). |
115 work address, e-mail and paper title (if you present a paper). |
113 He will e-mail you the invitation letter. |
116 He will e-mail you the invitation letter. You might also need |
|
117 your hotel booking (see above) and flight details for the visa |
|
118 application. |
114 |
119 |
115 \chapter{Post-Arrival} |
120 \chapter{Post-Arrival} |
116 |
121 |
117 TBD |
122 TBD |
118 |
123 |