16th International Conference on Interactive Theorem Proving

ITP '25

part of FroCoS/ITP/TABLEAUX '25

Reykjavik, Iceland, 27 September-3 October 2025

Background

tba

Invited speakers

tba

Call for papers

Important dates

tba

Scope

tba

Paper categories and submission

tba

Papers must be prepared in LaTeX using the lipics-v2021 style (v2021.1.3) and must be submitted electronically as pdf files through HotCRP at

tba.

For all accepted papers, one author must attend the conference in person and present the paper. One author (which may be a different one, e.g. if the presenter is a student) must pay the full registration fee.

In exceptional circumstances (which must be agreed about with the organizers by the registration deadline), online presentation is an option. Still one author must pay the full registration fee.

Publication

The conference proceedings will be published in Dagstuhl Publishing's Leibniz International Proceedings in Informatics (LIPIcs) series in Gold Open Access under the CC-BY-4.0 license.

Programme committee cochairs

• Yannick Forster, Inria Paris
• Chantal Keller, LMF, Université Paris Saclay

Programme committee

tba

Organizers, sponsors and local information

See the shared pages of the colocated conferences.