# SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications

Conference completed its latest edition on December 01, 2025 in United Kingdom. Researchers will present papers on a wide range of subjects, including Uncategorized, Computer Science & Software Engineering and Symposium on Dependable Software Engineering: Theories, Tools and Applications. Sponsoring organizations for the event include CCF. Submissions will undergo peer review and are planned for inclusion in DBLP.

**Type**: Conference
**Status**: Expired
**Verified On**: 26th July, 2026

---

## ⏱ Critical Deadline
> *No submission deadline specified*

---

## 📍 Event Information
- **Mode**: In Person
- **Location**: United Kingdom
- **Field**: Interdisciplinary
- **Date**: December 1-3, 2025
- **Official Website**: [https://www.setta2025.uk/](https://www.setta2025.uk/?utm_source=callforpaper.org)
- **Indexed In**: DBLP
- **Sponsors / In Cooperation**: CCF

---

## 📝 Call for Papers Description


<a href="https://callforpaper.org/categories/conomie" title="Browse  call for papers" rel="follow" aria-label="View more  call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors"></a>Webpage and Submission Link
<br>
<br>
<br> 
<br>
<br>
<br>Important Dates (AoE)
<br>SETTA 2025 will accept submissions in two rounds.  All deadlines are at 23:59 AOE.
<br>
<br>
<br>Paper Submission Deadline (Round 1): April 30, 2025 
<br>Notification (Round 1): June 16, 2025
<br>
<br>
<br>Paper Submission (Round 2): August 20, 2025
<br>Notification (Round 2): October 8, 2025
<br>
<br>
<br>Formatting Instructions
<br>
<br>Peer-reviewed research papers will be published in the SETTA 2025 proceedings as a volume in Springer's LNCS series. Submissions should not exceed 16 pages (excluding references) in the LNCS format. Please follow Springer's author instructions or use the template on overleaf. Papers should be submitted electronically through the submission website. SETTA 2025 employs double-blind reviewing. Submissions should not contain authors' names or other identifying factors.
<br>
<br>
<br>
<br>Call for Papers
<br>The 11th International Symposium on Dependable <a href="https://callforpaper.org/categories/software-1" title="Browse Software call for papers" rel="follow" aria-label="View more Software call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">Software</a> <a href="https://callforpaper.org/categories/engineering" title="Browse Engineering call for papers" rel="follow" aria-label="View more Engineering call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">Engineering</a>: Theories, Tools and Applications (SETTA 2025), will be held in Oxford, United Kingdom, on 1-3 December 2025. The event will be hosted at St Catherine's College, University of Oxford.
<br>
<br>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 <a href="https://callforpaper.org/categories/modeling-1" title="Browse modeling call for papers" rel="follow" aria-label="View more modeling call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">modeling</a>, specification, <a href="https://callforpaper.org/categories/design-1" title="Browse design call for papers" rel="follow" aria-label="View more design call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">design</a> and <a href="https://callforpaper.org/categories/verification-1" title="Browse verification call for papers" rel="follow" aria-label="View more verification call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">verification</a>. However, the impact of formal methods on the <a href="https://callforpaper.org/categories/quality-1" title="Browse quality call for papers" rel="follow" aria-label="View more quality call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">quality</a> and improvement of software <a href="https://callforpaper.org/categories/systems" title="Browse systems call for papers" rel="follow" aria-label="View more systems call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">systems</a> 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), <a href="https://callforpaper.org/categories/internet-1" title="Browse Internet call for papers" rel="follow" aria-label="View more Internet call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">Internet</a>-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth.
<br>
<br>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. All previous instances of SETTA have taken place in Asia and 2025 is the first time the conference is being held outside its traditional home region.
<br>
<br>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.
<br>
<br>Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and <a href="https://callforpaper.org/categories/technology-1" title="Browse technology call for papers" rel="follow" aria-label="View more technology call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">technology</a>. 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 <a href="https://callforpaper.org/categories/technologies-1" title="Browse technologies call for papers" rel="follow" aria-label="View more technologies call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">technologies</a>, especially when addressing new <a href="https://callforpaper.org/categories/application-1" title="Browse application call for papers" rel="follow" aria-label="View more application call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">application</a> domains.
<br>
<br>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.
<br>
<br>Topics and Scope
<br>
<br>Topics of interest include, but are not limited to:
<br>
<br><a href="https://callforpaper.org/categories/requirements-1" title="Browse Requirements call for papers" rel="follow" aria-label="View more Requirements call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">Requirements</a> specification and analysis
<br>
<br>Formalisms for modeling, design and implementation
<br>
<br>Model checking, theorem proving, and decision procedures
<br>
<br>Scalable approaches to formal system analysis
<br>
<br>Formal approaches to <a href="https://callforpaper.org/categories/simulation-1" title="Browse simulation call for papers" rel="follow" aria-label="View more simulation call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">simulation</a>, run-time verification, and <a href="https://callforpaper.org/categories/testing-1" title="Browse testing call for papers" rel="follow" aria-label="View more testing call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">testing</a>
<br>
<br><a href="https://callforpaper.org/categories/integration-1" title="Browse Integration call for papers" rel="follow" aria-label="View more Integration call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">Integration</a> of formal methods into software engineering practice
<br>
<br>Contract-based engineering of components, systems, and systems of systems
<br>
<br>Formal and engineering aspects of software evolution and <a href="https://callforpaper.org/categories/maintenance-1" title="Browse maintenance call for papers" rel="follow" aria-label="View more maintenance call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">maintenance</a>
<br>
<br>Parallel and multicore programming
<br>
<br>Embedded, real-time, hybrid, probabilistic, and cyber-physical systems
<br>
<br>Mixed-critical applications and systems
<br>
<br>Formal aspects of service-oriented and <a href="https://callforpaper.org/categories/cloud-computing" title="Browse cloud computing call for papers" rel="follow" aria-label="View more cloud computing call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">cloud computing</a>
<br>
<br>Safety, <a href="https://callforpaper.org/categories/reliability-1" title="Browse reliability call for papers" rel="follow" aria-label="View more reliability call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">reliability</a>, robustness, and fault-tolerance
<br>
<br><a href="https://callforpaper.org/categories/dependability-1" title="Browse Dependability call for papers" rel="follow" aria-label="View more Dependability call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">Dependability</a> of smart software and systems
<br>
<br>Empirical analysis techniques and integration with formal methods
<br>
<br>Applications and industrial experience reports
<br>
<br>Software tools to assist the construction or analysis of software systems
<br>
<br>
	

