[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.0.7″ background_image=”http:\/\/easyconferences.eu\/imbsa2020\/wp-content\/uploads\/2019\/12\/Vista_de_Lisboa.jpg” custom_padding=”138px||172px|||” bottom_divider_style=”arrow2″][et_pb_row _builder_version=”4.0.7″ background_color=”rgba(0,0,0,0.33)”][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″ header_font_size=”67px”]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.0.7″ background_color=”rgba(0,0,0,0.33)”][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″ header_2_font_size=”41px” header_3_font_size=”29px”]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.0.7″ custom_padding=”0px|||||”][et_pb_column type=”4_4″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″ text_font=”Trebuchet|300|||||||” text_text_color=”#ffffff” background_color=”#d80dac” width=”54%” module_alignment=”center” custom_margin=”||11px|||” custom_padding=”4px||4px||false|false” link_option_url=”http:\/\/easyconferences.eu\/imbsa2020\/program”]<\/p>\n
[\/et_pb_text][et_pb_text _builder_version=”4.0.7″ text_text_color=”#ffffff” background_color=”#0c71c3″ width=”54%” module_alignment=”center” custom_margin=”||11px|||” link_option_url=”http:\/\/easyconferences.eu\/imbsa2020\/program”]<\/p>\n
Conference program is available; click to view
<\/b>Last update: 08 Aug, 2020
All times depicted in the program are in Central European Summer Time (CEST)<\/p>\n
[\/et_pb_text][et_pb_text _builder_version=”4.0.7″ text_text_color=”#ffffff” background_color=”#8300e9″ width=”54%” module_alignment=”center” custom_margin=”9px||11px||false|false” link_option_url=”http:\/\/easyconferences.eu\/imbsa2020\/bpa\/”]<\/p>\n
Best Paper Award nominees annnounced; click to view<\/b><\/p>\n
[\/et_pb_text][et_pb_text _builder_version=”4.0.7″ text_text_color=”#ffffff” background_color=”#2c9118″ width=”54%” module_alignment=”center” link_option_url=”http:\/\/easyconferences.eu\/imbsa2020\/registration\/” disabled_on=”on|on|on” disabled=”on”]<\/p>\n
Online registration is open<\/strong> [\/et_pb_text][et_pb_text _builder_version=”4.0.7″ text_text_color=”#ffffff” header_4_text_color=”#ffffff” background_color=”#0c71c3″ custom_padding=”10px|10px|10px|10px|false|false”]<\/p>\n 05 May, 2020<\/em><\/p>\n Dear Colleagues,<\/p>\n As COVID-19 continues to have an impact around the globe and the pandamedic situation is likely persist for some more time, the IMBSA 2020 organizers had to decide that the conference will take place as a virtual conference.<\/p>\n The details on how the conference will be run are not yet defined. We will provide further information as soon as it is available.<\/p>\n Nevertheless, all accepted regular papers will be published in Springer\u2019s Lecture Notes in Computer Science (LNCS). The deadline for paper submission was extended for 2 weeks.<\/p>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.0.7″][et_pb_row column_structure=”3_5,2_5″ _builder_version=”4.0.7″][et_pb_column type=”3_5″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″]<\/p>\n 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<\/a>).<\/span><\/p>\n 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.<\/p>\n [\/et_pb_text][et_pb_text _builder_version=”4.0.7″]<\/p>\n 11 Sep ’20: Registration system closed [\/et_pb_text][\/et_pb_column][et_pb_column type=”2_5″ _builder_version=”4.0.7″][et_pb_text _builder_version=”4.0.7″]<\/p>\n
Click for fees and registration steps<\/em><\/p>\nMessage from the General Chairs<\/strong><\/h4>\n
Welcome<\/h1>\n
Latest News<\/h3>\n
08 Aug ’20: Conference program<\/a> updated
03 Aug ’20: Conference program<\/a> is available
22 July ’20: Best Paper Award nominees<\/a> available
16 July ’20: Accepted Papers<\/a> list available
11 June ’20: Keynote Speakers<\/a> updated
26 May, ’20: Online registration<\/a> is open
11 May, ’20: Registration fees<\/a> have been added, first Keynote Speaker<\/a> announced
05 May, ’20: Important Dates updated
31 Mar, ’20: Message from the General chairs posted, Consent to Publish form available
11 Mar, ’20: Venue<\/a> information has been added.
17 Feb, ’20: Sponsorship opportunities<\/a> available
20 Jan, ’20: Paper submission<\/a> is open
17 Dec, ’19: Committees updated
13 Dec, ’19: The website is online<\/p>\nSponsorship<\/h3>\n