Conference Information
ITP 2022: International Conference on Interactive Theorem Proving
Submission Date:
Notification Date:
Conference Date:
Haifa, Israel
CORE: a   Viewed: 6641   Tracked: 2   Attend: 0

Call For Papers
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.

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.

Paper Submission

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:

    formalizations of computational models
    improvements in theorem prover technology
    formalizations of mathematics
    integration with automated provers and other symbolic tools
    verification of security algorithms
    industrial applications of interactive theorem provers
    formal aspects of hardware and software
    user interfaces for interactive theorem provers
    use of theorem provers in education
    concise and elegant worked examples of formalizations (proof pearls)
Last updated by Dou Sun in 2022-01-17
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICT4SInternational Conference on ICT for Sustainability2023-02-102023-03-312023-06-05
3CEAsia Conference on Communications and Computer Engineering2021-04-152021-05-152021-10-14
ba*a2COLTAnnual Conference on Learning Theory2022-02-09 2022-07-02
IFCAE-IOTInternational Forum on Construction, Aviation and Environmental Engineering-Internet of Things2018-04-302018-05-052018-05-11
CCITTInternational Conference on Computing and Information Technology Trends2022-12-312023-01-122023-01-21
bb1LATINLatin American Symposium on Theoretical Informatics2013-09-172013-12-022014-03-31
WSSEThe World Symposium on Software Engineering 2023-07-302023-08-152023-09-22
MATInternational Conference of Advances in Materials Science and Engineering2023-08-122023-08-202023-08-26
QoMEXInternational Conference on Quality of Multimedia Experience2018-01-152018-02-262018-05-29
ICT4AWEInternational Conference on Information and Communication Technologies for Ageing Well and e-Health2015-12-072016-02-012016-04-21
Related Journals
CCFFull NameImpact FactorPublisherISSN
Interactive Learning Environments1.929Taylor & Francis1049-4820
Journal of Cyber Security and MobilityRiver Publishers2245-1439
bComputational Complexity0.487Springer1016-3328
aIEEE Transactions on Information Theory2.728IEEE0018-9448
bIEEE Transactions on Affective Computing7.512IEEE1949-3045
bACM Transactions on Internet Technology1.489ACM1533-5399
Journal of Internet Technology0.481Taiwan Academic Network1607-9264
IEEE Pervasive Computing4.418IEEE1536-1268
cACM Transactions on Interactive Intelligent SystemsACM2160-6455
Physics of Life Reviews11.02Elsevier1571-0645