posted by user: jaichberg || 715 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 2023   Fifth Workshop on Formal Methods for Autonomous Systems
VSTTE 2023   International Conference on Verified Software: Theories, Tools, and Experiments
AREA 2023   Agents and Robots for reliable Engineered Autonomy
ICFEM 2023   International Conference on Formal Engineering Methods
IFM 2023   Integrated Formal Methods
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
IC&C--Ei 2024   2024 the 2nd International Conference on Intelligent Control and Computing (IC&C 2024)
ICVARS 2024   2024 the 8th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2024)
LANMR 2023   15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning
CONISOFT 2023   IEEE 11th International Conference on Software Engineering Research and Innovation