Tom de Jong<p>Call for Papers<br>16th International Conference on Interactive Theorem Proving — ITP'25</p><p>Reykjavik, Iceland<br>27 September – 3 October 2025</p><p><a href="https://icetcs.github.io/frocos-itp-tableaux25/itp/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">icetcs.github.io/frocos-itp-ta</span><span class="invisible">bleaux25/itp/</span></a></p><p>ITP is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics.</p><p>- Abstract submission deadline: 12 March 2025<br>- Paper submission deadline: 19 March 2025<br>- Author notification: 23 May 2025<br>- Camera-ready copy due: 27 June 2025</p><p><a href="https://mathstodon.xyz/tags/formalization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalization</span></a> <a href="https://mathstodon.xyz/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoremproving</span></a> <a href="https://mathstodon.xyz/tags/proofassistants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proofassistants</span></a> <a href="https://mathstodon.xyz/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mathstodon.xyz/tags/CfP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CfP</span></a></p>