<div dir="ltr">        ===============================<br>ITP 2024 Call for Participation<br><a href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/__;!!IBzWLUs!Q3gTDFPP_xebZeDJ5gK3e0JUKjrmklCIhrsqaYkJMYn56kKJpyr5CZaAhqA59IpJ7kS2AgoYl3d6HSMxW8qSWTSIF1_eTg$" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/</a><br>===============================<br><br><br>The Fifteenth International Conference on Interactive Theorem Proving (ITP 2024)<br>will take place on September 9-14, 2024 in Tbilisi, Georgia. It is<br>planned as a hybrid meeting.  It will mostly be a face-to-face (physical)<br>meeting but facilities will be provided for remote presentation and<br>remote attendance.<br><br>The ITP conference series is concerned with all aspects of interactive<br>theorem proving, ranging from theoretical foundations to<br>implementation aspects and applications in program verification,<br>security, and the formalization of mathematics. This will be the 15th<br>conference in the ITP series, while predecessor conferences from which<br>it has evolved have been going since 1988.<br><br>===============================<br>Registration<br>===============================<br><br>- Early Registration Deadlines<br><br>ITP - 19th July<br>Workshops/School: 2nd August<br><br>- Late Registration Deadlines<br><br>ITP - 16th August<br>Workshops/School: 30th August<br><br><a href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/registration__;!!IBzWLUs!Q3gTDFPP_xebZeDJ5gK3e0JUKjrmklCIhrsqaYkJMYn56kKJpyr5CZaAhqA59IpJ7kS2AgoYl3d6HSMxW8qSWTRDWPgrQQ$" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/registration</a><br><br><br>===============================<br>Invited Speakers<br>===============================<br><br>Frédéric Blanqui, INRIA<br>Tobias Nipkow, Technical University of Munich<br><br>===============================<br>Tutorial<br>===============================<br><br>Evgenia Karunus, Visualising Mathematical Proof: Paperproof<br><br>===============================<br>Accepted papers<br>===============================<br><br><a href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/program__;!!IBzWLUs!Q3gTDFPP_xebZeDJ5gK3e0JUKjrmklCIhrsqaYkJMYn56kKJpyr5CZaAhqA59IpJ7kS2AgoYl3d6HSMxW8qSWTTMQYN73Q$" rel="noreferrer" target="_blank">https://www.viam.science.tsu.ge/itp2024/program</a><br><br><br>===============================<br>Workshops<br>===============================<br><br>The EuroProofNet 2nd Workshop on the Development, Maintenance, Refactoring and Search of Large Libraries of Proofs<br><a href="https://urldefense.com/v3/__https://europroofnet.github.io/wg4-tbilisi24/__;!!IBzWLUs!Q3gTDFPP_xebZeDJ5gK3e0JUKjrmklCIhrsqaYkJMYn56kKJpyr5CZaAhqA59IpJ7kS2AgoYl3d6HSMxW8qSWTTbBqecBg$" rel="noreferrer" target="_blank">https://europroofnet.github.io/wg4-tbilisi24/</a><br><br>The Isabelle Workshop 2024<br><a href="https://urldefense.com/v3/__https://sketis.net/isabelle/isabelle-workshop-2024__;!!IBzWLUs!Q3gTDFPP_xebZeDJ5gK3e0JUKjrmklCIhrsqaYkJMYn56kKJpyr5CZaAhqA59IpJ7kS2AgoYl3d6HSMxW8qSWTTbzfguCQ$" rel="noreferrer" target="_blank">https://sketis.net/isabelle/isabelle-workshop-2024</a><br><br>The Coq Workshop 2024<br><a href="https://urldefense.com/v3/__https://coq-workshop.gitlab.io/2024/__;!!IBzWLUs!Q3gTDFPP_xebZeDJ5gK3e0JUKjrmklCIhrsqaYkJMYn56kKJpyr5CZaAhqA59IpJ7kS2AgoYl3d6HSMxW8qSWTRqka3KqQ$" rel="noreferrer" target="_blank">https://coq-workshop.gitlab.io/2024/</a><br><br>===============================<br>School<br>===============================<br><br>Seventeenth International Tbilisi Summer School in Logic and Language<br><a href="https://urldefense.com/v3/__https://www.logic.at/tbilisi24/__;!!IBzWLUs!Q3gTDFPP_xebZeDJ5gK3e0JUKjrmklCIhrsqaYkJMYn56kKJpyr5CZaAhqA59IpJ7kS2AgoYl3d6HSMxW8qSWTSu0iQ1OQ$" rel="noreferrer" target="_blank">https://www.logic.at/tbilisi24/</a><div class="gmail-yj6qo"></div><div class="gmail-adL"><br></div></div>