posted by user: jaichberg || 1665 views || tracked by 4 users: [display]

FormaliSE 2023 : 11th International Conference on Formal Methods in Software Engineering

FacebookTwitterLinkedInGoogle

Link: https://www.formalise.org/
 
When May 14, 2023 - May 15, 2023
Where Melbourne, Australia
Abstract Registration Due Jan 16, 2023
Submission Deadline Jan 27, 2023
Notification Due Feb 21, 2023
Final Version Due Mar 13, 2023
 

Call For Papers

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.

Related Resources

FMAS 2025   7th International Workshop on Formal Methods for Autonomous Systems
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
ICIAI 2026   2026 the 10th International Conference on Innovation in Artificial Intelligence (ICIAI 2026)
SPIE SPRA 2026   SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
FM 2026   International Symposium on Formal Methods
ISAI--EI 2026   2026 the 6th International Symposium on AI (ISAI 2026)
iFM 2025   20th International Conference on Integrated Formal Methods
SBMF 2025   28th Brazilian Symposium on Formal Methods
CMSB 2025   23rd international conference on Computational Methods in Systems Biology (CMSB 2025)