equal
deleted
inserted
replaced
168 </tr> |
168 </tr> |
169 </table> |
169 </table> |
170 </center> |
170 </center> |
171 |
171 |
172 There are also many additional |
172 There are also many additional |
173 <A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories nearby. |
173 <A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all price categories nearby. |
174 |
174 |
175 |
175 |
176 <H4>Advantages of Hosting ITP in Nanjing</H4> |
176 <H4>Advantages of Hosting ITP in Nanjing</H4> |
177 |
177 |
178 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 |
179 five years there have been popular |
179 five years there have been popular |
180 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq |
180 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq |
181 with 50 or so student participants each. ITP (and TPHOLs) have |
181 with 50 or so student participants each. ITP (and TPHOLs) have |
182 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
182 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">never</A> been hosted in |
183 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 |
184 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 |
185 ITP community. |
185 ITP community. |
186 |
186 |
187 <p> |
187 <p> |