equal
deleted
inserted
replaced
86 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
86 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
87 <TABLE> |
87 <TABLE> |
88 <TR> |
88 <TR> |
89 <TD><H1>Bids for Hosting ITP 2016</H1></TD> |
89 <TD><H1>Bids for Hosting ITP 2016</H1></TD> |
90 </TABLE> |
90 </TABLE> |
|
91 |
91 <p> |
92 <p> |
92 <HR> |
93 <HR> |
93 [<A HREF="index.html">Home</A>] |
94 [<A HREF="index.html">Home</A>] |
94 [<A HREF="index.html#dates">Important Dates</A>] |
95 [<A HREF="index.html#dates">Important Dates</A>] |
95 [<A HREF="cfp.pdf">CFP</A>] |
96 [<A HREF="cfp.pdf">CFP</A>] |
96 [<A HREF="index.html#committees">Committees</A>] |
97 [<A HREF="index.html#committees">Committees</A>] |
97 [<A HREF="history.html">Conference History</A>] |
98 [<A HREF="history.html">Conference History</A>] |
98 <HR> |
99 <HR> |
99 </p> |
100 |
100 |
101 |
101 <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 |
102 related topics, ranging from theoretical foundations to implementation |
103 related topics, ranging from theoretical foundations to implementation |
103 aspects and applications in program verification, security, and |
104 aspects and applications in program verification, security, and |
104 formalization of mathematics. The inaugural meeting of ITP was held on |
105 formalization of mathematics. The inaugural meeting of ITP was held on |