Scope and Topics

Authors are invited to submit high-quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:

Formal specification and modeling
Formal approaches to fault prevention and detection
Abstraction, refinement, and evolution
Formal verification and validation
Integration of formal methods and testing
Integration of formal methods and review
SAT/SMT solvers for software analysis and testing
Practical formal methods
Applications of formal methods
Formal approaches to software maintenance
Formal approaches to safety-critical system development
Supporting tools for formal methods
Formal methods for agile development
Formal methods for human-machine pair programming
Formal methods for and with AI
Formal methods for Cyber-physical systems and IoT
Formal methods for security
Formal certification of products
Industrial case studies