equal
deleted
inserted
replaced
206 conference. It also covers the excursion, the conference banquet and a welcome reception. |
206 conference. It also covers the excursion, the conference banquet and a welcome reception. |
207 The tutorials are separate. Their registration fee is 250元 for the Isabelle-tutorial |
207 The tutorials are separate. Their registration fee is 250元 for the Isabelle-tutorial |
208 and 200元 for the Coq-tutorial. |
208 and 200元 for the Coq-tutorial. |
209 |
209 |
210 <p> |
210 <p> |
211 The registration fees needs to be transferred via a bank |
211 The registration fee needs to be transferred via a bank |
212 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span> |
212 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span> |
213 accept credit cards etc for the conference fee. The hotel and many other things can be paid |
213 accept credit cards etc for the conference fee. The hotel and many other things can be paid |
214 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for |
214 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for |
215 details about the bank transfer. |
215 details about the bank transfer. |
216 |
216 |