Información de la conferencia

ITP 2026: International Conference on Interactive Theorem Proving

Por favor Iniciar para ver el sitio web del congreso

Día de Entrega:
2026-02-12
Fecha de Notificación:
2026-04-26
Fecha de Conferencia:
2026-07-26
Ubicación:
Lisbon, Portugal
Años:
17
CORE: a   Vistas: 14765   Seguidores: 2   Asistentes: 0

Solicitud de Artículos

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)
Última Actualización Por Dou Sun en

Conferencias Relacionadas

CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
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

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
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

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar para publicar un comentario

AsistenteAño
No se encontraron resultados.
Publicidad