diff -r 0835e51e4468 -r e92ef125bd82 index.html~
--- a/index.html~	Thu Feb 13 20:32:56 2014 +0000
+++ b/index.html~	Thu Feb 13 23:56:53 2014 +0000
@@ -139,10 +139,16 @@
 <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.
+Hanyuan Hotel includes
+a restaurant and there are innumerable
+<A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
+around the hotel and in downtown Nanjing, all usually very affordable.
 
 <center>
 <table style="width: 75%">
@@ -163,20 +169,15 @@
 </table>
 </center>
 
-There are also many nearby
-<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories.
+There are also many additional
+<A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all prize categories nearby.
 
-<p>
-Hanyuan Hotel includes
-a restaurant and there are innumerable
-<A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
-around the hotel and in downtown Nanjing, all usually very affordable.
 
 <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 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
@@ -219,7 +220,7 @@
 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
+around Nanjing's Confucius Temple for a conference dinner. If our bid is chosen, we would
 canvas for opinions about what participants would be most interested in.
 
 <H4>Finance</H4>
@@ -227,13 +228,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. There will also be a student team that helps with running the conference.
 </TD>
 </TR>
 </TABLE>