[TYPES/announce] ITP 2024, Interactive Theorem Proving: Last Call For Papers

[Yves Bertot]

https://urldefense.com/v3/__https://www.viam.science.tsu.ge/itp2024/__;!!IBzWLUs!QkIg5Y1zVp8-0bRa8jX9BxkqzYyFuaV18Jj2jBWGRF4JZ2MuzymsFmUFyY3M6-7QQRrCuzme37NkPjsqy6wqyR3bfsMUDO7WDo6M$ 

The 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.

Paper Submission

The main proceedings will be published as part of the Leibniz International
Proceedings in Informatics (LIPIcs).

ITP welcomes submissions describing original research on all aspects
of interactive theorem proving and its applications. Suggested topics
include, but are not limited to, the following:

- formalizations of computational models
- improvements in interactive theorem prover technology
- formalizations of mathematics
- integration with automated provers and other symbolic tools
- verification of security algorithms
- industrial applications of interactive theorem provers
- formal specification and verification of hardware and software
- user interfaces for interactive theorem provers
- use of theorem provers in education
- concise and elegant worked examples of formalizations (proof pearls)

Submissions will undergo single-blind peer review.

Regular papers must:
- be no more than 16 pages in length excluding bibliographic references
- not include an appendix; and
- be in LIPIcs format.

For detailed instructions for authors on document preparation see:
https://urldefense.com/v3/__https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/__;!!IBzWLUs!QkIg5Y1zVp8-0bRa8jX9BxkqzYyFuaV18Jj2jBWGRF4JZ2MuzymsFmUFyY3M6-7QQRrCuzme37NkPjsqy6wqyR3bfsMUDImjNnLH$ 

We also welcome short papers, which can be used to describe
interesting work that is still ongoing and not fully mature. Such a
preliminary report is limited to 6 pages and may consist of an
extended abstract. Each of these papers should have the phrase "Short
paper" as a subtitle. Accepted submissions in this category will be
published in the main proceedings and will be presented as short
talks.

The papers are to be submitted via EasyChair via the following link:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=itp2024__;!!IBzWLUs!QkIg5Y1zVp8-0bRa8jX9BxkqzYyFuaV18Jj2jBWGRF4JZ2MuzymsFmUFyY3M6-7QQRrCuzme37NkPjsqy6wqyR3bfsMUDDv57Jvy$ 

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.


Important Dates (AoE)

Abstract submission deadline:  March 11, 2024
Paper submission deadline:     March 18, 2024
Author notification:           May 20, 2024
Camera-ready copy due:         June 10, 2024
Conference:                    September 9-14, 2024