105 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
105 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
106 </TR> |
106 </TR> |
107 </TABLE> |
107 </TABLE> |
108 <BR> |
108 <BR> |
109 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
109 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
110 is a situated in the heart of China — close to Shanghai and roughly equidistant |
110 is situated in the heart of China — close to Shanghai and roughly equidistant |
111 between Beijing and Hong Kong. It is a former capital during the Ming |
111 between Beijing and Hong Kong. It is a former capital during the Ming |
112 Dynasty with a rich |
112 Dynasty with a rich |
113 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
113 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
114 We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by |
114 We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by |
115 Xingyuan Zhang and Christian Urban. |
115 Xingyuan Zhang and Christian Urban. |
121 There are international airline connections to |
121 There are international airline connections to |
122 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly |
122 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly |
123 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
123 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
124 are also very convenient train connections from Shanghai and Beijing, which |
124 are also very convenient train connections from Shanghai and Beijing, which |
125 take slightly more than 1h from Shanghai and about 4h from Beijing. |
125 take slightly more than 1h from Shanghai and about 4h from Beijing. |
126 Travel within Nanjing can be done cheaply via taxi and public transportation. |
126 Travel within Nanjing can be done cheaply via taxi and public transport. |
127 |
127 |
128 <p> |
128 <p> |
129 <center> |
129 <center> |
130 <div id="map_canvas" style="width: 300px; height: 170px"></div> |
130 <div id="map_canvas" style="width: 300px; height: 170px"></div> |
131 </center> |
131 </center> |
133 <H4>Venue and Accommodation</H4> |
133 <H4>Venue and Accommodation</H4> |
134 |
134 |
135 The plan is to host the conference at the |
135 The plan is to host the conference at the |
136 <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 |
136 <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 |
137 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 |
137 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 |
138 a conference (Wifi, conference rooms, etc) and has links to neighbouring universities. |
138 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. |
139 |
139 |
140 <center> |
140 <center> |
141 <table style="width: 50%"> |
141 <table style="width: 50%"> |
142 <tr> |
142 <tr> |
143 <td> |
143 <td> |
158 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
158 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
159 around the hotel and in downtown Nanjing, all usually very affordable. |
159 around the hotel and in downtown Nanjing, all usually very affordable. |
160 |
160 |
161 <H4>Advantages of Hosting ITP in Nanjing</H4> |
161 <H4>Advantages of Hosting ITP in Nanjing</H4> |
162 |
162 |
163 Many groups working on ITP, summerschool on Coq, never has been hosted |
163 There are several groups active in China active in the ITP area. For the last |
164 in China, several centres (Shanghai, Beijing, ...) |
164 five years there has been a popular |
165 |
165 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq taking place in China |
166 Good food, conference trip |
166 with 50 or so student participants. ITP (and TPHOLs) have |
|
167 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
|
168 China, and this might be an opportunity for the ITP community to foster relations |
|
169 with researchers from China and Asia, and for local researchers to become part of the |
|
170 ITP community. |
|
171 |
|
172 <p> |
|
173 Being in China, Nanjing offers the usual conveniences of good and |
|
174 affordable food. It has several |
|
175 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |
|
176 and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>. |
|
177 In the near vicinity are touristic hotspots like Hangzhou ... (??). |
|
178 Travelling |
|
179 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
|
180 should not be difficult to obtain for nearly all researchers from the |
|
181 ITP community. |
|
182 (anything else to add?) |
|
183 |
167 |
184 |
168 <H4>Timing and programme</H4> |
185 <H4>Timing and programme</H4> |
169 |
186 |
170 As is the tradition, the conference will consist of 4 days of research |
187 As is the tradition, the conference will consist of 4 days of research |
171 presentations and invited talks. Like in |
188 presentations and invited talks. Like in |
172 previous ITP conferences, we would allow ample time between the formal |
189 previous ITP conferences, we would allow ample time between the formal |
173 sessions for attendees to mingle and converse. We expect workshops to |
190 sessions for attendees to mingle and converse. We expect workshops to |
174 take place during one or two days before or after the main |
191 take place during one or two days before or after the main |
175 conference. Half a day will be dedicated to an excursion (see below). |
192 conference. Half a day will be dedicated to an excursion. |
176 |
193 |
177 <H4>Excursion</H4> |
194 <H4>Excursion</H4> |
178 |
195 |
179 We have two possible destinations for excursions in mind: one is to |
196 We have two possible destinations for excursions in mind: one is to |
180 Yangzhou, and the other is more leisurly inside the city... |
197 Yangzhou, and the other is more leisurly inside the city... |
181 |
198 |
182 |
199 |
183 |
200 |
184 <H4>Finance</H4> |
201 <H4>Finance</H4> |
185 |
202 |
186 We will seek to keep the costs low by negotiating discounts with |
203 We will seek to keep costs low by negotiating discounts with |
187 the hotel. |
204 the hotel and try to find sponsoring where sensible. |
188 |
205 |
189 <H4>Experience of the Programme Chairs</H4> |
206 <H4>Experience of the Programme Chairs</H4> |
190 |
207 |
191 Xingyuan and Christian are regular participants at ITP having had papers accepted |
208 Xingyuan and Christian are regular participants at ITP having the good fortune to have |
192 at all ITPs so far. Christian was a co-organiser of the TPHOLs conference |
209 papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference |
193 in 2009 in Munich. |
210 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
194 |
211 |
195 |
212 |
196 </TD> |
213 </TD> |
197 </TR> |
214 </TR> |
198 </TABLE> |
215 </TABLE> |