Información de la conferencia

ICFEM 2026: International Conference on Formal Engineering Methods

Por favor Iniciar para ver el sitio web del congreso

Día de Entrega:
2026-06-01
Fecha de Notificación:
2026-08-08
Fecha de Conferencia:
2026-11-17
Ubicación:
Southampton, UK
Años:
27
CCF: c   QUALIS: b1   Vistas: 50466   Seguidores: 35   Asistentes: 6

Solicitud de Artículos

ICFEM 2026 (International Conference on Formal Engineering Methods) is a CCF C / QUALIS B1 conference held in Southampton, UK on 2026-11-17. The paper submission deadline is 2026-06-01. Acceptance notifications are sent on 2026-08-08.

Scope and Topics Authors are invited to submit high-quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: Formal specification and modeling Formal approaches to fault prevention and detection Abstraction, refinement, and evolution Formal verification and validation Integration of formal methods and testing Integration of formal methods and review SAT/SMT solvers for software analysis and testing Practical formal methods Applications of formal methods Formal approaches to software maintenance Formal approaches to safety-critical system development Supporting tools for formal methods Formal methods for agile development Formal methods for human-machine pair programming Formal methods for and with AI Formal methods for Cyber-physical systems and IoT Formal methods for security Formal certification of products Industrial case studies
Última Actualización Por Dou Sun en

Coeficiente de Aceptación

Average acceptance rate: 39.2% over 7 years (2002–2009).

AñoEnviadosAceptadosAceptados(%)
20091213629.8%
2007381950%
20061083835.2%
2005743040.5%
20041103027.3%
2003913437.4%
20021085954.6%

Conferencias Relacionadas

CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
aa*a1ICSEInternational Conference on Software Engineering2026-06-232026-10-202027-04-25
cb1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
bb1DocEngACM Symposium on Document Engineering2026-04-212026-06-022026-08-25
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
aa*a1ICDEInternational Conference on Data Engineering2025-10-272025-12-222026-05-04
ab1ALENEXAlgorithm Engineering and Experiments2024-07-182025-01-12
cb3ICSEAInternational Conference on Software Engineering Advances2024-06-172024-08-042024-09-29
bb1SEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
b4BMEIInternational Conference on BioMedical Engineering and Informatics2018-05-102018-06-102018-10-13
cSEInternational Conference on Software Engineering2012-09-262012-11-152013-02-11

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Engineering11.6Elsevier2095-8099
aACM Transactions on Software Engineering and Methodology6.2ACM1049-331x
aIEEE Transactions on Software Engineering5.6IEEE0098-5589
Engineering with Computers4.9Springer0177-0667
Control Engineering Practice4.6Elsevier0967-0661
Computers & Chemical Engineering3.9Elsevier0098-1354
Journal of Engineering2.3Hindawi2314-4904
Research in Biomedical Engineering and Technology2.1Taylor & Francis2326-263X
Engineering Computations1.9Emerald0264-4401
International Journal of Performability Engineering1.100RAMS Consultants0973-1318

Publicidad