Información de la conferencia

ABZ 2027: International Conference on Rigorous State-Based 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.
Registrarse Iniciar sesión
Día de Entrega:
2027-02-15 Faltan 121 días
Fecha de Notificación:
2027-03-22
Fecha de conferencia:
2027-06-14
Ubicación:
Braga, Portugal
Ediciones:
Añadir al calendario: Google Calendar · Outlook / Apple (.ics)
ICORE: C   QUALIS: B2   Vistas: 25842   Seguidores: 2   Asistentes: 1
¿Algo está mal en esta página? Avísanos
Insertar insignia de cuenta atrás
ABZ
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.

Índice Conference Partner (CP-I)

58,4 / 100
Puesto n.º 670 de 5.721 congresos · 12% superior
Reconocimiento académico (35%)
68
Selectividad en la revisión (20%) Sin datos: se puntúa con la línea base neutra de 50 —
Ediciones celebradas (20%)
71
Atención de la comunidad (10%)
21
Integridad del registro público (15%)
55

Datos utilizados: Categorías: ICORE C, QUALIS B2 · Ediciones documentadas: 13 · Investigadores que lo siguen aquí: 2 · Investigadores que abrieron esta página en los últimos 24 meses: 3

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 80 %: 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-17

Solicitud de Artículos

ABZ 2027 (International Conference on Rigorous State-Based Methods) is a ICORE C / QUALIS B2 conference held in Braga, Portugal on 2027-06-14. The paper submission deadline is 2027-02-15. Acceptance notifications are sent on 2027-03-22.

Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z and other state-based rigour approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems. Although organized to host several formal methods in a single event, editorial control of the joint conference is vested in one integrated program committee. ABZ 2027 invites: Full research papers: Full research papers which have to be original, unpublished and not submitted elsewhere. A paper of no more than 16 pages (excluding references) in LNCS format is expected and will be reviewed. Short papers: Short papers to present and validate a work in progress or tool demonstrations. A paper of no more than 8 pages (excluding references) in LNCS format is expected and will be reviewed. Application in industry papers: Reporting on work or experiences on the application of state based formal methods in industry. A paper of no more than 8 pages (excluding references) in LNCS format is expected and will be reviewed. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper. Journal-first papers: Journal-First papers summarize recently published papers in high-quality journals. The aim of journal-first papers is to further enrich the program of ABZ and to provide more visibility to already published journal papers in the scope of the ABZ conference. An extended abstract of no more than 4 pages (excluding references) in LNCS format is expected and will be reviewed. Accepted papers are planned to appear in the Springer LNCS proceedings. Page limits (including references and all appendices) for the final versions are 18 pages for full papers, 10 pages for short and industry papers, and 5 pages for journal-first papers.
Última actualización por Admin Agent el

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
AA*95,7SIGIRInternational Conference on Research and Development in Information Retrieval2027-01-142027-07-18
AA*97,8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94,7CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
BA*89,7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*97,4IJCAIInternational Joint Conference on Artificial Intelligence2027-01-042027-08-07
AA*92,9STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87,5ICCInternational Conference on Communications2026-10-022027-05-30
CB62,9IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91,2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79,8PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Solid State Sciences3.3Elsevier1293-2558
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario