ITP: Interactive Theorem Proving

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
ITP 2022 Interactive Theorem Proving
Aug 7, 2022 - Aug 10, 2022 Haifa Feb 8, 2022 (Feb 1, 2022)
ITP 2015 interactive theorem proving
Aug 24, 2015 - Aug 27, 2015 nanjing Mar 12, 2015 (Mar 9, 2015)
ITP 2014 International Conference on Interactive Theorem Proving
Jul 14, 2014 - Jul 17, 2014 Vienna Jan 31, 2014 (Jan 24, 2014)
ITP 2011 2nd International Conference on Interactive Theorem Proving
Aug 22, 2011 - Aug 25, 2011 Nijmegen, The Netherlands Feb 20, 2011 (Feb 13, 2011)
 
 

Present CFP : 2022

The International Conference on Interactive Theorem Proving (ITP 2022) will take place on August 7-10, 2022 in Haifa, Israel. It will be part of FLoC 2022.

The FLoC organizing committee will make all efforts possible to ensure everyone can attend in person. However, they are very much aware that there might be members of the community who cannot travel to Israel. In cases where travel is not possible, they will ensure people can participate remotely.

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 13th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.

Paper Submission
================

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

They should be no more than 16 pages in length, excluding bibliographic references in LIPIcs format (for detailed instructions for authors on document preparation see
https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/)

The papers are to be submitted in PDF format via EasyChair via: https://easychair.org/conferences/?conf=itp2022

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

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.
 

Related Resources

VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
ThEdu 2022   11th International Workshop on Theorem-Proving Components for Educational Software
PADL 2022   CFP: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)
SIGGRAPH 2022   International Conference on Computer Graphics and Interactive Techniques
ISIR-eCom 2022   INTERACTIVE AND SCALABLE INFORMATION RETRIEVAL METHODS FOR ECOMMERCE ((conjunction with WSDM 2022)
DIS 2022   Designing Interactive Systems
ICIDAE-Ei Compendex & SCOPUS 2022   2022 2nd International Conference on Interactive Design, Architecture and Engineering (ICIDAE 2022)
RO-MAN 2022   31st IEEE International Conference on Robot & Human Interactive Communication (RO-MAN 2022) August 29th - September 2nd, 2022 Naples, Italy
IMuR 2022   2nd International Workshop on Interactive Multimedia Retrieval
CGIIT 2023   The 7th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2023)