August 7-10, 2022
Thirteenth Conference on Interactive Theorem Proving
Haifa, Israel, 2022
, by , under Creative Commons license.
, by , under Creative Commons license.
, by , under Creative Commons license.
, by , under Creative Commons license.
, by , under Creative Commons license.
, by , under Creative Commons license.
Submission Instructions:
Submitted papers must be neither previously published nor under review by another workshop, conference or journal.
They should be no more than 16 pages in length, excluding bibliographic references in LIPIcs format (for detailed instructions for authors on document preparation see here)
To submit your paper, please follow below link to the submission site:
Camera-Ready Instructions:
You will receive the information via your email for camera-ready instructions.
Contact
If you have any problems or questions, please contact us via e-mail at: itp2022@easychair.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.