会議情報
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
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
ICT4SInternational Conference on ICT for Sustainability2023-02-102023-03-312023-06-05
3CEAsia Conference on Communications and Computer Engineering2021-04-152021-05-152021-10-14
ba*a2COLTAnnual Conference on Learning Theory2024-02-092024-05-102024-06-30
IFCAE-IOTInternational Forum on Construction, Aviation and Environmental Engineering-Internet of Things2018-04-302018-05-052018-05-11
CISCONControl Instrumentation Systems Conference2024-04-022024-05-252024-08-02
CCITTInternational Conference on Computing and Information Technology Trends2022-12-312023-01-122023-01-21
MATInternational Conference of Advances in Materials Science and Engineering2023-08-122023-08-202023-08-26
EESInternational Conference on Environment, Energy and Sustainability2017-07-24 2017-08-06
bb1LATINLatin American Symposium on Theoretical Informatics2013-09-172013-12-022014-03-31
WSSEThe World Symposium on Software Engineering 2023-07-302023-08-152023-09-22
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
cFuture Generation Computer Systems6.200Elsevier0167-739X
cIEEE Transactions on Industrial Informatics11.70IEEE1551-3203
Medical & Biological Engineering & Computing2.600Springer0140-0118
IEEE Transactions on Intelligent Vehicles14.00IEEE2379-8858
Computing3.300Springer0010-485X
Algorithms for Molecular Biology1.500Springer1748-7188
Mathematics and Computers in Simulation4.400Elsevier0378-4754
IET Computers and Digital Techniques0.484IET1751-8601
Journal of Organizational Computing and Electronic Commerce2.000Taylor & Francis1091-9392
おすすめ