diff -r 93e72c39cbbe -r 889666f40918 index.html
--- a/index.html Wed Feb 12 17:07:55 2014 +0000
+++ b/index.html Wed Feb 12 19:06:33 2014 +0000
@@ -66,7 +66,7 @@
-
+
Mochou
@@ -160,10 +160,10 @@
Advantages of Hosting ITP in Nanjing
-There are several groups active in China active in the ITP area. For the last
+There are several groups active in China active in the ITP area. For example for the last
five years there has been a popular
-summershool about Coq taking place in China
-with 50 or so student participants. ITP (and TPHOLs) have
+summershool about Coq
+with 50 or so student participants each. ITP (and TPHOLs) have
never 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
@@ -174,7 +174,7 @@
affordable food. It has several
museums
and tourist attractions.
-In the near vicinity are touristic hotspots like Hangzhou ... (??).
+In the nearer vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??).
Travelling
visas
should not be difficult to obtain for nearly all researchers from the
@@ -194,7 +194,7 @@
Excursion
We have two possible destinations for excursions in mind: one is to
-Yangzhou, and the other is more leisurly inside the city...
+Yangzhou, and the other is more leisurly tour of Nanjing...