# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1432662823 -3600
# Node ID 5db9bd25926672186e3abde9ae836d95ef5e90a5
# Parent  da73d9e9c60652d75a2fba45be23755c3512ce9f
updated

diff -r da73d9e9c606 -r 5db9bd259266 index.html
--- a/index.html	Tue May 26 18:52:51 2015 +0100
+++ b/index.html	Tue May 26 18:53:43 2015 +0100
@@ -134,7 +134,14 @@
 during the Ming Dynasty with a rich <A
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
 The proceedings will be published as usual in the LNCS
-Series.
+Series. 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://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
+with researchers from China and Asia, and for local researchers to become part of the
+ITP community.
 </p>
 
 <p>
@@ -235,14 +242,7 @@
 
 <H4>Local Information</H4>
 
-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://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
-with researchers from China and Asia, and for local researchers to become part of the
-ITP community.
+
 
 <p>
 Being in China, Nanjing offers the usual conveniences of good and