The International Conference on Interactive Theorem Proving (ITP 2022) will take place on August 7-10, 2022 in Haifa, Israel. It will be part of FLoC 2022. ITP 2022 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:
If you have any problems or questions, please contact us via e-mail at: firstname.lastname@example.org
Abtract deadline: February 1, 2022. (AOE)
Paper submission deadline: February 8, 2022. (AOE)
Author notification: March 30, 2022.
Camera-ready copy due: April 27, 2022.
Conference: August 7, 2022.