<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<pre>===============================
ITP 2024 Call for Participation
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/__;!!IBzWLUs!T6iMbBaLJDY2elxQ0h0eKDd9SxLLPhPjLn4RRpk53TDuY6XX7Q2T6S_SpCssLSTM589XDrv6sKADidnCjnuQ9jDdsKmLT01yl8wi$">https://www.viam.science.tsu.ge/itp2024/</a>
===============================
The Fifteenth International Conference on Interactive Theorem Proving (ITP 2024)
will take place on September 9-14, 2024 in Tbilisi, Georgia. It is
planned as a hybrid meeting. It will mostly be a face-to-face (physical)
meeting but facilities will be provided for remote presentation and
remote attendance.
The ITP conference series 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. This will be the 15th
conference in the ITP series, while predecessor conferences from which
it has evolved have been going since 1988.
===============================
Registration
===============================
- Early Registration Deadlines
ITP - 19th July
Workshops/School: 2nd August
- Late Registration Deadlines
ITP - 16th August
Workshops/School: 30th August
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/registration__;!!IBzWLUs!T6iMbBaLJDY2elxQ0h0eKDd9SxLLPhPjLn4RRpk53TDuY6XX7Q2T6S_SpCssLSTM589XDrv6sKADidnCjnuQ9jDdsKmLTzxgzzs-$">https://www.viam.science.tsu.ge/itp2024/registration</a>
===============================
Invited Speakers
===============================
Frédéric Blanqui, INRIA
Tobias Nipkow, Technical University of Munich
===============================
Tutorial
===============================
Evgenia Karunus, Visualising Mathematical Proof: Paperproof
===============================
Accepted papers
===============================
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/program__;!!IBzWLUs!T6iMbBaLJDY2elxQ0h0eKDd9SxLLPhPjLn4RRpk53TDuY6XX7Q2T6S_SpCssLSTM589XDrv6sKADidnCjnuQ9jDdsKmLTyJgDkh8$">https://www.viam.science.tsu.ge/itp2024/program</a>
===============================
Workshops
===============================
The EuroProofNet 2nd Workshop on the Development, Maintenance, Refactoring
and Search of Large Libraries of Proofs
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://europroofnet.github.io/wg4-tbilisi24/__;!!IBzWLUs!T6iMbBaLJDY2elxQ0h0eKDd9SxLLPhPjLn4RRpk53TDuY6XX7Q2T6S_SpCssLSTM589XDrv6sKADidnCjnuQ9jDdsKmLT1EVfT3Z$">https://europroofnet.github.io/wg4-tbilisi24/</a>
The Isabelle Workshop 2024
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://sketis.net/isabelle/isabelle-workshop-2024__;!!IBzWLUs!T6iMbBaLJDY2elxQ0h0eKDd9SxLLPhPjLn4RRpk53TDuY6XX7Q2T6S_SpCssLSTM589XDrv6sKADidnCjnuQ9jDdsKmLT4EcKstO$">https://sketis.net/isabelle/isabelle-workshop-2024</a>
The Coq Workshop 2024
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://coq-workshop.gitlab.io/2024/__;!!IBzWLUs!T6iMbBaLJDY2elxQ0h0eKDd9SxLLPhPjLn4RRpk53TDuY6XX7Q2T6S_SpCssLSTM589XDrv6sKADidnCjnuQ9jDdsKmLT8YzgZ61$">https://coq-workshop.gitlab.io/2024/</a>
===============================
School
===============================
Seventeenth International Tbilisi Summer School in Logic and Language
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://www.logic.at/tbilisi24/__;!!IBzWLUs!T6iMbBaLJDY2elxQ0h0eKDd9SxLLPhPjLn4RRpk53TDuY6XX7Q2T6S_SpCssLSTM589XDrv6sKADidnCjnuQ9jDdsKmLT-4HNtWq$">https://www.logic.at/tbilisi24/</a>
</pre>
</body>
</html>