IMBSA 2027: International Symposium on Model-Based Safety and Assessment

Paphos, Cyprus, September 7–9, 2027

Conference web page:
https://www.cyprusconferences.org/imbsa2027

Submission link:
https://easychair.org/conferences/?conf=imbsa2027

Topics: model-based safety assessment, system modelling, model-based systems engineering, system safety, formal methods, AI-enabled systems, autonomous systems, agentic AI, runtime assurance, safety and security

Call for Papers

The International Symposium on Model-Based Safety and Assessment (IMBSA 2027) brings together researchers, practitioners, tool developers and industry working on model-based approaches to the safety, dependability and assurance of complex systems.

IMBSA has a strong tradition in model-based safety assessment, model-based engineering, formal methods, probabilistic analysis, safety optimisation and industrial safety engineering.

As modern systems increasingly incorporate artificial intelligence, autonomy, interconnected components and adaptive behaviour, IMBSA 2027 particularly welcomes contributions that connect established model-based safety approaches with emerging challenges in AI-enabled systems, autonomous systems, agentic AI and digital engineering.

The symposium provides a focused forum where state-of-the-art research, emerging ideas, engineering tools and industrial experiences can be brought together. Its objectives are to share new methods and practical experiences, discuss emerging safety challenges, demonstrate technologies and tools, and strengthen collaboration between academia and industry.

The IMBSA Approach

A distinctive feature of IMBSA is its combination of scientific research and industrial practice.

The conference provides opportunities for:

• presentation of new scientific and engineering results;

• discussion of emerging ideas and future research directions;

• interactive presentation of tools and methods;

• exchange of industrial experience and practical challenges;

• interaction between researchers, practitioners and technology developers.

This combination enables industrial participants to learn about emerging methods and tools while allowing researchers and technology providers to understand real-world safety challenges better.

For IMBSA 2027, we particularly encourage discussion at the intersection of:

Model-Based Safety + System Modelling + AI-Enabled Systems + Autonomous Systems

Topics of Interest

We solicit contributions concerning the modelling, design, analysis, verification and assurance of safety-critical and dependable systems.

Topics include, but are not limited to:

• Model-Based Safety and Dependability Assessment

• Model-Based Systems Engineering and System Modelling

• Formal Methods, Verification and Validation

• Safety Requirements, Traceability and Assurance Cases

• System Architecture, Failure Modelling and Risk Assessment

• AI-Enabled and Learning-Enabled Systems

• Agentic AI, Multi-Agent and Autonomous Systems

• Runtime Monitoring, Runtime Assurance and Dynamic Safety Assessment

• Digital Twins and Runtime Models for Safety

• Safety, Security, Resilience and Cybersecurity Modelling

• AI-Assisted Safety Engineering and Model Synthesis

• Certification, Standards and Regulatory Assurance

• Safety Engineering Tools, Automation and Model Integration

• Case Studies, Industrial Applications and Practical Experiences

Contributions addressing emerging challenges related to the safety, dependability and assurance of complex systems are also encouraged.

Submission Guidelines

All submissions must present original work and must not be simultaneously submitted to another journal or conference.

IMBSA 2027 solicits three types of contributions.

Regular Papers

Regular papers should present significant theoretical, methodological or practical results relevant to the model-based safety assessment community and clearly discuss advances with respect to the state of the art.

Possible contributions include:

• research papers presenting new methods or theoretical developments;

• case studies reporting industrial-scale applications;

• tool papers describing the design, implementation and evaluation of model-based technologies;

• industrial experience papers reporting practical use of safety assessment and assurance methods;

• new approaches for modelling and assuring AI-enabled, autonomous or complex systems.

Regular papers should be between 12 and 15 pages, including references and appendices.

Accepted regular papers will be presented orally at the conference.

Short Papers

Short papers may report ongoing research, preliminary results, industrial applications, practical experiences, tools, demonstrations, benchmarks or focused case studies.

Short papers are particularly suitable for:

• promising research with initial results;

• new methods or tools at an early stage;

• practical and industrial applications;

• tool demonstrations;

• emerging challenges;

• evaluation of existing approaches based on practical experience.

Short papers should be between 4 and 6 pages.

Accepted short papers may be presented orally, as a poster or as a demonstration, at the discretion of the Program Committee.

Authors of accepted tool demonstrations will have the opportunity to demonstrate their tools during an interactive session.

Position Papers

IMBSA 2027 also welcomes Position Papers presenting new ideas, research visions, open challenges and emerging directions.

Position papers are intended to stimulate discussion and do not require a completed experimental evaluation.

Suitable contributions may include:

• new research ideas or conceptual approaches;

• emerging safety and assurance challenges;

• limitations of existing methodologies;

• proposals for future model-based safety methods;

• research agendas for emerging technologies;

• industrial challenges requiring new research;

• perspectives on AI-enabled, autonomous or agentic systems.

Position papers should clearly explain the problem, motivate its importance and present a well-supported position or research direction.

Position papers should be between 4 and 6 pages.

Accepted position papers may be presented orally, as a poster or within an interactive discussion session, at the discretion of the Program Committee.

Publication and Review

All submissions will undergo peer review by the Program Committee.

Regular and short paper submissions must be formatted according to the Springer Lecture Notes in Computer Science (LNCS) templates.It is planned to publish regular contributions in a proceedings volume in Springer’s Lecture Notes in Computer Science.

Publication arrangements for short and position papers will be communicated in the final conference programme and author guidelines.

To be included in the proceedings, at least one author of each accepted paper must register for and participate in the conference.

Important Dates

• Submission of Abstracts: March 15, 2027

• Full Paper Submission: March 27, 2027

• Notification of Acceptance: May 1, 2027

• Camera-Ready Submission: June 8, 2027

• Conference: September 7–9, 2027

All deadlines are at 23:59 Anywhere on Earth (AoE) unless otherwise stated.

Venue

IMBSA 2027 will be held in Paphos, Cyprus, on September 7–9, 2027.

Further information about the venue, accommodation, registration and travel will be available on the conference website.

Committees

Details of the Program Committee, Organising Committee, Industrial Chair, Tools and Tutorials Chair, and Steering Committee will be announced on the conference website.

Contact

Questions regarding submissions and the conference should be directed to the IMBSA 2027 organising committee through the contact information provided on the conference website.