equal
deleted
inserted
replaced
117 [<A HREF="index.html#dates">Important Dates</A>] |
117 [<A HREF="index.html#dates">Important Dates</A>] |
118 [<A HREF="cfp.pdf">CFP</A>] |
118 [<A HREF="cfp.pdf">CFP</A>] |
119 [<A HREF="index.html#committees">Committees</A>] |
119 [<A HREF="index.html#committees">Committees</A>] |
120 [<A HREF="history.html">Conference History</A>] |
120 [<A HREF="history.html">Conference History</A>] |
121 <HR> |
121 <HR> |
122 </p> |
122 |
123 |
123 |
124 <p> |
124 <p> |
125 The 6th conference on Interactive Theorem Proving will be held in |
125 The 6th conference on Interactive Theorem Proving will be held in |
126 Nanjing, China. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
126 Nanjing, China. The organising committee is chaired by Xingyuan Zhang and Christian Urban. |
127 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |
127 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated |