ITP 2022 - Call for papers

Stream: general

[Alexander Bentkamp]

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.

The FLoC organizing committee will make all efforts possible to ensure everyone can attend in person. However, they are very much aware that there might be members of the community who cannot travel to Israel. In cases where travel is not possible, they will ensure people can participate remotely.

The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. This will be the 13th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.

See https://itpconference.github.io/ITP22/cfp.html for details.

[Leonardo de Moura]

Important Dates

• Abstract deadline: Tuesday, February 1 (firm)
• Paper submission deadline: Tuesday, February 8 (firm)
• Author Notification: Wednesday, March 30
• Camera-ready copy due: Wednesday, April 27
• Conference: August 7-10

[Leonardo de Moura]

Abstract submission deadline is tomorrow!