About IMBSA 2017

The 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017) will be held in Trento, Italy. IMBSA is the key event in the field of MBSA bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses and cutting edge optimisation to 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.

Important Dates

Abstract submission:

28 February 2017 (EXTENDED)

Full paper submission:

 6 March  2017 (EXTENDED)

12 March 2017 (for updates only, read here) (FIRM)

Notification of acceptance:

8 May 2017

Camera-ready submission:

12 June 2017

Conference:
11-13 September, 2017