9 - 14 September 2024, 15th Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia
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.
ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. In addition to Regular papers we also welcome short papers, which can be used to describe interesting work that is still ongoing and not fully mature. All submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used. Abstract submission deadline: March 11, 2024.
The ITP conference organizers are aslo soliciting proposals for affiliated workshops and tutorials. Workshops typically feature presentations of ongoing research that is not ready yet for formal publication, and tutorials may e.g. present extended demos of particular software. The workshops and tutorials will take place 13-14 September (last two days of the conference).The deadline for submitting a proposal is March 5, 2024.