--- a/index.html Wed Feb 12 15:12:58 2014 +0000
+++ b/index.html Wed Feb 12 17:07:55 2014 +0000
@@ -107,7 +107,7 @@
</TABLE>
<BR>
<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
-is a situated in the heart of China — close to Shanghai and roughly equidistant
+is situated in the heart of China — close to Shanghai and roughly equidistant
between Beijing and Hong Kong. It is a former capital during the Ming
Dynasty with a rich
<A HREF="http://www.cityofnanjing.com">cultural heritage</A>.
@@ -123,7 +123,7 @@
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.
-Travel within Nanjing can be done cheaply via taxi and public transportation.
+Travel within Nanjing can be done cheaply via taxi and public transport.
<p>
<center>
@@ -135,7 +135,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
-a conference (Wifi, conference rooms, etc) and has links to neighbouring universities.
+conferences (Wifi, conference rooms, etc) and has links to neighbouring universities.
<center>
<table style="width: 50%">
@@ -160,10 +160,27 @@
<H4>Advantages of Hosting ITP in Nanjing</H4>
-Many groups working on ITP, summerschool on Coq, never has been hosted
-in China, several centres (Shanghai, Beijing, ...)
+There are several groups active in China active in the ITP area. 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://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
+ITP community.
-Good food, conference trip
+<p>
+Being in China, Nanjing offers the usual conveniences of good and
+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 ... (??).
+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.
+(anything else to add?)
+
<H4>Timing and programme</H4>
@@ -172,7 +189,7 @@
previous ITP conferences, we would allow ample time between the formal
sessions for attendees to mingle and converse. We expect workshops to
take place during one or two days before or after the main
-conference. Half a day will be dedicated to an excursion (see below).
+conference. Half a day will be dedicated to an excursion.
<H4>Excursion</H4>
@@ -183,14 +200,14 @@
<H4>Finance</H4>
-We will seek to keep the costs low by negotiating discounts with
-the hotel.
+We will seek to keep costs low by negotiating discounts with
+the hotel and try to find sponsoring where sensible.
<H4>Experience of the Programme Chairs</H4>
-Xingyuan and Christian are regular participants at ITP having had papers accepted
-at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
-in 2009 in Munich.
+Xingyuan and Christian are regular participants at ITP having the good fortune to have
+papers 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>.
</TD>