Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ITP 2021: Third Call for Papers


view this post on Zulip Email Gateway (Jan 16 2021 at 16:10):

From: Cezary Kaliszyk <cezarykaliszyk@gmail.com>
ITP 2021: Third Call for Papers

http://easyconferences.eu/itp2021/

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

ITP will carefully monitor the development of the COVID-19
pandemic to decide if ITP 2021 will be held completely
virtually or in a hybrid manner. In either case, the authors
not able to come to Rome will be able to present 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 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:

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:

https://easychair.org/conferences/?conf=itp2021

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

Important Dates
===============

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
https://www.dagstuhl.de/en/publications/lipics and for more
detailed instructions for authors on document preparation:
https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/


Last updated: Mar 28 2024 at 16:17 UTC