ITP 2018 at FLOC

ITP 2018 is the ninth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. It will take place in Oxford, United Kingdom, from July 9th to 12th, 2018, as part of the Federated Logic Conference.

Important facts

• Submission page.
• Abstract submission deadline: January 25, 2018.
• Full paper submission deadline: January 31, 2018.
• Author notification: March 31, 2018.
• Camera-ready papers: May 15, 2018.
• Conference: July 9-12, 2018.

For more informations, see the Call for Papers.