Animation and exchanges in the Petri Nets community

[address@concealed]

Call for Contributions – Sensei‘26

Fourth International Workshop on Security and Safety Interactions (22 September 2026)

co-located with SAFECOMP, Valencia, Spain

https://sites.google.com/view/sensei-2026

 

=======

 

Sensei’26 will be held Sept. 22 2026 at SAFECOMP 2026 (https://safecomp2026.webs.upv.es/, Stockholm, Sweden). Safety-security interaction is an important factor in engineering of high-tech systems, as safety and security are often heavily intertwined. This workshop aims to further our understanding of this interaction. Two important topics are the co-engineering of safety and security, and integrated safety-security risk assessment. To foster the exchange of concepts, experiences, research ideas, and novel results, we bring together a wide range of researchers in safety and security, from theoretical to practical research.

 

===Papers===

 

We invite the submission of papers with high quality research contributions, work in progress, experimental and ongoing projects results. Therefore, the following types of submission are accepted:

* Abstracts: 1-2 pages, describing a work in progress or position statement. Abstracts will be presented as short presentations; they will not be published.

* Short papers: 6+ pages, including references. These can be on new and emerging results, describing challenging problems, tool demonstrations, work in progress or industrial experiences.

* Research papers: max. 12 pages, including references. Reporting substantial, completed, and previously unpublished research.

 

===Publication===

 

All accepted short and research papers will be published in a Springer LNCS Proceedings volume for the SAFECOMP workshops (https://www.springer.com/gp/computer-science/lncs/new-latex-templates-available/15634678, single column, LaTeX or Word). Authors will need to specify the type of submission in the title at the time of submission.

Topics include, but are not limited to:

* Co-engineering of safety and security

* Integrated safety and security risk assessment and management

* Security of safety-critical systems

* Integrated safety and security testing, verification, and validation

* Safety and security interdependencies

* Integrated safety and security requirements and policies

* Cyber-physical threats and vulnerabilities

* Formalization of security and safety properties

* Case studies and experience reports

* Tools supporting safety-security interactions

 

===Important deadlines===

 

* Abstract/paper submission: 16 May 2026

* Notification of acceptance: 1 June 2026

* Camera-ready submission: 8 June 2026

* Workshop: 22 September 2026

Submissions are to be submitted at https://easychair.org/my2/conference?conf=sensei2026.

 

=========

 

Workshop organizers:

Christina Kolb

Industrial Engineering and Business Information Systems

University of Twente

c.kolb [location] utwente [full stop] nl

 

Milan Lopuhaä-Zwakenberg

Formal Methods & Tools

University of Twente

m.a.lopuhaa [location] utwente [full stop] nl

 

Elena Troubitsyna

Division of Theoretical Computer Science

KTH

elenatro [location] kth [full stop] se