会议信息
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 浏览: 7255 关注: 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
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
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 | 2024-02-09 | 2024-06-30 |
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 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | 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 |
全称 | 影响因子 | 出版商 |
---|---|---|
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 |
推荐