Zulip Chat Archive

Stream: general

Topic: ITP 2022 - Call for papers


Alexander Bentkamp (Oct 25 2021 at 12:55):

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 (Jan 04 2022 at 23:10):

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 (Jan 31 2022 at 21:48):

Abstract submission deadline is tomorrow!


Last updated: Dec 20 2023 at 11:08 UTC