--- a/index.html Fri Feb 14 00:21:59 2014 +0000
+++ b/index.html Sat Feb 15 17:19:55 2014 +0000
@@ -112,24 +112,25 @@
</TR>
</TABLE>
<BR>
-<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
-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>.
-We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by
-Xingyuan Zhang and Christian Urban.
+<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> 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>. We propose
+to hold the 5th ITP Conference in Nanjing. The organising committee
+would be chaired by Xingyuan Zhang and Christian Urban.
<H4>Travel to Nanjing</H4>
-Nanjing is a major city in China.
-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.
-Travel within Nanjing can be done cheaply via taxi and public transport.
+Nanjing is a major city in China. 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. Travel within Nanjing can
+be done cheaply via taxi and public transport.
<p>
<center>
@@ -139,15 +140,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 (ca. 元350/£35/$60/€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>
+<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. 元350/£35/$60/€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>
@@ -179,7 +181,7 @@
five years there have been popular
<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
+<A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">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.
@@ -201,27 +203,57 @@
<H4>Timing and programme</H4>
-As is the tradition, the conference will consist of 4 days of research
-presentations and invited talks. Like in
-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...
+We propose to hold the conference in late summer, for example in
+the last week of August (which is the usual time for ITP/TPHOLs) or
+first week of September. However we can be flexible and accommodate any
+other time in July and August. As is the tradition, the conference
+would consist of 4 days of research presentations and invited
+talks. Like in previous 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...
<H4>Excursion</H4>
We have two possible destinations for an excursion in mind: one is to
<A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (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
-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 our bid is chosen, we would
-canvas for opinions about what participants would be most interested in.
+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 <A HREF="http://arts.cultural-china.com/en/85Arts6286.html">Daming Temple</A>
+and the old Stone Pagoda of Yangzhou. The day
+would finish with a dinner in the well-known
+<A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant. The
+best tour around Nanjing is to go to the
+<A HREF="http://en.wikipedia.org/wiki/Purple_Mountain">Purple Mountains</A> passing by
+the <A HREF="http://en.wikipedia.org/wiki/Linggu_Temple">Linggusi</A> pagoda,
+the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the
+<A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on
+the left). There is a wide selection of excellent restaurants 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.
+
+<center>
+<table style="width: 75%">
+<tr>
+<td>
+<img src="pics/Yangzhou2.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
+</td>
+<td>
+<img src="pics/Yangzhou1.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
+</td>
+<td>
+<img src="pics/Yangzhou3.jpg" alt="Yangzhou" width="98%" height="21%" border=0>
+</td>
+</tr>
+<tr>
+<td colspan="3"><center><small>Yangzhou, Slender West Lake</small></center></td>
+</tr>
+</table>
+</center>
+
<H4>Finance</H4>