115 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>

   115 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated

   116 is situated in the heart of China — close to Shanghai and roughly equidistant

   116 in the heart of China — close to Shanghai and roughly

   117 between Beijing and Hong Kong. It is a former capital during the Ming

   117 equidistant between Beijing and Hong Kong. It is a former capital

   118 Dynasty with a rich

   118 during the Ming Dynasty with a rich <A

   119 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. 

   119 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  We propose

   120 We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by

   120 to hold the 5th ITP Conference in Nanjing. The organising committee

   121 Xingyuan Zhang and Christian Urban.

   121 would be chaired by Xingyuan Zhang and Christian Urban.

   126 Nanjing is a major city in China.

   126 Nanjing is a major city in China.  There are international airline

   127 There are international airline connections directly to

   127 connections directly to <A

   128 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> 

   128 HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing

   129 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There

   129 Lukou Airport</A> and via transfer at airports in Hong Kong, Beijing,

   130 are also very convenient train connections from Shanghai and Beijing, which

   130 Shanghai and many others. There are also very convenient train

   131 take slightly more than 1h from Shanghai and about 4h from Beijing.

   131 connections from Shanghai and Beijing, which take slightly more than

   132 Travel within Nanjing can be done cheaply via taxi and public transport.

   132 1h from Shanghai and about 4h from Beijing.  Travel within Nanjing can

   133 be done cheaply via taxi and public transport.

   142 <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

   143 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan

   143 night including breakfast) and

   144 Hotel</A>, which is inexpensive

   144 in easy

   145 (ca. 元350/£35/$60/€40 per night including breakfast)

   145 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

   146 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>

   146 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. There is also

   147 at Google Maps). It has the usual amenities for hosting conferences

   147 the possibility to use lecture rooms for free in Xingyuan's university at the other side of the road.

   148 (Wifi, conference rooms, etc) and has links to neighbouring

   148 Hanyuan Hotel includes

   149 universities. There is also the possibility to use lecture rooms for

   149 a restaurant and there are innumerable

   150 free in Xingyuan's university at the other side of the road.  Hanyuan

   150 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>

   151 Hotel includes a restaurant and there are innumerable <A

   152 HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>

   182 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in

   184 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">never</A> been hosted in

   204 As is the tradition, the conference will consist of 4 days of research

   206 We propose to hold the conference in late summer, for example in

   205 presentations and invited talks. Like in

   207 the last week of August (which is the usual time for ITP/TPHOLs) or

   206 previous ITP conferences, we would allow ample time between the formal

   208 first week of September. However we can be flexible and accommodate any

   207 sessions for attendees to mingle and converse. We expect workshops to

   209 other time in July and August.  As is the tradition, the conference

   208 take place during one or two days before or after the main

   210 would consist of 4 days of research presentations and invited

   209 conference. Half a day will be dedicated to an excursion...

   211 talks. Like in previous conferences, we would allow ample time

   212 between the formal sessions for attendees to mingle and converse. We

   213 expect workshops to take place during one or two days before or after

   214 the main conference. Half a day will be dedicated to an excursion...

   215 from Nanjing by bus), and the other is a (more leisurely) tour of Nanjing and its

   220 from Nanjing by bus), and the other is a (more leisurely) tour of

   216 attractions. The tour to Yangzhou would involve a walk around the Slender West Lake

   221 Nanjing and its attractions. The tour to Yangzhou would involve a walk

   217 with its pavilions, the white Lotus Flower Pagoda and the Suzhou-style gardens.

   222 around the Slender West Lake with its pavilions, the white Lotus

   218 One the way we would visit the Daming Temple and the old Stone Pagoda of Yangzhou.

   223 Flower Pagoda and the Suzhou-style gardens.  One the way we would

   219 The day would finish with a dinner in the well-known Fuchun restaurant.

   224 visit the <A HREF="http://arts.cultural-china.com/en/85Arts6286.html">Daming Temple</A>

   220 The best tour around Nanjing is to go to the Purple Mountains passing by the

   225 and the old Stone Pagoda of Yangzhou.  The day

   221 Linggusi pagoda, the city wall and the Ming tombs

   226 would finish with a dinner in the well-known

   222 (see pictures on the left). There is a wide selection of excellent restaurants

   227 <A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant.  The

   223 around Nanjing's Confucius Temple for a conference dinner. If our bid is chosen, we would

   228 best tour around Nanjing is to go to the

   224 canvas for opinions about what participants would be most interested in.

   229 <A HREF="http://en.wikipedia.org/wiki/Purple_Mountain">Purple Mountains</A> passing by

   230 the <A HREF="http://en.wikipedia.org/wiki/Linggu_Temple">Linggusi</A> pagoda,

   231 the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the

   232 <A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on

   233 the left). There is a wide selection of excellent restaurants around

   234 Nanjing's Confucius Temple for a conference dinner. If our bid is

   235 chosen, we would canvas for opinions about what participants would be

   236 most interested in.

   237 

   238 <center>

   239 <table style="width: 75%">

   240 <tr>

   241 <td>

   242 <img src="pics/Yangzhou2.jpg" alt="Yangzhou" width="98%" height="21%" border=0>

   243 </td>

   244 <td>

   245 <img src="pics/Yangzhou1.jpg" alt="Yangzhou" width="98%" height="21%" border=0>

   246 </td>

   247 <td>

   248 <img src="pics/Yangzhou3.jpg" alt="Yangzhou" width="98%" height="21%" border=0>

   249 </td>

   250 </tr>

   251 <tr>

   252 <td colspan="3"><center><small>Yangzhou, Slender West Lake</small></center></td>  

   253 </tr>  

   254 </table>

   255 </center>

   256