Información de la conferencia
CAV 2027: International Conference on Computer-Aided Verification
Insertar insignia de cuenta atrás
Obtener estos datos por API
Índice Conference Partner (CP-I)
N.º 11 de 247 en Ingeniería de software
| Reconocimiento académico (35%) |
|
100 |
| Selectividad en la revisión (20%) |
|
83 |
| Ediciones celebradas (20%) |
|
99 |
| Atención de la comunidad (10%) |
|
57 |
| Integridad del registro público (15%) |
|
85 |
Datos utilizados: Categorías: CCF A, QUALIS A1 · Tasa de aceptación: 25.8% (media de 5 ediciones registradas) · Ediciones documentadas: 39 · Investigadores que lo siguen aquí: 34 · Investigadores que abrieron esta página en los últimos 24 meses: 20
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.2 · Calculado el 2026-10-20
No te pierdas la fecha límite de CAV
Crea una cuenta gratuita y te enviaremos un correo 30, 14, 7, 3, 1 días antes de la fecha límite de envío.
Tu primer recordatorio se enviaría el 2026-12-21.
Solicitud de Artículos
CAV 2027 (International Conference on Computer-Aided Verification) is a CCF A / ICORE A* / QUALIS A1 conference held in Amsterdam, the Netherlands on 2027-07-19. The paper submission deadline is 2027-01-20. Acceptance notifications are sent on 2027-04-23.
Tasa de aceptación
Tasa de aceptación media: 30.3% en 14 años (1996–2014).
| Año | Enviados | Aceptados | Aceptados(%) |
|---|---|---|---|
| 2014 | 175 | 46 | 26.3% |
| 2013 | 209 | 54 | 25.8% |
| 2012 | 140 | 38 | 27.1% |
| 2006 | 121 | 35 | 28.9% |
| 2005 | 155 | 32 | 20.6% |
| 2004 | 144 | 32 | 22.2% |
| 2003 | 102 | 32 | 31.4% |
| 2002 | 94 | 35 | 37.2% |
| 2001 | 106 | 33 | 31.1% |
| 2000 | 91 | 35 | 38.5% |
| 1999 | 107 | 34 | 31.8% |
| 1998 | 117 | 33 | 28.2% |
| 1997 | 84 | 34 | 40.5% |
| 1996 | 93 | 32 | 34.4% |
Las personas que vieron esto también vieron
| CCF | ICORE | CP-I | Abreviación | Nombre Completo | Entrega | Fecha de conferencia |
|---|---|---|---|---|---|---|
| A | A | 92,8 | ISSTA | International Symposium on Software Testing and Analysis | 2027-01-08 | 2027-09-07 |
| A | A* | 97,5 | ICDE | International Conference on Data Engineering | 2026-11-11 | 2027-05-17 |
| A | A* | 91,8 | FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2026-10-02 | 2027-07-12 |
| A | A* | 97,2 | The Web Conference | The ACM Web Conference | 2026-10-18 | 2027-05-10 |
| A | A | 93,1 | OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2027-04-07 | 2027-10-10 |
| A | A* | 94,3 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2026-11-12 | 2027-06-05 |
| B | A | 84,2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2027-02-25 | 2027-09-26 |
| B | A | 93,4 | DSN | International Conference on Dependable Systems and Networks | 2026-11-25 | 2027-06-22 |
| A | A* | 93,5 | USENIX Security | USENIX Security Symposium | 2027-01-19 | 2027-08-11 |
| B | A* | 96,6 | SIGMETRICS | International Conference on Measurement and Modeling of Computer Systems | 2027-01-11 | 2027-06-07 |
Conferencias Relacionadas
| CCF | ICORE | CP-I | Abreviación | Nombre Completo | Entrega | Fecha de conferencia |
|---|---|---|---|---|---|---|
| A | A* | 95,8 | SIGIR | International Conference on Research and Development in Information Retrieval | 2027-01-14 | 2027-07-18 |
| A | A* | 97,8 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 94,7 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2026-11-10 | 2027-06-20 |
| A | A* | 92,9 | STOC | ACM Symposium on Theory of Computing | 2026-11-02 | 2027-06-06 |
| A | A* | 95,4 | OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2026-12-01 | 2027-07-07 |
| A | A* | 95,2 | ICML | International Conference on Machine Learning | 2026-01-23 | 2026-07-06 |
| A | A* | 97,3 | INFOCOM | International Conference on Computer Communications | 2026-07-24 | 2027-05-24 |
| A | A* | 89,4 | ICCV | International Conference on Computer Vision | 2025-03-07 | 2025-10-19 |
| A | A* | 94,2 | CHI | ACM Conference on Human Factors in Computing Systems | 2026-09-10 | 2027-05-10 |
| A | A | 92,8 | ISSTA | International Symposium on Software Testing and Analysis | 2027-01-08 | 2027-09-07 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| Journal of Computer-Aided Molecular Design | 3.1 | Springer | 0920-654X | |
| Integrated Computer-Aided Engineering | 5.3 | IOS Press | 1069-2509 | |
| Computer-Aided Civil and Infrastructure Engineering | 9.1 | Wiley | 1093-9687 | |
| Software Testing Verification and Reliability | 1.2 | Wiley | 0960-0833 | |
| International Journal of RF and Microwave Computer-Aided Engineering | 0.900 | Wiley | 1096-4290 | |
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| A | IEEE Transactions on Dependable and Secure Computing | 7.5 | IEEE | 1545-5971 |
| A | IEEE Transactions on Parallel and Distributed Systems | 6.0 | IEEE | 1045-9219 |
| A | IEEE Transactions on Image Processing | 13.7 | IEEE | 1057-7149 |
Aún no hay comentarios.