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