---

## 🏷 Taxonomy &amp; Topics
- **Primary Category**: N/A
- **Research Fields**: 
  - Uncategorized
  - Computer Science &amp; Software Engineering

---

## 🧭 Agent Instructions
- **Standard Link**: `https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442`
- **Markdown Link**: `https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442.md`
- **PDF Version**: `https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442.pdf`



---

## 🎓 Academic Citations &amp; Bibliographic Records

Use these pre-formatted snippets to cite this Call for Papers in publications or reference managers:

### Plain Text
```text
SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications. United Kingdom, December 01–03, 2025. Available at: https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442. Accessed: July 31, 2026.
```

### APA Style 7th edition
```text
SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications. (2025, December 01–03). United Kingdom. https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442
```

### IEEE
```text
&quot;SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications,&quot; United Kingdom, Dec. 01–03, 2025. [Online]. Available: https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442. [Accessed: July 31, 2026].
```

### BibTeX
```bibtex
@misc{setta20252025cfp,
  title     = {SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications},
  year      = {2025},
  month     = dec,
  address   = {United Kingdom},
  url       = {https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442},
  note      = {Call for Papers. Accessed: 2026-07-31}
}
```

### RIS (Reference Manager, EndNote)
```ris
TY  - CONF
TI  - SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications
PY  - 2025
DA  - 2025/12/01
CY  - United Kingdom
UR  - https://callforpaper.org/cfp/setta-2025-11th-symposium-on-dependable-software-engineering-theories-tools-and-applications_3442
N1  - Call for Papers. Accessed: 2026-07-31
ER  -
```