会议信息

ITP 2026: International Conference on Interactive Theorem Proving

请登录查看会议网址

截稿日期:
2026-02-12
通知日期:
2026-04-26
会议日期:
2026-07-26
会议地点:
Lisbon, Portugal
届数:
17
CORE: a   浏览: 14768   关注: 2   参加: 0

征稿

ITP 2026 (International Conference on Interactive Theorem Proving) is a CORE A conference held in Lisbon, Portugal on 2026-07-26. The paper submission deadline is 2026-02-12. Acceptance notifications are sent on 2026-04-26.

The International Conference on Interactive Theorem Proving (ITP 2026) will take place on 26-29 July, 2026 in Lisbon, Portugal, as part of FLoC'26. ITP 2026 is part of the ITP conference series whose history goes back to 1988. 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 interactive 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 specification and verification 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 在

相关会议

CCFCOREQUALIS简称全称截稿日期通知日期会议日期
aa*a1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
aa*a1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
aa*a1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
bba1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
aa*a1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
cba2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
caa2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
bba1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2025-09-172026-01-162026-05-04
ba*a1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

相关期刊

CCF全称影响因子出版商ISSN
bIEEE Transactions on Multimedia9.7IEEE1520-9210
cKnowledge-Based Systems7.2Elsevier0950-7051
bSoftware & Systems Modeling3.2Springer1619-1366
aIEEE Transactions on Computers3.8IEEE0018-9340
cFuture Generation Computer Systems6.1Elsevier0167-739X
cNeurocomputing6.5Elsevier0925-2312
cPattern Recognition Letters3.9Elsevier0167-8655
bPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536
aIEEE Transactions on Parallel and Distributed Systems6.0IEEE1045-9219

评论 0

暂无评论。

请登录后发表评论

参加人时间
没有找到数据。
惊喜