What is the submission deadline for ITP 2026?

The paper submission deadline for ITP 2026 (International Conference on Interactive Theorem Proving) is 2026-02-12.

Where is ITP 2026 held?

ITP 2026 is held in Lisbon, Portugal.

When does ITP 2026 take place?

ITP 2026 takes place on 2026-07-26.

What is the ranking of ITP?

ITP is ranked ICORE B. These are categorical rankings maintained by the respective bodies (China Computer Federation, ICORE Inc., and Brazilian CAPES).

Conference Information

ITP 2026: International Conference on Interactive Theorem Proving

Please Login to view website of conference

Free account: view official websites, track deadlines, and get email reminders.

Login Register

Embed deadline badge

Submission Date:

2026-02-12

Notification Date:

2026-04-26

Conference Date:

2026-07-26

Location:

Lisbon, Portugal

Years:

17

ICORE: B Viewed: 15897 Tracked: 2 Attend: 0

Call For Papers

ITP 2026 (International Conference on Interactive Theorem Proving) is a ICORE B 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)

Last updated by Dou Sun on 2026-03-02

Related Conferences

CCF	ICORE	Short	Full Name	Submission	Notification	Conference
A	A*	SIGIR	International Conference on Research and Development in Information Retrieval	2026-01-15	2026-04-02	2026-07-20
A	A*	AAAI	AAAI Conference on Artificial Intelligence	2026-07-21	2026-11-30	2027-02-16
A	A*	CVPR	IEEE Conference on Computer Vision and Pattern Recognition	2025-11-06	2026-02-20	2026-06-03
B	A*	ICRA	International Conference on Robotics and Automation			2027-05-24
B	A*	IJCAI	International Joint Conference on Artificial Intelligence	2026-01-31		2026-08-15
A	A*	STOC	ACM Symposium on Theory of Computing	2025-11-04	2026-02-01	2026-06-22
C		ICC	International Conference on Communications	2026-10-02	2027-01-15	2027-05-30
C	B	IJCNN	International Joint Conference on Neural Networks	2027-01-31	2027-03-15	2027-06-14
B		ICASSP	International Conference on Acoustics, Speech and Signal Processing	2026-09-16	2027-01-13	2027-05-16
B	A*	PODS	ACM SIGMOD Conference on Principles of DB Systems	2026-12-03	2027-03-01	2027-06-13

Related Journals

CCF	Full Name	Impact Factor	Publisher	ISSN
A	IEEE Transactions on Multimedia	9.7	IEEE	1520-9210
C	Knowledge-Based Systems	7.2	Elsevier	0950-7051
B	Software & Systems Modeling	3.2	Springer	1619-1366
A	IEEE Transactions on Computers	3.8	IEEE	0018-9340
C	Future Generation Computer Systems	6.1	Elsevier	0167-739X
C	Neurocomputing	6.5	Elsevier	0925-2312
C	Pattern Recognition Letters	3.9	Elsevier	0167-8655
B	Pattern Recognition	7.6	Elsevier	0031-3203
	IEEE Access	3.6	IEEE	2169-3536
A	IEEE Transactions on Dependable and Secure Computing	7.5	IEEE	1545-5971

Comments 0

No comments yet.

Please Login to post a comment