Información de la conferencia

ICFEM 2026: International Conference on Formal Engineering Methods

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.
Insertar insignia de cuenta atrás
ICFEM
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-06-01
Fecha de Notificación:
2026-08-08
Fecha de conferencia:
2026-11-17
Ubicación:
Southampton, UK
Ediciones:
27
CCF: C   ICORE: C   QUALIS: B1   Vistas: 55509   Seguidores: 35   Asistentes: 6

Índice Conference Partner (CP-I)

74,8 / 100
Puesto n.º 267 de 5.687 congresos · 5% superior
Reconocimiento académico (35%)
78
Selectividad en la revisión (20%)
70
Ediciones celebradas (20%)
90
Atención de la comunidad (10%)
57
Integridad del registro público (15%)
65

Datos utilizados: Categorías: CCF C, ICORE C, QUALIS B1 · Tasa de aceptación: 36.6% (media de 5 ediciones registradas) · Ediciones documentadas: 27 · Investigadores que lo siguen aquí: 35 · Investigadores que abrieron esta página en los últimos 24 meses: 19

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-29

Solicitud de Artículos

ICFEM 2026 (International Conference on Formal Engineering Methods) is a CCF C / ICORE 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 el

Tasa de aceptación

Tasa de aceptación media: 39.2% en 7 años (2002–2009).

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

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
CKnowledge-Based Systems7.2Elsevier0950-7051
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
CIEEE Transactions on Industrial Informatics11.7IEEE1551-3203
CIEEE Internet of Things Journal8.9IEEE2327-4662
CEngineering Applications of Artificial Intelligence9.0Elsevier0952-1976
CExpert Systems with Applications7.5Elsevier0957-4174
CIEEE Transactions on Big Data5.7IEEE2332-7790
CComputer Communications4.3Elsevier0140-3664

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario