会议信息
ITP 2022: International Conference on Interactive Theorem Proving
https://itp2018.inria.fr/
截稿日期:
2022-02-01
通知日期:
2022-03-30
会议日期:
2022-08-07
会议地点:
Haifa, Israel
届数:
13
CORE: a   浏览: 8432   关注: 2   参加: 0

征稿
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)
最后更新 Dou Sun 在 2022-01-17
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
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 Theory2025-02-062025-05-022025-06-30
IFCAE-IOTInternational Forum on Construction, Aviation and Environmental Engineering-Internet of Things2018-04-302018-05-052018-05-11
CISCONControl Instrumentation Systems Conference2024-04-022024-05-252024-08-02
CCITTInternational Conference on Computing and Information Technology Trends2022-12-312023-01-122023-01-21
MATInternational Conference of Advances in Materials Science and Engineering2023-08-122023-08-202023-08-26
EESInternational Conference on Environment, Energy and Sustainability2017-07-24 2017-08-06
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
相关期刊
推荐