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

AUEN 2024   3rd International Conference on Automation and Engineering
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
ABZ 2024   Abstract State Machines, Alloy, B and Z
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
FM 2024   Formal Methods
ACM ICCBDC 2024   ACM--2024 8th International Conference on Cloud and Big Data Computing (ICCBDC 2024)
PRAI--EI 2024   2024 the 7th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2024)
NFM 2024   NASA Formal Methods Symposium