index.html
changeset 22 889666f40918
parent 21 93e72c39cbbe
child 23 75e46aa48c2f
--- 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...