--- 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 @@
<p align=center>
<a href="pics/ITP-Mochou.jpg">
-<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="15%" border=0></a>
+<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>
<br>
<b>Mochou</b><br>
</p>
@@ -160,10 +160,10 @@
<H4>Advantages of Hosting ITP in Nanjing</H4>
-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
-<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq taking place in China
-with 50 or so student participants. ITP (and TPHOLs) have
+<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq
+with 50 or so student participants each. ITP (and TPHOLs) have
<A HREF="http://itp2013.inria.fr/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
@@ -174,7 +174,7 @@
affordable food. It has several
<A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A>
and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>.
-In the near vicinity are touristic hotspots like Hangzhou ... (??).
+In the nearer vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??).
Travelling
<A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A>
should not be difficult to obtain for nearly all researchers from the
@@ -194,7 +194,7 @@
<H4>Excursion</H4>
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...