equal
deleted
inserted
replaced
109 <TR> |
109 <TR> |
110 <TD><H1>ITP 2015 will be in Nanjing, China</H1></TD> |
110 <TD><H1>ITP 2015 will be in Nanjing, China</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 |
114 <p> |
115 <p> |
115 <HR> |
116 <HR> |
116 [<a href="index.html#dates">Important Dates</a>] |
117 [<A HREF="index.html#dates">Important Dates</A>] |
117 [<A HREF="cfp.pdf">CFP</A>] |
118 [<A HREF="cfp.pdf">CFP</A>] |
118 [<a href="index.html#committees">Committees</a>] |
119 [<A HREF="index.html#committees">Committees</A>] |
119 [<A HREF="history.html">Conference History</A>] |
120 [<A HREF="history.html">Conference History</A>] |
120 <HR></p> |
121 <HR> |
|
122 </p> |
121 |
123 |
122 <p> |
124 <p> |
123 The 6th conference on Interactive Theorem Proving will be held in |
125 The 6th conference on Interactive Theorem Proving will be held in |
124 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. |
125 <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 |