|
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
2 <html> |
|
3 <head> |
|
4 <title>ITP 2015 in Nanjing</title> |
|
5 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
|
6 <style type="text/css"> |
|
7 #map_canvas { |
|
8 width: 500px; |
|
9 height: 400px; |
|
10 } |
|
11 </style> |
|
12 <script type="text/javascript" src="https://maps.googleapis.com/maps/api/js?sensor=false"></script> |
|
13 <script type="text/javascript"> |
|
14 function initialize() { |
|
15 var Latlng = new google.maps.LatLng(32.060255, 118.796877); |
|
16 var map_canvas = document.getElementById('map_canvas'); |
|
17 var map_options = { |
|
18 center: Latlng, |
|
19 zoom: 0, |
|
20 mapTypeId: google.maps.MapTypeId.HYBRID |
|
21 } |
|
22 var map = new google.maps.Map(map_canvas, map_options) |
|
23 |
|
24 var marker = new google.maps.Marker({ |
|
25 position: Latlng, |
|
26 map: map, |
|
27 title: 'Nanjing' |
|
28 }); |
|
29 } |
|
30 google.maps.event.addDomListener(window, 'load', initialize); |
|
31 </script> |
|
32 <style type="text/css"> |
|
33 body { font-size: 14px; |
|
34 font-family: "trebuchet ms", helvetica, sans-serif; } |
|
35 </style> |
|
36 </head> |
|
37 |
|
38 <BODY TEXT="#000000" |
|
39 BGCOLOR="#4169E1" |
|
40 LINK="#0000EF" |
|
41 VLINK="#51188E" |
|
42 ALINK="#FF0000" |
|
43 onload="initialize()" onunload="GUnload()"> |
|
44 |
|
45 <TABLE WIDTH="100%" |
|
46 BGCOLOR="#4169E1" |
|
47 BORDER="0" |
|
48 FRAME="border" |
|
49 CELLPADDING="10" |
|
50 CELLSPACING="2" |
|
51 RULES="all"> |
|
52 |
|
53 <!-- left column --> |
|
54 <TR> |
|
55 <TD BGCOLOR="#FFFFFF" |
|
56 WIDTH="20%" |
|
57 VALIGN="TOP" |
|
58 ROWSPAN="2"> |
|
59 |
|
60 |
|
61 <p align=center> |
|
62 <a href="pics/ITP-Linggusu.jpg"> |
|
63 <img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a> |
|
64 <br> |
|
65 Linggusi pagoda<br> |
|
66 </p> |
|
67 |
|
68 <p align=center> |
|
69 <a href="pics/ITP-Mochou.jpg"> |
|
70 <img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a> |
|
71 <br> |
|
72 Mochou Lake Park<br> |
|
73 </p> |
|
74 |
|
75 <p align=center> |
|
76 <a href="pics/ITP-najing-cit-walk.jpg"> |
|
77 <img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="18%" border=0></a> |
|
78 <br> |
|
79 Nanjing city wall<br> |
|
80 </p> |
|
81 |
|
82 <p align=center> |
|
83 <a href="pics/Nanjing2.jpg"> |
|
84 <img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a> |
|
85 <br> |
|
86 "Elephant Road" of the<br> Ming tomb<br> |
|
87 </p> |
|
88 |
|
89 <p align=center> |
|
90 <a href="pics/Nanjing3.jpg"> |
|
91 <img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a> |
|
92 <br> |
|
93 Nanjing's skyline<br> |
|
94 </p> |
|
95 |
|
96 <p align=center> |
|
97 <a href="pics/Nanjing4.jpg"> |
|
98 <img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a> |
|
99 <br> |
|
100 Science and Technology<br> Museum<br> |
|
101 </p> |
|
102 |
|
103 </TD> |
|
104 |
|
105 |
|
106 <!-- right column --> |
|
107 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
|
108 <TABLE> |
|
109 <TR> |
|
110 <TD><H1>ITP 2015 will be in Nanjing: Our bid has been accepted!</H1></TD> |
|
111 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
|
112 </TR> |
|
113 </TABLE> |
|
114 <BR> |
|
115 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
|
116 in the heart of China — close to Shanghai and roughly |
|
117 equidistant between Beijing and Hong Kong. It is a former capital |
|
118 during the Ming Dynasty with a rich <A |
|
119 HREF="http://www.cityofnanjing.com">cultural heritage</A>. We propose |
|
120 to hold the 5th ITP Conference in Nanjing. The organising committee |
|
121 would be chaired by Xingyuan Zhang and Christian Urban. |
|
122 |
|
123 |
|
124 <H4>Travel to Nanjing</H4> |
|
125 |
|
126 Nanjing is a major city in China. There are international airline |
|
127 connections directly to <A |
|
128 HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing |
|
129 Lukou Airport</A> and via transfer at airports in Hong Kong, Beijing, |
|
130 Shanghai and many others. There are also very convenient train |
|
131 connections from Shanghai and Beijing, which take slightly more than |
|
132 1h from Shanghai and about 4h from Beijing. Travel within Nanjing can |
|
133 be done cheaply via taxi and public transport. |
|
134 |
|
135 <p> |
|
136 <center> |
|
137 <div id="map_canvas" style="width: 300px; height: 170px"></div> |
|
138 </center> |
|
139 |
|
140 <H4>Venue and Accommodation</H4> |
|
141 |
|
142 The plan is to host the conference at the |
|
143 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan |
|
144 Hotel</A>, which is inexpensive |
|
145 (ca. 350元/£35/$60/€40 per night including breakfast) |
|
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> |
|
147 at Google Maps). It has the usual amenities for hosting conferences |
|
148 (Wifi, conference rooms, etc) and has links to neighbouring |
|
149 universities. There is also the possibility to use lecture rooms for |
|
150 free in Xingyuan's university at the other side of the road. Hanyuan |
|
151 Hotel includes a restaurant and there are innumerable <A |
|
152 HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
|
153 around the hotel and in downtown Nanjing, all usually very affordable. |
|
154 |
|
155 <center> |
|
156 <table style="width: 75%"> |
|
157 <tr> |
|
158 <td> |
|
159 <img src="pics/hotel1.jpg" alt="hotel" width="98%" height="21%" border=0> |
|
160 </td> |
|
161 <td> |
|
162 <img src="pics/hotel2.jpg" alt="hotel" width="98%" height="21%" border=0> |
|
163 </td> |
|
164 <td> |
|
165 <img src="pics/hotel4.jpg" alt="hotel" width="98%" height="21%" border=0> |
|
166 </td> |
|
167 </tr> |
|
168 <tr> |
|
169 <td colspan="3"><center><small>Hanyuan Hotel</small></center></td> |
|
170 </tr> |
|
171 </table> |
|
172 </center> |
|
173 |
|
174 There are also many additional |
|
175 <A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all price categories nearby. |
|
176 |
|
177 |
|
178 <H4>Advantages of Hosting ITP in Nanjing</H4> |
|
179 |
|
180 There are several groups in the ITP area that are active in China. For example for the last |
|
181 five years there have been popular |
|
182 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq |
|
183 with 50 or so student participants each. ITP (and TPHOLs) have |
|
184 <A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">never</A> been hosted in |
|
185 China, and this might be an opportunity for the ITP community to foster relations |
|
186 with researchers from China and Asia, and for local researchers to become part of the |
|
187 ITP community. |
|
188 |
|
189 <p> |
|
190 Being in China, Nanjing offers the usual conveniences of good and |
|
191 affordable food. It has several excellent |
|
192 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |
|
193 and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>. |
|
194 In the nearby vicinity are touristic hotspots like |
|
195 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>, |
|
196 <A HREF="http://en.wikipedia.org/wiki/Hangzhou">Hangzhou</A>, |
|
197 <A HREF="http://en.wikipedia.org/wiki/Wuxi">Wuxi</A> and |
|
198 <A HREF="http://en.wikipedia.org/wiki/Suzhou">Suzhou</A>. |
|
199 Travelling |
|
200 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
|
201 to China should be easy to obtain for participants. |
|
202 |
|
203 |
|
204 <H4>Timing and programme</H4> |
|
205 |
|
206 We propose to hold the conference in late summer, for example in |
|
207 the last week of August (which is the usual time for ITP/TPHOLs) or |
|
208 first week of September. However we can be flexible and accommodate any |
|
209 other time in July and August. Our preference for late summer is because |
|
210 temperatures in Nanjing will then be more moderate than in the high season. |
|
211 <p> |
|
212 |
|
213 As is the tradition, the conference |
|
214 would consist of 4 days of research presentations and invited |
|
215 talks. Like in previous conferences, we would allow ample time |
|
216 between the formal sessions for attendees to mingle and converse. We |
|
217 expect workshops to take place during one or two days before or after |
|
218 the main conference. Half a day will be dedicated to an excursion... |
|
219 |
|
220 <H4>Excursion</H4> |
|
221 |
|
222 We have two possible destinations for an excursion in mind: one is to |
|
223 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (1h away |
|
224 from Nanjing by bus), and the other is a (more leisurely) tour of |
|
225 Nanjing and its attractions. The tour to Yangzhou would involve a walk |
|
226 around the Slender West Lake with its pavilions, the white Lotus |
|
227 Flower Pagoda and the Suzhou-style gardens. One the way we would |
|
228 visit the <A HREF="http://arts.cultural-china.com/en/85Arts6286.html">Daming Temple</A> |
|
229 and the old Stone Pagoda of Yangzhou. The day |
|
230 would finish with a dinner in the well-known |
|
231 <A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant. The |
|
232 best tour around Nanjing is to go to the |
|
233 <A HREF="http://en.wikipedia.org/wiki/Purple_Mountain">Purple Mountains</A> passing by |
|
234 the <A HREF="http://en.wikipedia.org/wiki/Linggu_Temple">Linggusi</A> pagoda, |
|
235 the <A HREF="http://en.wikipedia.org/wiki/City_Wall_of_Nanjing">city wall</A> and the |
|
236 <A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on |
|
237 the left). There is a wide selection of excellent restaurants around |
|
238 Nanjing's Confucius Temple for a conference dinner. If our bid is |
|
239 chosen, we would canvas for opinions about what participants would be |
|
240 most interested in. |
|
241 |
|
242 <center> |
|
243 <table style="width: 75%"> |
|
244 <tr> |
|
245 <td> |
|
246 <img src="pics/Yangzhou2.jpg" alt="Yangzhou" width="98%" height="21%" border=0> |
|
247 </td> |
|
248 <td> |
|
249 <img src="pics/Yangzhou1.jpg" alt="Yangzhou" width="98%" height="21%" border=0> |
|
250 </td> |
|
251 <td> |
|
252 <img src="pics/Yangzhou3.jpg" alt="Yangzhou" width="98%" height="21%" border=0> |
|
253 </td> |
|
254 </tr> |
|
255 <tr> |
|
256 <td colspan="3"><center><small>Yangzhou, Slender West Lake</small></center></td> |
|
257 </tr> |
|
258 </table> |
|
259 </center> |
|
260 |
|
261 |
|
262 <H4>Finance</H4> |
|
263 |
|
264 We will seek to keep costs low by negotiating discounts with |
|
265 the hotel and by trying to find sponsoring where sensible. |
|
266 |
|
267 <H4>Experience of the Programme Chairs and Local Organisation</H4> |
|
268 |
|
269 Xingyuan and Christian are regular participants at ITP. Christian was a |
|
270 co-organiser of the TPHOLs conference |
|
271 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>. |
|
272 We will make use of the infrastructure available at Xingyuan's university for local |
|
273 organisation. There will also be a student team that helps with running the conference. |
|
274 </TD> |
|
275 </TR> |
|
276 </TABLE> |
|
277 |
|
278 <hr> |
|
279 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
|
280 </body> |
|
281 </html> |