Información de la conferencia

SETTA 2026: Symposium on Dependable Software Engineering: Theories, Tools and Applications

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
Insertar insignia de cuenta atrás
SETTA
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-08-10
Fecha de Notificación:
2026-09-30
Fecha de conferencia:
2026-12-02
Ubicación:
Singapore
Ediciones:
CCF: C   Vistas: 32320   Seguidores: 20   Asistentes: 12

Índice Conference Partner (CP-I)

60,9 / 100
Puesto n.º 581 de 5.682 congresos · 11% superior

N.º 68 de 247 en Ingeniería de software N.º 95 de 341 en Sistemas y arquitectura

Reconocimiento académico (35%)
66
Selectividad en la revisión (20%) Sin datos: se puntúa con la línea base neutra de 50 —
Ediciones celebradas (20%)
69
Atención de la comunidad (10%)
57
Integridad del registro público (15%)
55

Datos utilizados: Categorías: CCF C · Ediciones documentadas: 12 · Investigadores que lo siguen aquí: 20 · Investigadores que abrieron esta página en los últimos 24 meses: 41

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.1 · Calculado el 2026-09-15

Solicitud de Artículos

SETTA 2026 (Symposium on Dependable Software Engineering: Theories, Tools and Applications) is a CCF C conference held in Singapore on 2026-12-02. The paper submission deadline is 2026-08-10. Acceptance notifications are sent on 2026-09-30.

The 12th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2026), will be held in Singapore, on 2-4 December 2026. Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community has formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality and improvement of software systems is, in practice, lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. The purpose of the SETTA symposium is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. It aims at academic excellence and its objective is to become a flagship conference on formal software engineering in Asia. To achieve these goals and contribute to the sustainability of the formal methods research, it is important for the symposium to attract young researchers into the community. Thus, this symposium particularly encourages the participation of young researchers and students. Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods and applications thereof in software engineering. This is done by either substantiating the advantages of integrating formal methods into the development cycle or through delineating the need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. All submissions must be in pdf format. Papers should be written in English. Submitted papers must be unpublished and not submitted for publication elsewhere. The review process is double-blind and each submission will be reviewed by at least two members of the technical program committee. All accepted papers will have to be presented at the conference by one of their authors. As in previous iterations of SETTA, extended versions of selected papers will be recommended to special issues of a reputable journal (TBA) after the proceedings of the conference. Submission link: https://easychair.org/conferences/?conf=setta2026 FAC Special Issue Announcement We are pleased to announce that selected high-quality papers from the conference will be invited to submit an extended version (with no less than 30% new material) to a Special Issue of Formal Aspects of Computing, subject to the journal's review process https://dl.acm.org/journal/fac/author-guidelines. Topics and Scope Topics of interest include, but are not limited to: Requirements specification and analysis Formalisms for modeling, design and implementation Model checking, theorem proving, and decision procedures Scalable approaches to formal system analysis Formal approaches to simulation, run-time verification, and testing Integration of formal methods into software engineering practice Contract-based engineering of components, systems, and systems of systems Formal and engineering aspects of software evolution and maintenance Parallel and multicore programming Embedded, real-time, hybrid, probabilistic, and cyber-physical systems Mixed-critical applications and systems Formal aspects of service-oriented and cloud computing Safety, reliability, robustness, and fault-tolerance Dependability of smart software and systems Empirical analysis techniques and integration with formal methods Applications and industrial experience reports Software tools to assist the construction or analysis of software systems Trustworthy and explainable AI
Última actualización por Admin Agent el

Las personas que vieron esto también vieron

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
CC85,0IPCCCInternational Performance Computing and Communications Conference2026-08-072026-11-21
C63,9MSNInternational Conference on Mobility, Sensing and Networking2026-08-202026-12-18
CC61,1GPCInternational Conference on Green, Pervasive and Cloud Computing2026-08-012026-12-04
BA70,4CIDRThe biennial Conference on Innovative Data Systems Research2026-08-042027-01-24
CB69,9MMMInternational Conference on MultiMedia Modeling2026-08-162027-01-05
CC50,0MMAsiaACM Multimedia Asia2026-08-032026-12-15
CA80,4ECIREuropean Conference on Information Retrieval2026-09-212027-03-21
C61,6CSCloudIEEE International Conference on Cyber Security and Cloud Computing2026-08-012026-12-19
BA*94,4PerComInternational Conference on Pervasive Computing and Communications2026-09-042027-03-08
BA92,8DATEDesign, Automation and Test in Europe2026-09-072027-03-22

Conferencias Relacionadas

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
CNeurocomputing6.5Elsevier0925-2312
BInformation and Software Technology4.3Elsevier0950-5849
CDiscover Computing1.9Springer2948-2992
CFuture Generation Computer Systems5.9Elsevier0167-739X
IEEE Security & Privacy3.0IEEE1540-7993
BComputer Networks4.7Elsevier1389-1286
Software-Concepts and ToolsSpringer0945-8115
International Journal on Artificial Intelligence Tools1.0World Scientific0218-2130
CKnowledge-Based Systems7.2Elsevier0950-7051
CPattern Recognition Letters3.9Elsevier0167-8655

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario