equal
deleted
inserted
replaced
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. It is 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 |
118 between Beijing and Hong Kong. We like to propose to host the 5th International Conference |
118 <A HREF="http://www.cityofnanjing.com">cultural heritage</A>. It is close to Shanghai and roughly equidistant |
|
119 between Beijing and Hong Kong. We like to propose to hold the 5th International Conference |
119 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by |
120 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by |
120 Xingyuan Zhang and Christian Urban. |
121 Xingyuan Zhang and Christian Urban. |
121 |
122 |
122 |
123 |
123 <H4>Travel to Nanjing</H4> |
124 <H4>Travel to Nanjing</H4> |