127 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
127 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
128 are also very convenient train connections from Shanghai and Beijing, which |
128 are also very convenient train connections from Shanghai and Beijing, which |
129 take slightly more than 1h from Shanghai and about 4h from Beijing. |
129 take slightly more than 1h from Shanghai and about 4h from Beijing. |
130 Travel within Nanjing can be done cheaply via taxi and public transportation. |
130 Travel within Nanjing can be done cheaply via taxi and public transportation. |
131 |
131 |
132 <H4>The Venue</H4> |
132 <H4>The Venue and Accommodation</H4> |
133 |
133 |
134 The plan is to host the conference at the <Hanyuan |
134 The plan is to host the conference at the |
135 |
135 <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 reach from the city centre. (...There are also many other hotels nearby.) |
|
137 |
|
138 <center> |
|
139 <img src="pics/hotel1.jpg"> |
|
140 <img src="pics/hotel2.jpg"> |
|
141 </center> |
136 |
142 |
137 <H4>Advantages of Hosting ITP in Nanjing</H4> |
143 <H4>Advantages of Hosting ITP in Nanjing</H4> |
138 |
144 |
139 Many groups working on ITP, summerschool on Coq, never has been hosted |
145 Many groups working on ITP, summerschool on Coq, never has been hosted |
140 in China, several centres (Shanghai, Beijing, ...) |
146 in China, several centres (Shanghai, Beijing, ...) |
163 Our computer science building at the Campus Garching provides |
169 Our computer science building at the Campus Garching provides |
164 excellent facilities for lectures, coffee breaks, lunch, and Internet |
170 excellent facilities for lectures, coffee breaks, lunch, and Internet |
165 connectivity via WLAN. |
171 connectivity via WLAN. |
166 |
172 |
167 |
173 |
168 <H4>Organising Committee</H4> |
|
169 |
|
170 <UL> |
|
171 <LI> <A HREF="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</A> |
|
172 <LI> <A HREF="http://www4.in.tum.de/~wenzelm/">Makarius Wenzel</A> |
|
173 <LI> <A HREF="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</A> |
|
174 <LI> <A HREF="http://www4.in.tum.de/~urbanc/">Christian Urban</A> |
|
175 </UL> |
|
176 |
174 |
177 |
175 |
178 <H4>Travel and Accomodation</H4> |
176 <H4>Travel and Accomodation</H4> |
179 |
177 |
180 <A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated |
178 <A HREF="http://en.wikipedia.org/wiki/Munich">Munich</a> is situated |