56 VALIGN="TOP" |
56 VALIGN="TOP" |
57 ROWSPAN="2"> |
57 ROWSPAN="2"> |
58 |
58 |
59 |
59 |
60 <p align=center> |
60 <p align=center> |
61 <a href="pictures/englischer_garten.jpg"> |
61 <a href="pics/ITP-Linggusu.jpg"> |
62 <img src="pictures/englischer_garten_small.jpg" alt="Englischer Garten" border=0></a> |
62 <img src="pics/ITP-Linggusu.jpg" width="50%" height="10%" alt="Linggusu" border=0></a> |
63 <br> |
63 <br> |
64 <b>Englischer Garten</b><br> |
64 <b>Linggusu</b><br> |
65 </p> |
65 </p> |
66 |
66 |
67 <p align=center> |
67 <p align=center> |
68 <a href="pictures/chinesischer_turm.jpg"> |
68 <a href="pics/ITP-Mochou.jpg"> |
69 <img src="pictures/chinesischer_turm_small.jpg" alt="Chinesischer Turm" border=0></a> |
69 <img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="10%" border=0></a> |
70 <br> |
70 <br> |
71 <b>Chinesischer Turm (Beer Garden)</b><br> |
71 <b>Mochou</b><br> |
72 </p> |
72 </p> |
73 |
73 |
74 <p align=center> |
74 <p align=center> |
75 <a href="pictures/marienplatz.jpg"> |
75 <a href="pics/ITP-najing-cit-walk.jpg"> |
76 <img src="pictures/marienplatz_small.jpg" alt="Marienplatz" border=0></a> |
76 <img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="10%" border=0></a> |
77 <br> |
77 <br> |
78 <b>Marienplatz (City Center)</b><br> |
78 <b>City Wall</b><br> |
79 </p> |
|
80 |
|
81 <p align=center> |
|
82 <a href="pictures/nationaltheater.jpg"> |
|
83 <img src="pictures/nationaltheater_small.jpg" alt="Nationaltheater" border=0></a> |
|
84 <br> |
|
85 <b>The Nationaltheater</b><br> |
|
86 </p> |
|
87 |
|
88 <p align=center> |
|
89 <a href="pictures/maximilianstrasse.jpg"> |
|
90 <img src="pictures/maximilianstrasse_small.jpg" alt="Maximilianstraße" border=0></a> |
|
91 <br> |
|
92 <b>Maximilianstraße</b><br> |
|
93 </p> |
|
94 |
|
95 <p align=center> |
|
96 <a href="pictures/isar.jpg"> |
|
97 <img src="pictures/isar_small.jpg" alt="The river Isar" border=0></a> |
|
98 <br> |
|
99 <b>The Isar river</b><br> |
|
100 </p> |
79 </p> |
101 |
80 |
102 </center> |
81 </center> |
103 |
82 |
104 </TD> |
83 </TD> |
139 |
118 |
140 <H4>Venue and Accommodation</H4> |
119 <H4>Venue and Accommodation</H4> |
141 |
120 |
142 The plan is to host the conference at the |
121 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 Hotel</A>, which is in easy |
122 <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 |
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 |
123 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 |
145 a conference (Wifi, conference rooms) and has links to the nearby universities. |
124 a conference (Wifi, conference rooms, etc) and has links to neighbouring universities. |
146 |
125 |
147 <center> |
126 <center> |
148 <table style="width: 50%"> |
127 <table style="width: 50%"> |
149 <tr> |
128 <tr> |
150 <td> |
129 <td> |
159 </tr> |
138 </tr> |
160 </table> |
139 </table> |
161 </center> |
140 </center> |
162 |
141 |
163 There are also many nearby hotels in all prize categories (link?). Hanyuan Hotel includes |
142 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 |
143 a restaurant and there are innumerable |
165 Nanjing (link?). |
144 <A HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A> |
|
145 around the hotel and in downtown Nanjing, all usually very affordable. |
166 |
146 |
167 <H4>Advantages of Hosting ITP in Nanjing</H4> |
147 <H4>Advantages of Hosting ITP in Nanjing</H4> |
168 |
148 |
169 Many groups working on ITP, summerschool on Coq, never has been hosted |
149 Many groups working on ITP, summerschool on Coq, never has been hosted |
170 in China, several centres (Shanghai, Beijing, ...) |
150 in China, several centres (Shanghai, Beijing, ...) |
171 |
151 |
172 Good food, conference trip |
152 Good food, conference trip |
173 |
153 |
174 <H4>Timing and programme</H4> |
154 <H4>Timing and programme</H4> |
175 |
155 |
176 As is tradition, the conference will consist of 4 days of research |
156 As is the tradition, the conference will consist of 4 days of research |
177 presentations, invited talks and possibly poster sessions. Like in |
157 presentations and invited talks. Like in |
178 previous ITP conferences, we would allow ample time between the formal |
158 previous ITP conferences, we would allow ample time between the formal |
179 sessions for attendees to mingle and converse. We expect workshops to |
159 sessions for attendees to mingle and converse. We expect workshops to |
180 take place during one or two days before or after the main |
160 take place during one or two days before or after the main |
181 conference. Half a day will be dedicated to an excursion (see below). |
161 conference. Half a day will be dedicated to an excursion (see below). |
182 |
162 |
183 <H4>Excursion</H4> |
163 <H4>Excursion</H4> |
184 |
164 |
185 We have two possible destinations for excursions: one is in |
165 We have two possible destinations for excursions in mind: one is to |
186 Yangzhou, the other more leisurly inside the city... |
166 Yangzhou, and the other is more leisurly inside the city... |
187 |
|
188 |
|
189 <p> |
|
190 |
167 |
191 |
168 |
192 |
169 |
193 <p> |
170 <H4>Finance</H4> |
194 The <a href="http://www.in.tum.de/campus/index.html.en">Campus |
|
195 Garching</a> is located 10 km north of the city of Munich. There are |
|
196 frequent Underground connections, taking about half an hour from the |
|
197 very center of Munich to the department of Computer Science. |
|
198 |
171 |
199 <p> |
172 We will seek to keep the costs low by using negotiating discounts with |
200 Munich offers a wide range of accommodation facilities and |
173 the hotel. |
201 restaurants. Late August is usually the best season for enoying the |
|
202 many beer gardens. |
|
203 |
174 |
|
175 <H4>Experience</H4> |
204 |
176 |
205 <H4>Finance</H4> We will seek to keep the costs for attending the |
177 Xingyuan and Christian are regular participants at ITP having had papers |
206 conference low. |
178 at all ITPs so far. Christian has been a co-organiser of the TPHOLs conference |
|
179 in 2009 in Munich. |
207 |
180 |
208 <center> |
|
209 <table> |
|
210 <img src="pics/ITP-Linggusu.jpg"> |
|
211 <img src="pics/ITP-Mochou.jpg"> |
|
212 <img src="pics/ITP-najing-cit-walk.jpg"> |
|
213 </table> |
|
214 </center> |
|
215 |
181 |
216 </TD> |
182 </TD> |
217 </TR> |
183 </TR> |
218 </TABLE> |
184 </TABLE> |
219 |
185 |