posted by user: cekcek || 908 views || tracked by 2 users: [display]

ITP 2021 2021 : International Conference on Interactive Theorem Proving


When Jun 29, 2021 - Jul 1, 2021
Where Rome
Abstract Registration Due Jan 25, 2021
Submission Deadline Feb 1, 2021
Notification Due Mar 25, 2021
Final Version Due Apr 20, 2021

Call For Papers

The International conference on Interactive Theorem Proving
(ITP 2021) will take place on June 29-July 1, 2021 in Rome,
Italy. It will be co-located with LICS and ICTCS

ITP will carefully monitor the development of the COVID-19
pandemic, and take guidance from the health authorities, to
determine whether ITP21 will be held physically, virtually
or in a hybrid manner.

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 12th 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 and are to be submitted in PDF
format via EasyChair via the following link:

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

Important Dates

* Abstract submission deadline: January 25, 2021
* Paper submission deadline: February 1, 2021
* Author notification: March 25, 2021
* Camera-ready copy due: April 20, 2021
* Conference: June 29-July 1, 2021

Publication Details

The conference proceedings will be published in the LIPIcs
series ("Leibniz International Proceedings in
Informatics"). This was chosen in large part because of its
commitment to free and open access to all papers. For more
information on the series see and for more
detailed instructions for authors on document preparation:

Related Resources

AIED 2021   Artificial Intelligence in Education
IEETeL 2021   12th International workshop on Interactive Environments and Emerging Technologies for eLearning
ICIDAE-Ei Compendex & SCOPUS 2021   2021 International Conference on Interactive Design, Architecture and Engineering (ICIDAE 2021)
VTS 2021   39th IEEE VLSI Test Symposium
BCIRWIS2021(KDD 2021) 2021   BCIRWIS2021: Bayesian causal inference for real world interactive systems - (KDD 2021 Workshop)
EAI ICIDM 2021   7th EAI International Conference on Interactive Digital Media
ACM DIS 2021   Designing Interactive Systems
SCOPUS-CGIIT 2021   5th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2021)
ESIDA 2021   Fourth IUI Workshop on Exploratory Search and Interactive Data Analytics
EI/SCOPUS-CGIIT 2021   5th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2021)