--- a/index.html	Wed Feb 12 19:32:10 2014 +0000
+++ b/index.html	Thu Feb 13 00:06:01 2014 +0000
@@ -97,7 +97,14 @@
 <img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>
 <br>
 <b>Nanjing's skyline</b><br>
-</p>    
+</p>
+
+<p align=center>
+<a href="pics/Nanjing4.jpg">
+<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a>
+<br>
+<b>Science and Technology<br> Museum</b><br>
+</p>   
   
 </center>
 
@@ -125,8 +132,8 @@
 <H4>Travel to Nanjing</H4>
 
 Nanjing is a major city in China.
-There are international airline connections to 
-<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly
+There are international airline connections directly to
+<A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> 
 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
 are also very convenient train connections from Shanghai and Beijing, which
 take slightly more than 1h from Shanghai and about 4h from Beijing.
@@ -141,7 +148,7 @@
 
 The plan is to host the conference at the
 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is in easy
-reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&hl=en&ll=32.029617,118.838768&spn=0.204033,0.292854&sll=32.010405,118.824692&sspn=0.204076,0.292854&t=m&z=12">link</A> at Google Maps). It has the usual amenities for hosting
+reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&hl=en&ll=32.029617,118.838768&spn=0.204033,0.292854&sll=32.010405,118.824692&sspn=0.204076,0.292854&t=m&z=12">here</A> at Google Maps). It has the usual amenities for hosting
 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities.
 
 <center>
@@ -171,8 +178,8 @@
 <H4>Advantages of Hosting ITP in Nanjing</H4>
 
 There are several groups in the ITP area that are active in China. For example for the last
-five years there has been in China a popular
-<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq
+five years there have been popular
+<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China 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
@@ -184,11 +191,10 @@
 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 nearer vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??).
+In the nearby 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
-ITP community.
+should not be difficult to obtain for participants
 (anything else to add?)
 
 

Binary file pics/Nanjing4.jpg has changed