The 7th International Symposium on Model-Based Safety and Assessment (IMBSA 2020) will be held in Lisbon, the capital of Portugal. It is co-located with the SafeComp 2020 (http://safecomp2020.di.fc.ul.pt).
IMBSA is the key event in the field of MBSA 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. The symposium provides a dedicated forum, where state-of-the-art research, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate and grow the community.
Abstract submission: 4 May 2020
Full paper submission: 11 May 2020
Notification of acceptance: 22 June 2020
Camera-ready submission: 2 July 2020
Conference: 14-16 September 2020