| changeset 25 | af623d2a1b3e |
| parent 24 | 4dab946931d8 |
| child 26 | abaa87d69a1d |
| 24:4dab946931d8 | 25:af623d2a1b3e |
|---|---|
95 <p align=center> |
95 <p align=center> |
96 <a href="pics/Nanjing3.jpg"> |
96 <a href="pics/Nanjing3.jpg"> |
97 <img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a> |
97 <img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a> |
98 <br> |
98 <br> |
99 <b>Nanjing's skyline</b><br> |
99 <b>Nanjing's skyline</b><br> |
100 </p> |
100 </p> |
101 |
|
102 <p align=center> |
|
103 <a href="pics/Nanjing4.jpg"> |
|
104 <img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a> |
|
105 <br> |
|
106 <b>Science and Technology<br> Museum</b><br> |
|
107 </p> |
|
101 |
108 |
102 </center> |
109 </center> |
103 |
110 |
104 </TD> |
111 </TD> |
105 |
112 |
123 |
130 |
124 |
131 |
125 <H4>Travel to Nanjing</H4> |
132 <H4>Travel to Nanjing</H4> |
126 |
133 |
127 Nanjing is a major city in China. |
134 Nanjing is a major city in China. |
128 There are international airline connections to |
135 There are international airline connections directly to |
129 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> directly |
136 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> |
130 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
137 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
131 are also very convenient train connections from Shanghai and Beijing, which |
138 are also very convenient train connections from Shanghai and Beijing, which |
132 take slightly more than 1h from Shanghai and about 4h from Beijing. |
139 take slightly more than 1h from Shanghai and about 4h from Beijing. |
133 Travel within Nanjing can be done cheaply via taxi and public transport. |
140 Travel within Nanjing can be done cheaply via taxi and public transport. |
134 |
141 |
139 |
146 |
140 <H4>Venue and Accommodation</H4> |
147 <H4>Venue and Accommodation</H4> |
141 |
148 |
142 The plan is to host the conference at the |
149 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 |
150 <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 (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 |
151 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> at Google Maps). It has the usual amenities for hosting |
145 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. |
152 conferences (Wifi, conference rooms, etc) and has links to neighbouring universities. |
146 |
153 |
147 <center> |
154 <center> |
148 <table style="width: 50%"> |
155 <table style="width: 50%"> |
149 <tr> |
156 <tr> |
169 around the hotel and in downtown Nanjing, all usually very affordable. |
176 around the hotel and in downtown Nanjing, all usually very affordable. |
170 |
177 |
171 <H4>Advantages of Hosting ITP in Nanjing</H4> |
178 <H4>Advantages of Hosting ITP in Nanjing</H4> |
172 |
179 |
173 There are several groups in the ITP area that are active in China. For example for the last |
180 There are several groups in the ITP area that are active in China. For example for the last |
174 five years there has been in China a popular |
181 five years there have been popular |
175 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershool</A> about Coq |
182 <A HREF="http://sts.thss.tsinghua.edu.cn/APSSFM_2013">summershools</A> in China about Coq |
176 with 50 or so student participants each. ITP (and TPHOLs) have |
183 with 50 or so student participants each. ITP (and TPHOLs) have |
177 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
184 <A HREF="http://itp2013.inria.fr/history.html">never</A> been hosted in |
178 China, and this might be an opportunity for the ITP community to foster relations |
185 China, and this might be an opportunity for the ITP community to foster relations |
179 with researchers from China and Asia, and for local researchers to become part of the |
186 with researchers from China and Asia, and for local researchers to become part of the |
180 ITP community. |
187 ITP community. |
182 <p> |
189 <p> |
183 Being in China, Nanjing offers the usual conveniences of good and |
190 Being in China, Nanjing offers the usual conveniences of good and |
184 affordable food. It has several |
191 affordable food. It has several |
185 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |
192 <A HREF="http://en.wikipedia.org/wiki/Nanjing#Museums">museums</A> |
186 and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>. |
193 and tourist <A HREF="http://en.wikipedia.org/wiki/Nanjing#Tourism">attractions</A>. |
187 In the nearer vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??). |
194 In the nearby vicinity are touristic hotspots like Hangzhou, Wuxie and Suzhou (??). |
188 Travelling |
195 Travelling |
189 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
196 <A HREF="http://www.travelchinaguide.com/embassy/visa.htm">visas</A> |
190 should not be difficult to obtain for nearly all researchers from the |
197 should not be difficult to obtain for participants |
191 ITP community. |
|
192 (anything else to add?) |
198 (anything else to add?) |
193 |
199 |
194 |
200 |
195 <H4>Timing and programme</H4> |
201 <H4>Timing and programme</H4> |
196 |
202 |