151 <td colspan="2"><center><small>Hanyuan Hotel</small></center></td> |
151 <td colspan="2"><center><small>Hanyuan Hotel</small></center></td> |
152 </tr> |
152 </tr> |
153 </table> |
153 </table> |
154 </center> |
154 </center> |
155 |
155 |
156 There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes |
156 There are also many nearby hotels in all prize categories (link?). |
|
157 |
|
158 <p> |
|
159 Hanyuan Hotel includes |
157 a restaurant and there are innumerable |
160 a restaurant and there are innumerable |
158 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
161 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
159 around the hotel and in downtown Nanjing, all usually very affordable. |
162 around the hotel and in downtown Nanjing, all usually very affordable. |
160 |
163 |
161 <H4>Advantages of Hosting ITP in Nanjing</H4> |
164 <H4>Advantages of Hosting ITP in Nanjing</H4> |
162 |
165 |
163 There are several groups active in China active in the ITP area. For example for the last |
166 There are several groups in the ITP area that are active in China. For example for the last |
164 five years there has been a popular |
167 five years there has been in China a popular |
165 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq |
168 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq |
166 with 50 or so student participants each. ITP (and TPHOLs) have |
169 with 50 or so student participants each. ITP (and TPHOLs) have |
167 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
170 <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 |
171 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 |
172 with researchers from China and Asia, and for local researchers to become part of the |
187 As is the tradition, the conference will consist of 4 days of research |
190 As is the tradition, the conference will consist of 4 days of research |
188 presentations and invited talks. Like in |
191 presentations and invited talks. Like in |
189 previous ITP conferences, we would allow ample time between the formal |
192 previous ITP conferences, we would allow ample time between the formal |
190 sessions for attendees to mingle and converse. We expect workshops to |
193 sessions for attendees to mingle and converse. We expect workshops to |
191 take place during one or two days before or after the main |
194 take place during one or two days before or after the main |
192 conference. Half a day will be dedicated to an excursion. |
195 conference. Half a day will be dedicated to an excursion... |
193 |
196 |
194 <H4>Excursion</H4> |
197 <H4>Excursion</H4> |
195 |
198 |
196 We have two possible destinations for excursions in mind: one is to |
199 We have two possible destinations for an excursion in mind: one is to |
197 Yangzhou, and the other is more leisurly tour of Nanjing... |
200 Yangzhou, and the other is more leisurly — a tour of Nanjing... |
198 |
201 |
199 |
202 |
200 |
203 |
201 <H4>Finance</H4> |
204 <H4>Finance</H4> |
202 |
205 |
203 We will seek to keep costs low by negotiating discounts with |
206 We will seek to keep costs low by negotiating discounts with |
204 the hotel and try to find sponsoring where sensible. |
207 the hotel and by trying to find sponsoring where sensible. |
205 |
208 |
206 <H4>Experience of the Programme Chairs</H4> |
209 <H4>Experience of the Programme Chairs</H4> |
207 |
210 |
208 Xingyuan and Christian are regular participants at ITP having the good fortune to have |
211 Xingyuan and Christian are regular participants at ITP having had the good fortune to have |
209 papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference |
212 papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference |
210 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
213 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
211 |
214 |
212 |
215 |
213 </TD> |
216 </TD> |