Información de la conferencia

VMCAI 2027: International Conference on Verification, Model Checking, and Abstract Interpretation

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
VMCAI
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-23 Faltan 12 días Extended
Fecha de Notificación:
2026-11-06
Fecha de conferencia:
2027-01-11
Ubicación:
Mexico City, Mexico
Ediciones:
CCF: B   ICORE: B   QUALIS: A2   Vistas: 51074   Seguidores: 36   Asistentes: 9

Índice Conference Partner (CP-I)

82,1 / 100
Puesto n.º 166 de 5.678 congresos · 3% superior

N.º 22 de 247 en Ingeniería de software

Reconocimiento académico (35%)
92
Selectividad en la revisión (20%)
66
Ediciones celebradas (20%)
91
Atención de la comunidad (10%)
59
Integridad del registro público (15%)
85

Datos utilizados: Categorías: CCF B, ICORE B, QUALIS A2 · Tasa de aceptación: 40.5% (media de 4 ediciones registradas) · Ediciones documentadas: 28 · Investigadores que lo siguen aquí: 36 · Investigadores que abrieron esta página en los últimos 24 meses: 23

Falta en el registro público: 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 100 %: 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-11

Solicitud de Artículos

VMCAI 2027 (International Conference on Verification, Model Checking, and Abstract Interpretation) is a CCF B / ICORE B / QUALIS A2 conference held in Mexico City, Mexico on 2027-01-11. The paper submission deadline is 2026-09-23 (extended). Acceptance notifications are sent on 2026-11-06.

List of Topics The program will consist of refereed research papers as well as invited talks. Research contributions may report new results, experimental evaluations, and comparisons of existing techniques. Topics include, but are not limited to: program verification model checking abstract interpretation abstract domains program synthesis static analysis type systems deductive methods program logics first-order theories decision procedures interpolation Horn clause solving program certification separation logic probabilistic programming and analysis error diagnosis detection of bugs and security vulnerabilities program transformations hybrid and cyber-physical systems concurrent and distributed systems verification for quantum computation analysis of numerical properties analysis of smart contracts analysis of neural networks case studies on all of the above topics
Última actualización por Admin Agent el

Tasa de aceptación

Tasa de aceptación media: 40.5% en 4 años (2002–2005).

AñoEnviadosAceptadosAceptados(%)
2005922729.3%
2004682232.4%
2003432046.5%
2002412253.7%

Las personas que vieron esto también vieron

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
B91,1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA92,8DATEDesign, Automation and Test in Europe2026-09-072027-03-22
BB60,9DCCData Compression Conference2026-10-022027-03-23
BA72,4SANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2026-09-212027-03-09
AA*89,1ICLRInternational Conference on Learning Representations2026-09-182027-04-26
BA71,7ICDTInternational Conference on Database Theory2026-09-032027-04-06
AA91,0EuroSysEuropean Conference on Computer Systems2026-09-172027-04-19
BA*94,4PerComInternational Conference on Pervasive Computing and Communications2026-09-042027-03-08
AA*94,8EurocryptInternational Conference on the Theory and Applications of Cryptographic Techniques2026-09-172027-04-11
B60,9ETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152027-04-10

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
C68,7SPINInternational SPIN Symposium on Model Checking of Software2026-01-152026-04-15
BA*89,7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*94,0IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
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
BA76,4ICMEInternational Conference on Multimedia and Expo2025-12-312026-07-05
B84,4BIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-12-01
BA*94,1ICDMInternational Conference on Data Mining2026-06-062026-11-12
BA*89,0ECCVEuropean Conference on Computer Vision2026-03-062026-09-08
BA92,8DATEDesign, Automation and Test in Europe2026-09-072027-03-22

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255
BComputer Networks4.7Elsevier1389-1286
BComputers & Security5.4Elsevier0167-4048
BIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050
BJournal of Systems and Software3.8Elsevier0164-1212
BInformation Processing & Management6.9Elsevier0306-4573
BIEEE Transactions on Robotics10.5IEEE1552-3098

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario