equal
deleted
inserted
replaced
300 |
300 |
301 <H4>Local Information</H4> |
301 <H4>Local Information</H4> |
302 |
302 |
303 There are several groups in the ITP area that are active in China. For example for the last |
303 There are several groups in the ITP area that are active in China. For example for the last |
304 five years there have been popular |
304 five years there have been popular |
305 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq |
305 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq |
306 with 50 or so student participants each. ITPs (and TPHOLs) have |
306 with 50 or so student participants each. ITPs (and TPHOLs) have |
307 <A HREF="history.html">never</A> been hosted in |
307 <A HREF="history.html">never</A> been hosted in |
308 China, and this might be an opportunity for the ITP community to foster relations |
308 China, and this might be an opportunity for the ITP community to foster relations |
309 with researchers from China and Asia, and for local researchers to become part of the |
309 with researchers from China and Asia, and for local researchers to become part of the |
310 ITP community. |
310 ITP community. |