equal
deleted
inserted
replaced
116 <HR> |
116 <HR> |
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 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
121 <HR> |
122 <HR> |
122 |
123 |
123 |
124 |
124 <p> |
125 <p> |
125 The 6th conference on Interactive Theorem Proving will be held in |
126 The 6th conference on Interactive Theorem Proving will be held in |