<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>ITP 2015 in Nanjing</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css">
#map_canvas {
width: 500px;
height: 400px;
}
</style>
<style type="text/css">
body { font-size: 14px;
font-family: "trebuchet ms", helvetica, sans-serif; }
</style>
</head>
<BODY TEXT="#000000"
BGCOLOR="#4169E1"
LINK="#0000EF"
VLINK="#51188E"
ALINK="#FF0000"
onload="initialize()" onunload="GUnload()">
<TABLE WIDTH="100%"
BGCOLOR="#4169E1"
BORDER="0"
FRAME="border"
CELLPADDING="10"
CELLSPACING="2"
RULES="all">
<!-- left column -->
<TR>
<TD BGCOLOR="#FFFFFF"
WIDTH="20%"
VALIGN="TOP"
ROWSPAN="2">
<p align=center>
<a href="pics/ITP-Linggusu.jpg">
<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a>
<br>
Linggusi pagoda<br>
</p>
<p align=center>
<a href="pics/ITP-Mochou.jpg">
<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>
<br>
Mochou Lake Park<br>
</p>
<p align=center>
<a href="pics/ITP-najing-cit-walk.jpg">
<img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="18%" border=0></a>
<br>
Nanjing city wall<br>
</p>
<p align=center>
<a href="pics/Nanjing2.jpg">
<img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
<br>
"Elephant Road" of the<br> Ming tomb<br>
</p>
<p align=center>
<a href="pics/Nanjing3.jpg">
<img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>
<br>
Nanjing's skyline<br>
</p>
<p align=center>
<a href="pics/Nanjing4.jpg">
<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a>
<br>
Science and Technology<br> Museum<br>
</p>
</TD>
<!-- right column -->
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
<TABLE>
<TR>
<TD><H1>Bids for Hosting ITP 2016</H1></TD>
</TABLE>
<p>
<HR>
[<A HREF="index.html">Home</A>]
[<A HREF="index.html#dates">Important Dates</A>]
[<A HREF="cfp.pdf">CFP</A>]
[<A HREF="index.html#committees">Committees</A>]
[<A HREF="history.html">Conference History</A>]
<HR>
</p>
<p>ITP 2015 is the sixth conference on Interactive Theorem Proving and
related topics, ranging from theoretical foundations to implementation
aspects and applications in program verification, security, and
formalization of mathematics. The inaugural meeting of ITP was held on
11-14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic
Conference (FLoC, 9-21 July 2010). ITP is the evolution of the TPHOLs
conference series to the broad field of interactive theorem
proving. TPHOLs meetings took place every year from 1988 until 2009.
</p>
</TD>
</TR>
</TABLE>
<hr>
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</body>
</html>