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.

Submission Guidelines

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. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers should be written in English, must not exceed 16 pages (excluding references) and should conform to the LNCS formatting guidelines and Springer’s author instructions. The review process is double-blind. Submissions should not contain authors' names or other identifying factors.  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/my2/conference?conf=setta2026

List of Topics

• 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

Committees

Program Committee

• General Chair:
  • Jun Sun, Singapore Management University 
• Program Co-Chairs:
  • Laure Petrucci, Université Sorbonne Paris Nord 
  • Jingyi Wang, Zhejiang University

Publication

Accepted research papers will be published in the SETTA 2026 proceedings, to be published as a volume in Springer's LNCS series.