IMBSA 2020

7th International Symposium on Model-Based Safety and Assessment

14-16 SEPTEMBER 2020
LISBON, PORTUGAL

Message from the General Chairs

Dear Colleagues,

As COVID-19 continues to have an impact around the globe, we hope that you and your loved ones remain safe and well.

While the conference is still far away, we are continuing the preparation of the conference. If you are planning your paper submission (due on May 11th) for IMBSA 2020, don’t stop your work. All due dates are still in effect. Hope to see you all in September in Lisbon!

With the current COVID-19 situation we are unable to foresee, the conference organizers carefully observing the ongoing situation.

If conditions allow, we will have a physical conference meeting in Lisbon as planned. Otherwise we will arrange a virtual meeting with online presentations, tutorials, demos, and Q&A sessions. Nevertheless, all accepted regular papers will be published in Springer’s Lecture Notes in Computer Science (LNCS).

Paper submission is open

Welcome

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.

Latest News

31 Mar, ’20: Message from the General chairs posted, Consent to Publish form available
11 Mar, ’20: Venue information has been added.
17 Feb, ’20: Sponsorship opportunities available
20 Jan, ’20: Paper submission is open
17 Dec, ’19: Committees updated
13 Dec, ’19: The website is online

Important Dates

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

Publisher