About us

SETTA 2026 is the 12th International Symposium on Dependable Software Engineering, aimed at bringing international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. It focuses on formal theories, techniques, and tools for software modeling, specification, design, and verification, particularly for large-scale systems like Cyber-Physical Systems and IoT.

Important Dates

Sun, May 10, 2026

Submission deadline

Paper Submission

Research Paper Submission Tracks

Trustworthy and explainable AI

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

Call for Papers Description

Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. Submissions must be in PDF, unpublished, not exceed 16 pages, follow LNCS formatting, and undergo double-blind review.