| changeset 10 | 71dba6aecd86 |
| parent 9 | eb6b573f3bad |
| child 11 | 55fe56a5989a |
| 9:eb6b573f3bad | 10:71dba6aecd86 |
|---|---|
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 and Accommodation</H4> |
132 <H4>The Venue and Accommodation</H4> |
133 |
133 |
134 The plan is to host the conference at the |
134 The plan is to host the conference at the |
135 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan Hotel</A> (Google <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 |
135 <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 |
136 reach from the city centre. (...There are also many other hotels nearby.) |
136 reach from the city centre. (...There are also many other hotels nearby.) |
137 |
137 |
138 <center> |
138 <center> |
139 <img src="pics/hotel1.jpg"> |
139 <img src="pics/hotel1.jpg" width="30%" height="45%"> |
140 <img src="pics/hotel2.jpg"> |
140 <img src="pics/hotel2.jpg" width="30%" height="45%"> |
141 </center> |
141 </center> |
142 |
142 |
143 <H4>Advantages of Hosting ITP in Nanjing</H4> |
143 <H4>Advantages of Hosting ITP in Nanjing</H4> |
144 |
144 |
145 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 |