ITP2019: Interactive Theorem Proving: Tenth International Conference

Country: USA

City: Portland

Abstr. due: 31.03.2019

Dates: 10.09.19 — 13.09.19

Area Of Sciences: Physics and math;

Organizing comittee e-mail:

Organizers: Portland State University


ITP 2019 is the tenth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics. It will take place in Portland, Oregon in September 2019.

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:

  • formal aspects of hardware and software formalizations of mathematics
  • improvements in theorem prover technology
  • integration with automated provers and other symbolic tools
  • user interfaces for interactive theorem provers
  • formalizations of computational models
  • verification of security algorithms
  • use of theorem provers in education
  • industrial applications of interactive theorem provers
  • concise and elegant worked examples of formalizations (proof pearls)

Conference Web-Site: