会议信息
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 浏览: 8170 关注: 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
相关会议
CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
ICT4S | International Conference on ICT for Sustainability | 2023-02-10 | 2023-03-31 | 2023-06-05 | |||
3CE | Asia Conference on Communications and Computer Engineering | 2021-04-15 | 2021-05-15 | 2021-10-14 | |||
b | a* | a2 | COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-05-10 | 2024-06-30 |
IFCAE-IOT | International Forum on Construction, Aviation and Environmental Engineering-Internet of Things | 2018-04-30 | 2018-05-05 | 2018-05-11 | |||
CISCON | Control Instrumentation Systems Conference | 2024-04-02 | 2024-05-25 | 2024-08-02 | |||
CCITT | International Conference on Computing and Information Technology Trends | 2022-12-31 | 2023-01-12 | 2023-01-21 | |||
MAT | International Conference of Advances in Materials Science and Engineering | 2023-08-12 | 2023-08-20 | 2023-08-26 | |||
EES | International Conference on Environment, Energy and Sustainability | 2017-07-24 | 2017-08-06 | ||||
b | b1 | LATIN | Latin American Symposium on Theoretical Informatics | 2013-09-17 | 2013-12-02 | 2014-03-31 | |
WSSE | The World Symposium on Software Engineering | 2023-07-30 | 2023-08-15 | 2023-09-22 |
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
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 |
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 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | 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 |
全称 | 影响因子 | 出版商 |
---|---|---|
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 |
推荐