中国计算机学会（CCF）推荐学术会议-C（计算机科学理论）：SETTA 2025

SETTA 2025

The 11th International Symposium on Dependable Software Engineering: 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.

所属领域：计算机科学理论

CCF推荐：C

录用率：44.7%（2024年）

时间地点：2025年12月1日-牛津·英国

大会征文

·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

·Trustwothy and explainable AI