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: 8429 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
Short | Full Name | Submission | Conference |
---|---|---|---|
ICT4S | International Conference on ICT for Sustainability | 2023-02-10 | 2023-06-05 |
3CE | Asia Conference on Communications and Computer Engineering | 2021-04-15 | 2021-10-14 |
COLT | Annual Conference on Learning Theory | 2025-02-06 | 2025-06-30 |
IFCAE-IOT | International Forum on Construction, Aviation and Environmental Engineering-Internet of Things | 2018-04-30 | 2018-05-11 |
CISCON | Control Instrumentation Systems Conference | 2024-04-02 | 2024-08-02 |
CCITT | International Conference on Computing and Information Technology Trends | 2022-12-31 | 2023-01-21 |
MAT | International Conference of Advances in Materials Science and Engineering | 2023-08-12 | 2023-08-26 |
EES | International Conference on Environment, Energy and Sustainability | 2017-07-24 | 2017-08-06 |
LATIN | Latin American Symposium on Theoretical Informatics | 2013-09-17 | 2014-03-31 |
WSSE | The World Symposium on Software Engineering | 2023-07-30 | 2023-09-22 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | Future Generation Computer Systems | 6.200 | Elsevier | 0167-739X |
c | IEEE Transactions on Industrial Informatics | 11.70 | IEEE | 1551-3203 |
Medical & Biological Engineering & Computing | 2.600 | Springer | 0140-0118 | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
Computing | 3.300 | Springer | 0010-485X | |
Algorithms for Molecular Biology | 1.500 | Springer | 1748-7188 | |
Mathematics and Computers in Simulation | 4.400 | Elsevier | 0378-4754 | |
IET Computers and Digital Techniques | 0.484 | IET | 1751-8601 | |
Journal of Organizational Computing and Electronic Commerce | 2.000 | Taylor & Francis | 1091-9392 |
Full Name | Impact Factor | Publisher |
---|---|---|
Future Generation Computer Systems | 6.200 | Elsevier |
IEEE Transactions on Industrial Informatics | 11.70 | IEEE |
Medical & Biological Engineering & Computing | 2.600 | Springer |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
Computing | 3.300 | Springer |
Algorithms for Molecular Biology | 1.500 | Springer |
Mathematics and Computers in Simulation | 4.400 | Elsevier |
IET Computers and Digital Techniques | 0.484 | IET |
Journal of Organizational Computing and Electronic Commerce | 2.000 | Taylor & Francis |
Recommendation