1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <html> |
2 <html> |
3 <head> |
3 <head> |
4 <title>Bid for ITP 2015</title> |
4 <title>Bid for ITP 2015</title> |
5 <script src="http://maps.google.com/maps?file=api&v=2&key=ABQIAAAAPK7aMC4FDjV_GNRHDThC1BTTdYAvEcsK2WWznOVPgLglzb1KQhR1cqhbUMaTXEN7XtSXuQxbViAeQg" |
5 <style> |
6 type="text/javascript"></script> |
6 #map_canvas { |
7 <script type="text/javascript"> |
7 width: 500px; |
8 |
8 height: 400px; |
9 function initialize() { |
|
10 if (GBrowserIsCompatible()) { |
|
11 var map = new GMap2(document.getElementById("map_canvas")); |
|
12 var TUM = new GLatLng(48.2630841153, 11.66718006134); |
|
13 map.setCenter(TUM, 0); |
|
14 map.setMapType(G_HYBRID_MAP); |
|
15 map.addControl(new GSmallMapControl()); |
|
16 map.addOverlay(new GMarker(TUM)); |
|
17 } |
9 } |
18 } |
10 </style> |
19 |
11 <script src="https://maps.googleapis.com/maps/api/js?sensor=false"></script> |
|
12 <script> |
|
13 function initialize() { |
|
14 var Latlng = new google.maps.LatLng(32.060255, 118.796877); |
|
15 var map_canvas = document.getElementById('map_canvas'); |
|
16 var map_options = { |
|
17 center: Latlng, |
|
18 zoom: 0, |
|
19 mapTypeId: google.maps.MapTypeId.HYBRID |
|
20 } |
|
21 var map = new google.maps.Map(map_canvas, map_options) |
|
22 |
|
23 var marker = new google.maps.Marker({ |
|
24 position: Latlng, |
|
25 map: map, |
|
26 title: 'Nanjing' |
|
27 }); |
|
28 } |
|
29 google.maps.event.addDomListener(window, 'load', initialize); |
20 </script> |
30 </script> |
21 <style> |
31 <style> |
22 body { font-size: 14px; |
32 body { font-size: 14px; |
23 font-family: "trebuchet ms", helvetica, sans-serif; } |
33 font-family: "trebuchet ms", helvetica, sans-serif; } |
24 </style> |
34 </style> |
106 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
116 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
107 is a situated in the heart of China — close to Shanghai and roughly equidistant |
117 is a situated in the heart of China — close to Shanghai and roughly equidistant |
108 between Beijing and Hong Kong. It is a former capital during the Ming |
118 between Beijing and Hong Kong. It is a former capital during the Ming |
109 Dynasty with a rich |
119 Dynasty with a rich |
110 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
120 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. |
111 We like to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by |
121 We propose to hold the 5th ITP Conference in Nanjing. The organising committee would be chaired by |
112 Xingyuan Zhang and Christian Urban. |
122 Xingyuan Zhang and Christian Urban. |
113 |
123 |
114 |
124 |
115 <H4>Travel to Nanjing</H4> |
125 <H4>Travel to Nanjing</H4> |
116 |
126 |
120 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
130 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
121 are also very convenient train connections from Shanghai and Beijing, which |
131 are also very convenient train connections from Shanghai and Beijing, which |
122 take slightly more than 1h from Shanghai and about 4h from Beijing. |
132 take slightly more than 1h from Shanghai and about 4h from Beijing. |
123 Travel within Nanjing can be done cheaply via taxi and public transportation. |
133 Travel within Nanjing can be done cheaply via taxi and public transportation. |
124 |
134 |
125 <H4>The Venue and Accommodation</H4> |
135 <p> |
|
136 <center> |
|
137 <div id="map_canvas" style="width: 300px; height: 170px"></div> |
|
138 </center> |
|
139 |
|
140 <H4>Venue and Accommodation</H4> |
126 |
141 |
127 The plan is to host the conference at the |
142 The plan is to host the conference at the |
128 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A> (Google Maps <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>) which is in easy |
143 <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 |
129 reach from the city centre. (...There are also many other hotels nearby.) |
144 reach from the city centre (<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 |
|
145 a conference (Wifi, conference rooms) and has links to the nearby universities. |
130 |
146 |
131 <center> |
147 <center> |
132 <img src="pics/hotel1.jpg" width="30%" height="45%"> |
148 <table style="width: 50%"> |
133 <img src="pics/hotel2.jpg" width="30%" height="45%"> |
149 <tr> |
134 </center> |
150 <td> |
|
151 <img src="pics/hotel1.jpg" width="98%" height="36%" border=0> |
|
152 </td> |
|
153 <td> |
|
154 <img src="pics/hotel2.jpg" width="98%" height="36%" border=0> |
|
155 </td> |
|
156 </tr> |
|
157 <tr> |
|
158 <td colspan="2"><center><small>Hanyuan Hotel</small></center></td> |
|
159 </tr> |
|
160 </table> |
|
161 </center> |
|
162 |
|
163 There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes |
|
164 a restaurant and there are innumerable restaurants around the hotel and in downtown |
|
165 Nanjing (link?). |
135 |
166 |
136 <H4>Advantages of Hosting ITP in Nanjing</H4> |
167 <H4>Advantages of Hosting ITP in Nanjing</H4> |
137 |
168 |
138 Many groups working on ITP, summerschool on Coq, never has been hosted |
169 Many groups working on ITP, summerschool on Coq, never has been hosted |
139 in China, several centres (Shanghai, Beijing, ...) |
170 in China, several centres (Shanghai, Beijing, ...) |
141 Good food, conference trip |
172 Good food, conference trip |
142 |
173 |
143 <H4>Timing and programme</H4> |
174 <H4>Timing and programme</H4> |
144 |
175 |
145 As is tradition, the conference will consist of 4 days of research |
176 As is tradition, the conference will consist of 4 days of research |
146 presentations, invited talks and possibly poster sessions. As informal |
177 presentations, invited talks and possibly poster sessions. Like in |
147 discussions are central to the conference, we would allow ample time |
178 previous ITP conferences, we would allow ample time between the formal |
148 between the formal sessions for attendees to mingle and converse. We |
179 sessions for attendees to mingle and converse. We expect workshops to |
149 expect workshops to take place during one or two days before or after the |
180 take place during one or two days before or after the main |
150 main conference. Half a day will be dedicated to an |
181 conference. Half a day will be dedicated to an excursion (see below). |
151 excursion (see below) |
|
152 |
182 |
153 <H4>Excursion</H4> |
183 <H4>Excursion</H4> |
154 |
184 |
155 We have two possible destinations for excursions: one is in |
185 We have two possible destinations for excursions: one is in |
156 Yangzhou, the other more leisurly inside the city... |
186 Yangzhou, the other more leisurly inside the city... |
157 |
187 |
158 |
188 |
159 <p> |
189 <p> |
160 |
190 |
161 <div id="map_canvas" style="width: 300px; height: 170px"></div> |
191 |
162 |
192 |
163 <p> |
193 <p> |
164 The <a href="http://www.in.tum.de/campus/index.html.en">Campus |
194 The <a href="http://www.in.tum.de/campus/index.html.en">Campus |
165 Garching</a> is located 10 km north of the city of Munich. There are |
195 Garching</a> is located 10 km north of the city of Munich. There are |
166 frequent Underground connections, taking about half an hour from the |
196 frequent Underground connections, taking about half an hour from the |