Información de la conferencia

CPP 2027: International Conference on Certified Programs and Proofs

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.
Registrarse Iniciar sesión
Insertar insignia de cuenta atrás
CPP
Obtener estos datos por API
Las búsquedas y las listas de rankings no necesitan credenciales; el detalle completo de esta página requiere una clave de API gratuita. Consulta la guía para desarrolladores.
Día de Entrega:
2026-09-03
Fecha de Notificación:
2027-11-10
Fecha de conferencia:
2027-01-10
Ubicación:
Mexico City, Mexico
Ediciones:
ICORE: B   Vistas: 17182   Seguidores: 3   Asistentes: 0

Índice Conference Partner (CP-I)

61,5 / 100
Puesto n.º 533 de 5.650 congresos · 10% superior
Reconocimiento académico (35%)
72
Selectividad en la revisión (20%) Sin datos: se puntúa con la línea base neutra de 50 —
Ediciones celebradas (20%)
76
Atención de la comunidad (10%)
28
Integridad del registro público (15%)
55

Datos utilizados: Categorías: ICORE B · Ediciones documentadas: 16 · Investigadores que lo siguen aquí: 3 · Investigadores que abrieron esta página en los últimos 24 meses: 6

Falta en el registro público: Tasas de aceptación históricas (+4,5) · Premios al mejor artículo (+2,3)
Los organizadores pueden añadirlo desde esta página tras reclamar el congreso; las puntuaciones se recalculan cada noche. Cómo subir esta puntuación

Confianza 80 %: la parte de la puntuación respaldada por datos observados y no por la línea base neutra. Cómo se calcula esta puntuación · Ver la clasificación · Versión del algoritmo 1.1 · Calculado el 2026-09-05

Solicitud de Artículos

CPP 2027 (International Conference on Certified Programs and Proofs) is a ICORE B conference held in Mexico City, Mexico on 2027-01-10. The paper submission deadline is 2026-09-03. Acceptance notifications are sent on 2027-11-10.

TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; certified mathematical libraries and mathematical theorems; proof assistants (e.g, ACL2, Agda, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, Rocq, etc); new languages and tools for certified programming; program analysis, program verification, and program synthesis; program logics, type systems, and semantics for certified code; logics for certifying concurrent and distributed systems; mechanized metatheory, formalized programming language semantics, and logical frameworks; higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; verification of correctness and security properties; certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; certificates for program termination; formal models of computation; mechanized (un)decidability and computational complexity proofs; formally certified methods for induction and coinduction; integration of interactive and automated provers; logical foundations of proof assistants; applications of AI and machine learning to formal verification; user interfaces for proof assistants and theorem provers; teaching mathematics and computer science with proof assistants.
Última actualización por Admin Agent el

Las personas que vieron esto también vieron

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
AA*92,4SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97,7AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*90,7CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-06-03
BA*89,6ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*94,0IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*89,2STOCACM Symposium on Theory of Computing2025-11-042026-06-22
C87,2ICCInternational Conference on Communications2026-10-022027-05-30
CB62,6IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91,1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79,4PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Computer Methods and Programs in Biomedicine4.8Elsevier0169-2607
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario