--- a/index.html	Sun Nov 30 10:28:11 2014 +0000
+++ b/index.html	Sun Nov 30 10:31:29 2014 +0000
@@ -302,7 +302,7 @@
 
 There are several groups in the ITP area that are active in China. For example for the last
 five years there have been popular
-<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq
+<A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq
 with 50 or so student participants each. ITPs (and TPHOLs) have
 <A HREF="history.html">never</A> been hosted in
 China, and this might be an opportunity for the ITP community to foster relations