# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392319253 0
# Node ID 68a42be6129e0be5b03da9a788401651a9baedf6
# Parent  f3debc0c8eb2b63905dd6d704168796c4a8ba405
update

diff -r f3debc0c8eb2 -r 68a42be6129e index.html
--- a/index.html	Thu Feb 13 15:54:41 2014 +0000
+++ b/index.html	Thu Feb 13 19:20:53 2014 +0000
@@ -139,7 +139,9 @@
 <H4>Venue and Accommodation</H4>
 
 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 inexpensive and in easy
+<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is inexpensive (ca. &#20803;350/&pound;35/$60/&euro;40 per
+night including breakfast) and
+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">here</A> at Google Maps). It has the usual amenities for hosting
 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also
 the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road.
@@ -176,7 +178,7 @@
 
 There are several groups in the ITP area that are active in China. For example for the last
 five years there have been popular
-<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China about Coq
+<A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</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
@@ -227,13 +229,13 @@
 We will seek to keep costs low by negotiating discounts with
 the hotel and by trying to find sponsoring where sensible.  
 
-<H4>Experience of the Programme Chairs</H4>
+<H4>Experience of the Programme Chairs and Local Organisation</H4>
 
-Xingyuan and Christian are regular participants at ITP having had the good fortune of their 
-papers being accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
+Xingyuan and Christian are regular participants at ITP. Christian was a
+co-organiser of the TPHOLs conference
 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
-
-
+We will make use of the infrastructure available at Xingyuan's university for local
+organisation.
 </TD>
 </TR>
 </TABLE>
diff -r f3debc0c8eb2 -r 68a42be6129e index.html~
--- a/index.html~	Thu Feb 13 15:54:41 2014 +0000
+++ b/index.html~	Thu Feb 13 19:20:53 2014 +0000
@@ -139,12 +139,13 @@
 <H4>Venue and Accommodation</H4>
 
 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
+<A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A>, which is inexpensive and 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">here</A> at Google Maps). It has the usual amenities for hosting
-conferences (Wifi, conference rooms, etc) and has links to neighbouring universities.
+conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also
+the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road.
 
 <center>
-<table style="width: 50%">
+<table style="width: 75%">
 <tr>
 <td>
 <img src="pics/hotel1.jpg" alt="hotel" width="98%" height="21%" border=0>
@@ -152,9 +153,12 @@
 <td>
 <img src="pics/hotel2.jpg" alt="hotel" width="98%" height="21%" border=0>
 </td>
+<td>
+<img src="pics/hotel4.jpg" alt="hotel" width="98%" height="21%" border=0>
+</td>
 </tr>
 <tr>
-<td colspan="2"><center><small>Hanyuan Hotel</small></center></td>  
+<td colspan="3"><center><small>Hanyuan Hotel</small></center></td>  
 </tr>  
 </table>
 </center>
@@ -181,17 +185,17 @@
 
 <p>
 Being in China, Nanjing offers the usual conveniences of good and
-affordable food. It has several
+affordable food. It has several excellent
 <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 nearby vicinity are touristic hotspots like
+<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>,
 <A HREF="http://en.wikipedia.org/wiki/Hangzhou">Hangzhou</A>,
-<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>,
 <A HREF="http://en.wikipedia.org/wiki/Wuxi">Wuxi</A> and
 <A HREF="http://en.wikipedia.org/wiki/Suzhou">Suzhou</A>.
 Travelling
 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A>
-should not be difficult to obtain for participants.
+to China should be easy to obtain for participants.
 
 
 <H4>Timing and programme</H4>
@@ -206,9 +210,17 @@
 <H4>Excursion</H4>
 
 We have two possible destinations for an excursion in mind: one is to
-Yangzhou, and the other is more leisurly &#8212; a tour of Nanjing...
-
-
+<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (one 1h away
+from Nanjing by bus), and the other is a (more leisurely) tour of Nanjing and its
+attractions. The tour to Yangzhou would involve a walk around the Slender West Lake
+with its pavilions, the white Lotus Flower Pagoda and the Suzhou-style gardens.
+One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou.
+The day would finish with a dinner in the well-known Fuchun restaurant.
+The best tour around Nanjing is to go to the Purple Mountains passing by the
+the Linggusi pagoda, the city wall and the Ming tombs
+(see pictures on the left). There is a wide selection of excellent restaurants
+around Nanjing's Confucius Temple for a conference dinner. If chosen, we would
+canvas for opinions about what participants would be most interested in.
 
 <H4>Finance</H4>
 
@@ -217,8 +229,8 @@
 
 <H4>Experience of the Programme Chairs</H4>
 
-Xingyuan and Christian are regular participants at ITP having had the good fortune to have
-papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
+Xingyuan and Christian are regular participants at ITP having had the good fortune of their 
+papers being accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.