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: 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
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 | 2022-02-09 | 2022-07-02 |
IFCAE-IOT | International Forum on Construction, Aviation and Environmental Engineering-Internet of Things | 2018-04-30 | 2018-05-11 |
CCITT | International Conference on Computing and Information Technology Trends | 2022-12-31 | 2023-01-21 |
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 |
MAT | International Conference of Advances in Materials Science and Engineering | 2023-08-12 | 2023-08-26 |
QoMEX | International Conference on Quality of Multimedia Experience | 2018-01-15 | 2018-05-29 |
ICT4AWE | International Conference on Information and Communication Technologies for Ageing Well and e-Health | 2015-12-07 | 2016-04-21 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Interactive Learning Environments | 1.929 | Taylor & Francis | 1049-4820 | |
Journal of Cyber Security and Mobility | River Publishers | 2245-1439 | ||
b | Computational Complexity | 0.487 | Springer | 1016-3328 |
a | IEEE Transactions on Information Theory | 2.728 | IEEE | 0018-9448 |
b | IEEE Transactions on Affective Computing | 7.512 | IEEE | 1949-3045 |
b | ACM Transactions on Internet Technology | 1.489 | ACM | 1533-5399 |
Journal of Internet Technology | 0.481 | Taiwan Academic Network | 1607-9264 | |
IEEE Pervasive Computing | 4.418 | IEEE | 1536-1268 | |
c | ACM Transactions on Interactive Intelligent Systems | ACM | 2160-6455 | |
Physics of Life Reviews | 11.02 | Elsevier | 1571-0645 |
Full Name | Impact Factor | Publisher |
---|---|---|
Interactive Learning Environments | 1.929 | Taylor & Francis |
Journal of Cyber Security and Mobility | River Publishers | |
Computational Complexity | 0.487 | Springer |
IEEE Transactions on Information Theory | 2.728 | IEEE |
IEEE Transactions on Affective Computing | 7.512 | IEEE |
ACM Transactions on Internet Technology | 1.489 | ACM |
Journal of Internet Technology | 0.481 | Taiwan Academic Network |
IEEE Pervasive Computing | 4.418 | IEEE |
ACM Transactions on Interactive Intelligent Systems | ACM | |
Physics of Life Reviews | 11.02 | Elsevier |
Recommendation