Información de la conferencia
FormaliSE 2027: International Conference on Formal Methods in Software Engineering
Insertar insignia de cuenta atrás
Obtener estos datos por API
Índice Conference Partner (CP-I)
N.º 98 de 249 en Ingeniería de software
| Reconocimiento académico (35%) | Sin datos: se puntúa con la línea base neutra de 50 | — |
| Selectividad en la revisión (20%) | Sin datos: se puntúa con la línea base neutra de 50 | — |
| Ediciones celebradas (20%) |
|
75 |
| Atención de la comunidad (10%) |
|
19 |
| Integridad del registro público (15%) |
|
55 |
Datos utilizados: Ediciones documentadas: 15 · Investigadores que lo siguen aquí: 1 · Investigadores que abrieron esta página en los últimos 24 meses: 4
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 45 %: 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-11-10
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-10.
Solicitud de Artículos
FormaliSE 2027 (International Conference on Formal Methods in Software Engineering) is an academic conference held in Dublin, Ireland on 2027-04-26. The paper submission deadline is 2026-10-30. Acceptance notifications are sent on 2027-01-11.
Conferencias Relacionadas
| CCF | ICORE | CP-I | Abreviación | Nombre Completo | Entrega | Fecha de conferencia |
|---|---|---|---|---|---|---|
| B | 70,5 | SEFM | International Conference on Software Engineering and Formal Methods | 2022-06-20 | 2022-09-28 | |
| 42,1 | SOFTFM | International Conference on Software Engineering Advances and Formal Methods | 2022-09-24 | 2022-10-22 | ||
| 44,5 | iFS | International Conference on Foundations and Formal Methods for Software and Systems | 2026-10-15 | 2027-04-10 | ||
| C | C | 74,8 | ICFEM | International Conference on Formal Engineering Methods | 2026-06-01 | 2026-11-17 |
| 40,7 | FMA | International Symposium Formal Methods in Architecture | 2017-10-01 | 2018-04-02 | ||
| B | B | 69,4 | FMCAD | Formal Methods in Computer-Aided Design | 2026-05-04 | 2026-09-14 |
| A | A* | 96,0 | 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,9 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2026-11-10 | 2027-06-20 |
| B | A* | 89,8 | ICRA | International Conference on Robotics and Automation | 2026-09-15 | 2027-05-24 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| Optimization Methods and Software | 1.4 | Taylor & Francis | 1055-6788 | |
| Computer Methods in Applied Mechanics and Engineering | 7.3 | Elsevier | 0045-7825 | |
| Archives of Computational Methods in Engineering | 12.1 | Springer | 1134-3060 | |
| Advances in Engineering Software | 5.7 | Elsevier | 0965-9978 | |
| B | Formal Methods in System Design | 0.8 | Springer | 0925-9856 |
| 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 |
Aún no hay comentarios.