# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417343489 0
# Node ID a297eca1ea4d6527294f14b540292f7fd6f22312
# Parent  06c7d9b0b9a54b34f385c36615316d79ca1fc166
u

diff -r 06c7d9b0b9a5 -r a297eca1ea4d index.html
--- 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