110 <TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD> |
110 <TD><H1>Bid to host ITP 2015 in Nanjing</H1></TD> |
111 <TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD> |
111 <TD align="right" valign="top"><img src="TUM-Logo-102.png" alt="TUM" align="top"></TD> |
112 </TR> |
112 </TR> |
113 </TABLE> |
113 </TABLE> |
114 <BR> |
114 <BR> |
115 Nanjing is a situated in the heart of China, a former capital during the Ming |
115 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
|
116 is a situated in the heart of China, a former capital during the Ming |
116 Dynasty with a rich cultural heritage. It is close to Shanghai and roughly equidistant |
117 Dynasty with a rich cultural heritage. It is close to Shanghai and roughly equidistant |
117 between Beijing and Hong Kong. This is a bid to host the 5th ITP conference there. |
118 between Beijing and Hong Kong. This is a bid to host the 5th International Conference |
118 The organising committee would be chaired by Xingyuan Zhang and Christian Urban. |
119 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by |
|
120 Xingyuan Zhang and Christian Urban. |
119 |
121 |
120 |
122 |
121 <H4>Travel to Nanjing</H4> |
123 <H4>Travel to Nanjing</H4> |
122 |
124 |
123 There are many connections directly to |
125 There are many airline connections directly to |
124 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> |
126 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A> |
125 and via transfer at Hong Kong, Beijing, Shanghai and many others. There |
127 and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There |
126 are also very convenient train connections from Shanghai and Beijing, which |
128 are also very convenient train connections from Shanghai and Beijing, which |
127 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. |
128 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. |
129 |
131 |
130 <H4>Not updated</H4> |
132 <H4>Not updated</H4> |