[SystemSafety] Call for Participation: IMBSA'2019: models AI and Safety

Yiannis I Papadopoulos Y.I.Papadopoulos at hull.ac.uk
Fri Sep 6 13:31:08 CEST 2019


                Call For Participation

6th International Symposium on Model-Based Safety and Assessment
                     (IMBSA 2019)

                   16-18 OCTOBER 2019
                  THESSALONIKI, GREECE
--
The 6th International Symposium on Model Based Safety and Assessment (IMBSA 2019) will be held in Thessaloniki, a coastal city of Greece and designated Unesco world heritage site for its significant Roman, Byzantine and Paleochristian monuments.

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. This year a particular space was given to assessment of open systems, autonomous systems and systems that employ artificial intelligence. There are specific challenges in the assessment of such systems which include uncertainty, the infinity of possible configurations, and particularities related to the reasoning and operation of AI components.

To foster academic and industrial collaboration, in addition to more traditional talks reporting on novel advances on hot research topics, the program features a poster session and a day of tutorials sessions, where speakers had the opportunity to present ongoing research and industrial experiences, and demonstrate their tools interactively. 

Tutorials include:
  
1. Modelling Software Systems Security with SAM and EAST-ADL 
2. Modelling and Verification with VECS and SAML 
3. Rigorous Component-based Design in BIP
4. Safety Modelling and Assessment with AltaRica 
5. Using Digital Dependability Identities for Dependability Model Exchange and Integration across the Supply Chain

We hope that a mixture of conventional research talks, the presentation of practical experiences and interactive learning will make this an interesting event for participants from both academia and industry.

You will find information about the conference, venue, Thessaloniki and a portal where you can register at: 

http://easyconferences.eu/imbsa2019 

We are looking forward to seeing you there in October.

General Chairs

Yiannis Papadopoulos (University of Hull, UK)
Panagiotis Katsaros (Aristotle University of Thessaloniki, GR)

PC-Chairs

Marco Bozzano (FBK, Italy)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
 
Tools & Tutorials Chairs

Leila Kloul (Universite de Versailles, FR)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)
 
Industrial Chairs

Jean-Paul Blanquart (Airbus Defence and Space, FR)
Christel Seguin (ONERA, FR)

--
Yiannis Papadopoulos
Professor of Computer Science
University of Hull 
https://yipapadopoulos.wixsite.com/yiap



More information about the systemsafety mailing list