Información de la conferencia
FMICS 2026: International Conference on Formal Methods for Industrial Critical Systems
Insertar insignia de cuenta atrás
Obtener estos datos por API
Índice Conference Partner (CP-I)
N.º 65 de 247 en Ingeniería de software
| Reconocimiento académico (35%) |
|
58 |
| Selectividad en la revisión (20%) |
|
61 |
| Ediciones celebradas (20%) |
|
93 |
| Atención de la comunidad (10%) |
|
17 |
| Integridad del registro público (15%) |
|
65 |
Datos utilizados: Categorías: ICORE C, QUALIS B4 · Tasa de aceptación: 44% (media de 4 ediciones registradas) · Ediciones documentadas: 31 · Investigadores que lo siguen aquí: 1 · Investigadores que abrieron esta página en los últimos 24 meses: 3
Falta en el registro público:
Ediciones anteriores (+3,0) · 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
Recibe un aviso cuando se abra la próxima edición
Esta edición ha terminado. Crea una cuenta gratuita y te avisaremos por correo en cuanto se publique la próxima convocatoria.
Según la edición anterior, la próxima fecha límite se estima alrededor de 2027-04.
Solicitud de Artículos
FMICS 2026 (International Conference on Formal Methods for Industrial Critical Systems) is a ICORE C / QUALIS B4 conference held in Liverpool, UK on 2026-09-02. The paper submission deadline is 2026-04-10. Acceptance notifications are sent on 2026-06-01.
Tasa de aceptación
Tasa de aceptación media: 44% en 4 años (2005–2008).
| Año | Enviados | Aceptados | Aceptados(%) |
|---|---|---|---|
| 2008 | 36 | 14 | 38.9% |
| 2007 | 32 | 15 | 46.9% |
| 2006 | 47 | 18 | 38.3% |
| 2005 | 27 | 14 | 51.9% |
Conferencias Relacionadas
| CCF | ICORE | CP-I | Abreviación | Nombre Completo | Entrega | Fecha de conferencia |
|---|---|---|---|---|---|---|
| 44,0 | iFS | International Conference on Foundations and Formal Methods for Software and Systems | 2026-10-15 | 2027-04-10 | ||
| 62,8 | FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-02-11 | 2013-06-03 | ||
| A | A* | 92,4 | SIGIR | International Conference on Research and Development in Information Retrieval | 2026-01-15 | 2026-07-20 |
| A | A* | 97,7 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 91,1 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2025-11-06 | 2026-06-03 |
| B | A* | 89,7 | ICRA | International Conference on Robotics and Automation | 2026-09-15 | 2027-05-24 |
| B | A* | 94,0 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 |
| A | A* | 89,3 | STOC | ACM Symposium on Theory of Computing | 2025-11-04 | 2026-06-22 |
| C | 87,3 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 62,6 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| International Journal of Critical Infrastructure Protection | 5.3 | Elsevier | 1874-5482 | |
| 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 | 5.9 | 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ún no hay comentarios.