IMBSA
International Symposium on Model-Based
Safety & Assessment
September 24-26 2025 | Athens, Greece
Call for Papers - Open Now
We invite contributions addressing the design and verification of safety-critical systems and applications through the use of model-based methods.
About the conference
The 9th International Symposium on Model-Based Safety Assessment (IMBSA 2025) will take place in Athens, Greece, on September 24–25, 2025.
IMBSA serves as the premier forum in the field of model-based safety assessment, presenting cutting-edge advancements in model-based engineering, formal techniques, probabilistic analysis, optimization methods, and artificial intelligence. The symposium focuses on tackling the most challenging aspects of designing safe, complex systems—particularly software-intensive and open cyber-physical systems—ensuring a reliable future in an increasingly interconnected world.
Important Dates
- Call for Workshop Proposals 30 January 2025
- Abstract Submission 1 April 2025
- Paper Submission: 13 April 2025
- Notification of acceptance: 18 May 2025
- Camera-ready submission: 25 June 2025
- Conference Dates: 24-25 September 2025
- Social Agenda: 26 September 2025
We aim to present the state-of-the-art on all aspects of technological safety, addressing hard problems in the design of safe and secure complex systems including large scale software intensive systems, systems and models with learned behaviour, and autonomous cyber-physical systems and systems of systems characterised by unpredictability and uncertainties.
The symposium provides a dedicated forum, where state-of-the-art researches, leading edge technologies and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate and grow the community. Two keynotes will be given in the area of safe intelligent systems by prominent researchers in the field.