SEFM 2022 (International Conference on Software Engineering and Formal Methods) is a ICORE B / QUALIS B1 conference held in Online on 2022-09-28. The paper submission deadline is 2022-06-20. Acceptance notifications are sent on 2022-08-07.
The 20th edition of the International Conference on Software Engineering and Formal Methods (SEFM'22) will be held Sept. 28 - 30, 2022, with workshops on Sept. 26 and 27 and a SEFM school Sept. 20-24. The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. Depending on the further development of the current pandemic, the conference will be either purely virtual or in-person-only at Humboldt University, Berlin. Authors should be prepared for both types; the decision will be communicated at the end of May 2022.
The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods.
Software Development Methods
Formal modeling, specification, and design
Automated software engineering
Software evolution, maintenance, re-engineering, and reuse
Design Principles
Programming languages
Domain-specific languages
Type theory
Abstraction and refinement
Software Testing, Validation, and Verification
Model checking, theorem proving, and decision procedures
Testing and runtime verification
Statistical and probabilistic analysis
Software synthesis and repair
Lightweight and scalable formal methods
Analysis of dependability, performance and other non-functional properties
Resilience, security, privacy, and trust
Safety-critical, fault-tolerant, and secure systems
Software assurance and certification
Service-oriented and cloud computing systems, Internet of Things
Component-based and multi-agent systems
Real-time, hybrid, and cyber-physical systems
Intelligent systems and machine learning
HCI, interactive systems, and human error analysis
Applications and Technology Transfer
Case studies
Best practices
Experience reports
Educational topics
Special topic at SEFM 2022: “Software Engineering and Formal Methods for Intelligent and Learning Systems”
Formal specification of tasks for ML
Data management and data preparation
Autonomous and self-adaptive systems
Test generation for ML components
Verification of safety and security for artificial intelligence
Integration of conventional software and machine learning
AI for the improvement of formal methods
Use of AI in software engineering
暂无评论。