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

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
CAV 2025   37th International Conference on Computer Aided Verification
ICSE 2026   The International Conference on Software Engineering - Second Cycle
ICCR--EI 2025   2025 7th International Conference on Control and Robotics (ICCR 2025)
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
RV 2025   25th International Conference on Runtime Verification