| changeset 52 | 68a42be6129e |
| parent 51 | f3debc0c8eb2 |
| child 53 | 08280615de4a |
| 51:f3debc0c8eb2 | 52:68a42be6129e |
|---|---|
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. |
146 |
148 |
147 <center> |
149 <center> |
174 |
176 |
175 <H4>Advantages of Hosting ITP in Nanjing</H4> |
177 <H4>Advantages of Hosting ITP in Nanjing</H4> |
176 |
178 |
177 There are several groups in the ITP area that are active in China. For example for the last |
179 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 |
180 five years there have been popular |
179 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China about Coq |
181 <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 |
182 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 |
183 <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 |
184 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 |
185 with researchers from China and Asia, and for local researchers to become part of the |
184 ITP community. |
186 ITP community. |
225 <H4>Finance</H4> |
227 <H4>Finance</H4> |
226 |
228 |
227 We will seek to keep costs low by negotiating discounts with |
229 We will seek to keep costs low by negotiating discounts with |
228 the hotel and by trying to find sponsoring where sensible. |
230 the hotel and by trying to find sponsoring where sensible. |
229 |
231 |
230 <H4>Experience of the Programme Chairs</H4> |
232 <H4>Experience of the Programme Chairs and Local Organisation</H4> |
231 |
233 |
232 Xingyuan and Christian are regular participants at ITP having had the good fortune of their |
234 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 |
235 co-organiser of the TPHOLs conference |
234 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>. |
235 |
237 We will make use of the infrastructure available at Xingyuan's university for local |
236 |
238 organisation. |
237 </TD> |
239 </TD> |
238 </TR> |
240 </TR> |
239 </TABLE> |
241 </TABLE> |
240 |
242 |
241 <hr> |
243 <hr> |