Can formal methods strengthen mission-critical infrastructure and systems?
On 31 March (14:00–16:00 CET), the Interreg North Sea project STORM_SAFE is hosting an online webinar exploring the practical application of formal methods in real-world infrastructure projects.
This session is particularly relevant for mission critical organisations responsible for safety, reliability, and resilience in complex systems, such as water management, transport, energy, and other critical infrastructure domains. We also warmly welcome companies and organisations operating other types of mission critical systems who are interested in strengthening the reliability of their software.
What does this mean in practice?
-How can formal methods contribute to safer and more reliable systems?
-How are these approaches applied in real pilot projects?
Join us to discover concrete insights, lessons learned, and real-life examples from organisations working with formal methods in practice.
Date: 31/03/2026 2:00pm - 4:00pm
