11th Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2025)
37 37 people viewed this event.
The 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2025) will be held in Oxford, United Kingdom.
Topics of interest include, but are not limited to: Formal Methods, Programming Languages, Software Engineering, Program Verification
Submission deadline for conference contributions is Apr 30, 2025.