The International Conference on Interactive Theorem Proving (ITP 2023) will take place on July 31-August 4, 2023 in Białystok, Poland. ITP 2023 is part of the ITP conference series whose history goes back to 1988.

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)

If you have any problems or questions, please contact us via e-mail at: itp2023@mizar.uwb.edu.pl


Women in EuroProofNet 2023

The Coq Workshop

Mizar 50 Workshop

Important Dates
  • Abstract deadline: February 13, 2023 (AOE)

  • Paper submission deadline (extended): February 23, 2023 (AOE)

  • Author notification: April 17, 2023

  • Camera-ready copy due: May 15, 2023

  • Conference: July 31 - August 4, 2023.

University of Białystok
Polish Information Processing Society