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).

Información de la conferencia

ITP 2026: International Conference on Interactive Theorem Proving

Por favor Iniciar sesión para ver el sitio web de la conferencia

Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.

Iniciar sesión Registrarse

Insertar insignia de cuenta atrás

Día de Entrega:

2026-02-12

Fecha de Notificación:

2026-04-26

Fecha de conferencia:

2026-07-26

Ubicación:

Lisbon, Portugal

Ediciones:

17

ICORE: B Vistas: 15890 Seguidores: 2 Asistentes: 0

Solicitud de Artículos

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)

Última actualización por Dou Sun el 2026-03-02

Conferencias Relacionadas

CCF	ICORE	Abreviación	Nombre Completo	Entrega	Notificación	Fecha de conferencia
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

Revistas Relacionadas

CCF	Nombre Completo	Factor de Impacto	Editor	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

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario