Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Interactive Theorem Proving (conference)
open-in-new
<h2 id="history">History</h2> <p>The inaugural meeting of ITP was held on 11–14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic Conference. It is the extension of the Theorem Proving in Higher Order Logics (TPHOLs) conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009. </p><p>The first three were informal users' meetings for the <a href="/facts/HOL_theorem_prover/xLdcpPeL">HOL</a> system and were the only ones without published papers. Since 1990 TPHOLs has published formal peer-reviewed proceedings, published by <a href="/facts/Springer_Science%252BBusiness_Media/nAesf6nT">Springer</a>'s <a href="/facts/Lecture_Notes_in_Computer_Science/1UeA77BC">Lecture Notes in Computer Science</a> series. It has also entertained an increasingly wide field of interest. </p> <h2 id="external-links">External links</h2> <ul><li><a href="https://itp-conference.github.io/">Official website</a></li></ul>