equal
deleted
inserted
replaced
219 One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou. |
219 One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou. |
220 The day would finish with a dinner in the well-known Fuchun restaurant. |
220 The day would finish with a dinner in the well-known Fuchun restaurant. |
221 The best tour around Nanjing is to go to the Purple Mountains passing by the |
221 The best tour around Nanjing is to go to the Purple Mountains passing by the |
222 the Linggusi pagoda, the city wall and the Ming tombs |
222 the Linggusi pagoda, the city wall and the Ming tombs |
223 (see pictures on the left). There is a wide selection of excellent restaurants |
223 (see pictures on the left). There is a wide selection of excellent restaurants |
224 around Nanjing's Confucius Temple for a conference dinner. If chosen, we would |
224 around Nanjing's Confucius Temple for a conference dinner. If our bid is chosen, we would |
225 canvas for opinions about what participants would be most interested in. |
225 canvas for opinions about what participants would be most interested in. |
226 |
226 |
227 <H4>Finance</H4> |
227 <H4>Finance</H4> |
228 |
228 |
229 We will seek to keep costs low by negotiating discounts with |
229 We will seek to keep costs low by negotiating discounts with |
233 |
233 |
234 Xingyuan and Christian are regular participants at ITP. Christian was a |
234 Xingyuan and Christian are regular participants at ITP. Christian was a |
235 co-organiser of the TPHOLs conference |
235 co-organiser of the TPHOLs conference |
236 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
236 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
237 We will make use of the infrastructure available at Xingyuan's university for local |
237 We will make use of the infrastructure available at Xingyuan's university for local |
238 organisation. |
238 organisation. There will also be a student team that helps with running the conference. |
239 </TD> |
239 </TD> |
240 </TR> |
240 </TR> |
241 </TABLE> |
241 </TABLE> |
242 |
242 |
243 <hr> |
243 <hr> |