equal
deleted
inserted
replaced
93 <HR> |
93 <HR> |
94 [<A HREF="index.html">Home</A>] |
94 [<A HREF="index.html">Home</A>] |
95 [<A HREF="index.html#dates">Important Dates</A>] |
95 [<A HREF="index.html#dates">Important Dates</A>] |
96 [<A HREF="cfp.pdf">CFP</A>] |
96 [<A HREF="cfp.pdf">CFP</A>] |
97 [<A HREF="index.html#committees">Committees</A>] |
97 [<A HREF="index.html#committees">Committees</A>] |
98 [<A HREF="history.html">Conference History</A>] |
98 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
99 <HR> |
99 <HR> |
100 </p> |
100 </p> |
101 |
101 |
102 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and |
102 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and |
103 related topics, ranging from theoretical foundations to implementation |
103 related topics, ranging from theoretical foundations to implementation |