Mercurial Mercurial > hg > itp-2015 / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bids-2016.html
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 11 Apr 2015 04:39:15 +0100 (2015-04-11)
changeset 119 b52ec9acb506
parent 118 c45f1425a8c9
child 120 e02d6cf59a00
permissions -rw-r--r--
updated
<!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">

<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>
itp-2015