会議情報
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 閲覧: 8171 追跡: 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 |
おすすめ