Categories |
![]()
INTERACTIVE THEOREM PROVING
|
About |
ITP 2021 is the twelfth 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. ITP 2021 will be co-located with LICS 2021 and ICTCS 2021, and will take place in Rome, Italy. |
Call for Papers |
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:
|
Credits and Sources |
[1] ITP 2021 : International Conference on Interactive Theorem Proving |