equal
deleted
inserted
replaced
34 <TD BGCOLOR="#FFFFFF" |
34 <TD BGCOLOR="#FFFFFF" |
35 WIDTH="20%" |
35 WIDTH="20%" |
36 VALIGN="TOP" |
36 VALIGN="TOP" |
37 ROWSPAN="2"> |
37 ROWSPAN="2"> |
38 |
38 |
39 |
|
40 <p align=center> |
39 <p align=center> |
41 <a href="pics/ITP-Linggusu.jpg"> |
40 <a href="pics/ITP-Linggusu.jpg"> |
42 <img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a> |
41 <img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a> |
43 <br> |
42 <br> |
44 Linggusi pagoda<br> |
43 Linggusi pagoda<br> |
86 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
85 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP"> |
87 <TABLE> |
86 <TABLE> |
88 <TR> |
87 <TR> |
89 <TD><H1>ITP Heritage and Conference History</H1></TD> |
88 <TD><H1>ITP Heritage and Conference History</H1></TD> |
90 </TABLE> |
89 </TABLE> |
|
90 |
91 <p> |
91 <p> |
92 <HR> |
92 <HR> |
93 [<A HREF="index.html">Home</A>] |
93 [<A HREF="index.html">Home</A>] |
94 [<A HREF="index.html#dates">Important Dates</A>] |
94 [<A HREF="index.html#dates">Important Dates</A>] |
95 [<A HREF="cfp.pdf">CFP</A>] |
95 [<A HREF="cfp.pdf">CFP</A>] |
96 [<A HREF="index.html#committees">Committees</A>] |
96 [<A HREF="index.html#committees">Committees</A>] |
97 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
97 [<A HREF="bids-2016.html">ITP 2016 Bids</A>] |
98 <HR> |
98 <HR> |
99 </p> |
99 |
100 |
100 |
101 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and |
101 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and |
102 related topics, ranging from theoretical foundations to implementation |
102 related topics, ranging from theoretical foundations to implementation |
103 aspects and applications in program verification, security, and |
103 aspects and applications in program verification, security, and |
104 formalization of mathematics. The inaugural meeting of ITP was held on |
104 formalization of mathematics. The inaugural meeting of ITP was held on |