Conference Information
ITP 2022: International Conference on Interactive Theorem Proving
https://itp2018.inria.fr/
Submission Date:
2022-02-01
Notification Date:
2022-03-30
Conference Date:
2022-08-07
Location:
Haifa, Israel
Years:
13
CORE: a   Viewed: 8169   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 Theory2024-02-092024-05-102024-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
Related Journals
CCFFull NameImpact FactorPublisherISSN
cFuture Generation Computer Systems6.200Elsevier0167-739X
cIEEE Transactions on Industrial Informatics11.70IEEE1551-3203
Medical & Biological Engineering & Computing2.600Springer0140-0118
IEEE Transactions on Intelligent Vehicles14.00IEEE2379-8858
Computing3.300Springer0010-485X
Algorithms for Molecular Biology1.500Springer1748-7188
Mathematics and Computers in Simulation4.400Elsevier0378-4754
IET Computers and Digital Techniques0.484IET1751-8601
Journal of Organizational Computing and Electronic Commerce2.000Taylor & Francis1091-9392
Recommendation