equal
deleted
inserted
replaced
110 <TD><H1>ITP 2015 will be in Nanjing</H1></TD> |
110 <TD><H1>ITP 2015 will be in Nanjing</H1></TD> |
111 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
111 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD> |
112 </TR> |
112 </TR> |
113 </TABLE> |
113 </TABLE> |
114 <p> |
114 <p> |
115 |
115 [CFP] |
116 </p> |
116 [<A HREF="history.html">Conference History</A>] |
|
117 </p> |
|
118 |
117 <p> |
119 <p> |
118 The 6th conference on Interactive Theorem Proving will be held in |
120 The 6th conference on Interactive Theorem Proving will be held in |
119 Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
121 Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
120 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
122 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
121 in the heart of China — close to Shanghai and roughly |
123 in the heart of China — close to Shanghai and roughly |