International Symposium on Model-Based Safety and Assessment - IMBSA
2025 Athens
Call for Papers - Open Now
We welcome contributions concerning the design and verification of safety critical systems and applications using model-based methods.
The 9th International Symposium on Model-Based Safety Assessment (IMBSA 2025) will be held in Athens, Greece in September 24-25, 2025.
IMBSA is the key event in the field of Model-Based Safety Assessment bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses, cutting edge optimisation, and developments in artificial intelligence that address hard problems in the design of safe complex systems including software intensive and open cyber-physical systems.
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
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.