<div dir="ltr">  ===============================<br>ITP 2024 Call for Participation<br><a href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/__;!!IBzWLUs!Sg938iSddLGrOeRB7IpJ7eiZ3gl1CnzftXzjYHeB5V5BvdXpN6hj2rLjsfmoFr-v7S2bUN04DDn4lyL3AXT_CNRU90Wglw$" 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>Online Registration Deadline 31st of August<br>===============================<br><br>Online registration without paper has been added:<div><br><a href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/registration__;!!IBzWLUs!Sg938iSddLGrOeRB7IpJ7eiZ3gl1CnzftXzjYHeB5V5BvdXpN6hj2rLjsfmoFr-v7S2bUN04DDn4lyL3AXT_CNTPXcItfw$" 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!Sg938iSddLGrOeRB7IpJ7eiZ3gl1CnzftXzjYHeB5V5BvdXpN6hj2rLjsfmoFr-v7S2bUN04DDn4lyL3AXT_CNQPSG5KHg$" 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!Sg938iSddLGrOeRB7IpJ7eiZ3gl1CnzftXzjYHeB5V5BvdXpN6hj2rLjsfmoFr-v7S2bUN04DDn4lyL3AXT_CNSSBYrg9w$" 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!Sg938iSddLGrOeRB7IpJ7eiZ3gl1CnzftXzjYHeB5V5BvdXpN6hj2rLjsfmoFr-v7S2bUN04DDn4lyL3AXT_CNQy4zJ6Og$" 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!Sg938iSddLGrOeRB7IpJ7eiZ3gl1CnzftXzjYHeB5V5BvdXpN6hj2rLjsfmoFr-v7S2bUN04DDn4lyL3AXT_CNSD2MKs6g$" 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!Sg938iSddLGrOeRB7IpJ7eiZ3gl1CnzftXzjYHeB5V5BvdXpN6hj2rLjsfmoFr-v7S2bUN04DDn4lyL3AXT_CNSE-SJEMg$" rel="noreferrer" target="_blank">https://www.logic.at/tbilisi24/</a><div class="gmail-yj6qo"></div><div class="gmail-adL"></div></div></div>