The International Conference on Interactive Theorem Proving (ITP) is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving, which took place every year from 1988 until 2009.

EurAI sponsored the 8th edition of ITP (2017, Brasilia - Brazil)

> CLICK HERE to see other Conferences sponsored by EurAI <