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 be held at Portland State University, Portland, Oregon, USA.
ITP conference registration is closed. Please contact [email protected].
This page is secured with 256 bit encryption