[mizar] ITP 2023: First Call for Papers

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Dear Mizar Users,

Below you can find the details of the Call for Papers of ITP 2023 
organized by the Mizar group.

We're looking forward to your submissions,

Adam Naumowicz

===========================================================================
Division of Programming and Formal Methods   Fax: +48(85)738-83-33
Institute of Computer Science                Tel: +48(85)738-83-06 (office)
University of Bialystok                      E-mail: adamn@math.uwb.edu.pl
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================

https://mizar.uwb.edu.pl/ITP2023/

The international conference on Interactive Theorem Proving (ITP 2023)
will take place on July 31 to August 4, 2023 in Bialystok, Poland. It is
planned as a face-to-face (physical) meeting.

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 14th 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.

Regular papers should be no more than 16 pages in length excluding
bibliographic references in LIPIcs format, and they should not include an
appendix. For detailed instructions for authors on document preparation
see:
https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/

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://easychair.org/conferences/?conf=itp2023

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:  February 13, 2023
Paper submission deadline:     February 20, 2023
Author notification:           April 17, 2023
Camera-ready copy due:         May 15, 2023
Conference:                    July 31 to August 4, 2023


Publication Details

As in earlier years, the conference proceedings will be published open 
access in the LIPIcs series ("Leibniz International Proceedings in 
Informatics"). For more information on the series see 
https://www.dagstuhl.de/en/publications/lipics.