158 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
158 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
159 around the hotel and in downtown Nanjing, all usually very affordable. |
159 around the hotel and in downtown Nanjing, all usually very affordable. |
160 |
160 |
161 <H4>Advantages of Hosting ITP in Nanjing</H4> |
161 <H4>Advantages of Hosting ITP in Nanjing</H4> |
162 |
162 |
163 There are several groups active in China active in the ITP area. For the last |
163 There are several groups active in China active in the ITP area. For example for the last |
164 five years there has been a popular |
164 five years there has been a popular |
165 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq taking place in China |
165 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq |
166 with 50 or so student participants. ITP (and TPHOLs) have |
166 with 50 or so student participants each. ITP (and TPHOLs) have |
167 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
167 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
168 China, and this might be an opportunity for the ITP community to foster relations |
168 China, and this might be an opportunity for the ITP community to foster relations |
169 with researchers from China and Asia, and for local researchers to become part of the |
169 with researchers from China and Asia, and for local researchers to become part of the |
170 ITP community. |
170 ITP community. |
171 |
171 |
172 <p> |
172 <p> |
173 Being in China, Nanjing offers the usual conveniences of good and |
173 Being in China, Nanjing offers the usual conveniences of good and |
174 affordable food. It has several |
174 affordable food. It has several |
175 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |
175 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |
176 and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>. |
176 and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>. |
177 In the near vicinity are touristic hotspots like Hangzhou ... (??). |
177 In the nearer vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??). |
178 Travelling |
178 Travelling |
179 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
179 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
180 should not be difficult to obtain for nearly all researchers from the |
180 should not be difficult to obtain for nearly all researchers from the |
181 ITP community. |
181 ITP community. |
182 (anything else to add?) |
182 (anything else to add?) |