CFP summary
SETTA is an international symposium on dependable software engineering, bringing together work on theories, tools, and applications for building trustworthy software systems. The 2025 meeting at the University of Oxford marks the 11th edition of the series and serves as a forum for researchers interested in rigor, reliability, and formal engineering approaches. Although the homepage is concise, the series positioning clearly emphasizes dependable software engineering across methods, tools, and applications.
Topics
Dependable software engineering; theories, tools, and applications for trustworthy software; formal reasoning, verification, analysis, and dependable system development.