equal
deleted
inserted
replaced
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 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> |
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 is a situated in the heart of China. It is a former capital during the Ming |
117 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 |
118 between Beijing and Hong Kong. This is a bid to host the 5th International Conference |
118 between Beijing and Hong Kong. We like to propose to host the 5th International Conference |
119 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by |
119 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by |
120 Xingyuan Zhang and Christian Urban. |
120 Xingyuan Zhang and Christian Urban. |
121 |
121 |
122 |
122 |
123 <H4>Travel to Nanjing</H4> |
123 <H4>Travel to Nanjing</H4> |