# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392249961 0
# Node ID af623d2a1b3ece6a67a59fa5b20c659f5abcb922
# Parent  4dab946931d836200bf6d19d7c0e5943b1f74302
updated

diff -r 4dab946931d8 -r af623d2a1b3e index.html
--- 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?)
 
 
diff -r 4dab946931d8 -r af623d2a1b3e pics/Nanjing4.jpg
Binary file pics/Nanjing4.jpg has changed