SEFM 2021 - Virtual

Software Engineering and Formal Methods (SEFM 2021)

Jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK)

The 19th edition of the International Conference on Software Engineering and Formal Methods will
be held between 6 and 10 December 2021.

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.

SEFM 2021 will be an entirely virtual event

Because of the COVID-19 pandemic, we have decided that SEFM 2021 will not take place physically but will be replaced by a virtual event.

SEFM aims to bring together leading 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. 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
• 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
• Synthesis
• Performance estimation and analysis of other non-functional properties
• Other light-weight and scalable formal methods# Security and Safety
• Security, privacy, and trust
• Safety-critical, fault-tolerant, and secure systems
• Software certification

Applications and Technology Transfer

• Service-oriented and cloud computing systems, Internet of Things
• Component, object, multi-agent and self-adaptive systems
• Real-time, hybrid, and cyber-physical systems
• Intelligent systems and machine learning
• HCI, interactive systems, and human error analysis
• Education