| changeset 56 | e92ef125bd82 |
| parent 52 | 68a42be6129e |
| child 57 | 9e76f9eea7fb |
| 55:0835e51e4468 | 56:e92ef125bd82 |
|---|---|
137 </center> |
137 </center> |
138 |
138 |
139 <H4>Venue and Accommodation</H4> |
139 <H4>Venue and Accommodation</H4> |
140 |
140 |
141 The plan is to host the conference at the |
141 The plan is to host the conference at the |
142 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is inexpensive and in easy |
142 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is inexpensive (ca. 元350/£35/$60/€40 per |
143 night including breakfast) and |
|
144 in easy |
|
143 reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&hl=en&ll=32.029617,118.838768&spn=0.204033,0.292854&sll=32.010405,118.824692&sspn=0.204076,0.292854&t=m&z=12">here</A> at Google Maps). It has the usual amenities for hosting |
145 reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&hl=en&ll=32.029617,118.838768&spn=0.204033,0.292854&sll=32.010405,118.824692&sspn=0.204076,0.292854&t=m&z=12">here</A> at Google Maps). It has the usual amenities for hosting |
144 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also |
146 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also |
145 the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road. |
147 the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road. |
148 Hanyuan Hotel includes |
|
149 a restaurant and there are innumerable |
|
150 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
|
151 around the hotel and in downtown Nanjing, all usually very affordable. |
|
146 |
152 |
147 <center> |
153 <center> |
148 <table style="width: 75%"> |
154 <table style="width: 75%"> |
149 <tr> |
155 <tr> |
150 <td> |
156 <td> |
161 <td colspan="3"><center><small>Hanyuan Hotel</small></center></td> |
167 <td colspan="3"><center><small>Hanyuan Hotel</small></center></td> |
162 </tr> |
168 </tr> |
163 </table> |
169 </table> |
164 </center> |
170 </center> |
165 |
171 |
166 There are also many nearby |
172 There are also many additional |
167 <A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories. |
173 <A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories nearby. |
168 |
174 |
169 <p> |
|
170 Hanyuan Hotel includes |
|
171 a restaurant and there are innumerable |
|
172 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
|
173 around the hotel and in downtown Nanjing, all usually very affordable. |
|
174 |
175 |
175 <H4>Advantages of Hosting ITP in Nanjing</H4> |
176 <H4>Advantages of Hosting ITP in Nanjing</H4> |
176 |
177 |
177 There are several groups in the ITP area that are active in China. For example for the last |
178 There are several groups in the ITP area that are active in China. For example for the last |
178 five years there have been popular |
179 five years there have been popular |
179 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China about Coq |
180 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq |
180 with 50 or so student participants each. ITP (and TPHOLs) have |
181 with 50 or so student participants each. ITP (and TPHOLs) have |
181 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
182 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
182 China, and this might be an opportunity for the ITP community to foster relations |
183 China, and this might be an opportunity for the ITP community to foster relations |
183 with researchers from China and Asia, and for local researchers to become part of the |
184 with researchers from China and Asia, and for local researchers to become part of the |
184 ITP community. |
185 ITP community. |
217 One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou. |
218 One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou. |
218 The day would finish with a dinner in the well-known Fuchun restaurant. |
219 The day would finish with a dinner in the well-known Fuchun restaurant. |
219 The best tour around Nanjing is to go to the Purple Mountains passing by the |
220 The best tour around Nanjing is to go to the Purple Mountains passing by the |
220 the Linggusi pagoda, the city wall and the Ming tombs |
221 the Linggusi pagoda, the city wall and the Ming tombs |
221 (see pictures on the left). There is a wide selection of excellent restaurants |
222 (see pictures on the left). There is a wide selection of excellent restaurants |
222 around Nanjing's Confucius Temple for a conference dinner. If chosen, we would |
223 around Nanjing's Confucius Temple for a conference dinner. If our bid is chosen, we would |
223 canvas for opinions about what participants would be most interested in. |
224 canvas for opinions about what participants would be most interested in. |
224 |
225 |
225 <H4>Finance</H4> |
226 <H4>Finance</H4> |
226 |
227 |
227 We will seek to keep costs low by negotiating discounts with |
228 We will seek to keep costs low by negotiating discounts with |
228 the hotel and by trying to find sponsoring where sensible. |
229 the hotel and by trying to find sponsoring where sensible. |
229 |
230 |
230 <H4>Experience of the Programme Chairs</H4> |
231 <H4>Experience of the Programme Chairs and Local Organisation</H4> |
231 |
232 |
232 Xingyuan and Christian are regular participants at ITP having had the good fortune of their |
233 Xingyuan and Christian are regular participants at ITP. Christian was a |
233 papers being accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference |
234 co-organiser of the TPHOLs conference |
234 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
235 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
235 |
236 We will make use of the infrastructure available at Xingyuan's university for local |
236 |
237 organisation. There will also be a student team that helps with running the conference. |
237 </TD> |
238 </TD> |
238 </TR> |
239 </TR> |
239 </TABLE> |
240 </TABLE> |
240 |
241 |
241 <hr> |
242 <hr> |