Areas of interest include but are not limited to:

- approaches and tools for verification and validation;
- application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems;
- scalability of formal methods applications;
- integration of formal methods within the software development lifecycle (e.g., change management, continuous integration and deployment);
- requirements formalization and formal specification;
- model-based software engineering approaches;
- performance analysis based on formal approaches;
- formal methods in a certification context;
- formal approaches for safety and security-related issues;
- usability of formal methods;
- guidelines to use formal methods in practice;
- case studies developed/analyzed with formal approaches;
- experience reports on the application of formal methods to real-world problems.

See https://www.formalise.org/ or https://formalise2023.github.io/ for further information.