All conferences / SETTA / 2026
SETTA 2026
12th International Symposium on Dependable Software Engineering: Theories, Tools and Applications
Submission timeline
Round 1
-
24 May 2026
Full paper
AoE
10 May 2026→ 24 May 2026 +14 days -
14 Jul 2026
Notification
30 Jun 2026→ 14 Jul 2026 +14 days
Round 2
-
24 Aug 2026
Full paper
AoE
10 Aug 2026→ 24 Aug 2026 +14 days - 30 Sep 2026 Notification
- 2 Dec 2026 Conference opens
What to submit
- Format
- 16 pages LNCS + references
- Proceedings
- Springer LNCS — Paywalled, for-profit
- Reviewing
- Double blind
- Journal
- Selected papers will be invited for extended versions in a reputable journal special issue.
Call for papers
- After a deadline extension SETTA-2026-extended.txt · TXT · shown below
- As first published SETTA-2026.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension.
Dear colleagues,
Please note that the deadline for submitting papers at SETTA has been extended until May 24.
**************************************************************************************************************************************
12th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2026), to be held in Singapore, December 2–4, 2026.
**************************************************************************************************************************************
SETTA aims to bring together researchers and practitioners to advance the state of the art in formal methods and dependable software engineering, with a particular focus on bridging the gap between theory and real-world software systems.
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
We welcome:
Original research papers
Industrial application papers
Position papers on emerging challenges
Submission guidelines:
Peer-reviewed research papers will be published in the SETTA 2026 proceedings (Springer LNCS)
Submissions must not exceed 16 pages (excluding references) and must follow LNCS formatting guidelines
Papers must be written in English and submitted in PDF format via EasyChair
Submissions must be original and not under review elsewhere
SETTA 2026 employs double-blind reviewing; submissions must not contain author names or identifying information
Each paper will be reviewed by at least two program committee members
Accepted papers must be presented at the conference
Selected papers will be invited for extended versions in a reputable journal special issue.
Important Dates (AoE, 23:59):
Round 1
Paper Submission: May 10, 2026 May 24, 2026
Notification: June 30, 2026 July 14, 2026
Round 2
Paper Submission: August 10, 2026
Notification: September 30, 2026
Conference Dates: December 2–4, 2026
Submission link:
https://easychair.org/my2/conference?conf=setta2026
We especially encourage participation from young researchers and students.
We look forward to your submissions and to welcoming you in Singapore!
Best regards,
General Chair
Jun Sun, Singapore Management University
Tali Sznajder