SETTA2025The 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications 2025University of OxfordView detailsLocationOxford, United KingdomEvent dateDec 1, 2025 – Dec 3, 2025Paper deadlineTBAStatusPast / closedFormal MethodsUnited KingdomOxford