SETTA 2025: Call for Papers

The 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2025) will be held in Oxford, United Kingdom, at St Catherine's College, University of Oxford, from 1-3 December 2025.

Overview

SETTA aims to bring together international researchers to exchange research results and ideas on bridging the gap between formal methods and software engineering. The symposium encourages the participation of young researchers and students, aiming to become a flagship conference on formal software engineering. This year marks the first time the conference is being held outside its traditional home region in Asia.

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

Submission Guidelines

• Submission Link: https://setta2025.hotcrp.com/
• Format: Submissions should not exceed 16 pages (excluding references) in the LNCS format. Please follow Springer's author instructions or use the template on Overleaf.
• Review Process: SETTA 2025 employs double-blind reviewing. Submissions should not contain authors' names or other identifying factors.
• Language: Papers should be written in English.
• Originality: Submitted papers must be unpublished and not submitted for publication elsewhere.
• Presentation: All accepted papers will have to be presented at the conference by one of their authors. Extended versions of selected papers will be recommended to a special issue of a reputable journal (TBA).
• Publication: Peer-reviewed research papers will be published in the SETTA 2025 proceedings as a volume in Springer's LNCS series.

Important Dates (AoE)

SETTA 2025 will accept submissions in two rounds. All deadlines are at 23:59 AOE (Anywhere on Earth).

Round 1:

• Paper Submission Deadline: April 30, 2025
• Notification: June 16, 2025

Round 2:

• Paper Submission: August 20, 2025
• Notification: October 8, 2025