The workshop will combine invited talks, breakout sessions and open discussions across different sectors energy, transport, medicine, aerospace and critical infrastructures. Themes include:

• The intersection of security and safety

• The emergence of cyber and physical attacks and their impact on safety

• Aiming for continual assurance in the face of dynamic changes

• How to cope with evolving threats

• Human factors at the intersection of security and safety

• The integration of AI methods in security and safety

• Combining formal methods, simulation and MBSE