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