equal
deleted
inserted
replaced
105 |
105 |
106 <!-- right column --> |
106 <!-- right column --> |
107 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
107 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
108 <TABLE> |
108 <TABLE> |
109 <TR> |
109 <TR> |
110 <TD><H1>ITP Heritage</H1></TD> |
110 <TD><H1>ITP Heritage and Conference History</H1></TD> |
111 </TABLE> |
111 </TABLE> |
112 <p> |
112 <p> |
113 [CFP] |
113 <HR> |
|
114 [<A HREF="index.html#dates">Important Dates</A>] |
|
115 [<A HREF="cfp.pdf">CFP</A>] |
|
116 [<A HREF="index.html#committees">Committees</A>] |
114 [<A HREF="history.html">Conference History</A>] |
117 [<A HREF="history.html">Conference History</A>] |
|
118 <HR> |
115 </p> |
119 </p> |
116 |
120 |
117 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and |
121 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and |
118 related topics, ranging from theoretical foundations to implementation |
122 related topics, ranging from theoretical foundations to implementation |
119 aspects and applications in program verification, security, and |
123 aspects and applications in program verification, security, and |