posted by user: jaichberg || 1139 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

SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
ICGDA 2025   2025 8th International Conference on Geoinformatics and Data Analysis (ICGDA 2025)
ICoSSE 2025   2025 8th International Conference on Software and System Engineering (ICoSSE 2025)
ICoSSE--Ei 2025   2025 8th International Conference on Software and System Engineering (ICoSSE 2025)
CETA 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
SBMF 2024   27th Brazilian Symposium on Formal Methods
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems