
We’re happy to announce that registration for SDA Forum 2025 is now open. On October 1st, we welcome professionals from across the rail and signaling industry to join us in Stockholm, or online, for a full-day event dedicated to the future of signaling design automation.
SDA Forum has always been about knowledge sharing and collaboration. It’s an event for people working with signaling, safety-critical systems, and formal verification. Whether you’re a signaling engineer, system architect, project manager, or part of the broader rail technology ecosystem, SDA Forum offers valuable insights and conversations.
This year’s theme: Open Signaling & AI
This year’s theme is Open Signaling and AI, reflecting two of the most significant trends shaping the industry today. We’ll explore how open standards and architectures can enable more flexible, interoperable, and collaborative approaches to railway signaling. At the same time, we’ll look into how AI is playing a role in signaling projects, from enhancing automation and analysis to supporting better decision-making in complex development environments.
As in previous years, the forum will also feature sessions on the core topics that define Prover’s expertise in formal methods and signaling design automation.
New 2025: Systems and solutions on-site in an exhibition area
For the first time, SDA Forum will feature a dedicated exhibition area in the main conference space. This offers participants and speakers the opportunity to see systems, software tools, and technologies hands-on. It will be a natural space for networking and discussions. Come join us on-site on October 1 to meet industry peers, network, and gain new insights.

Whether you’re returning or joining us for the first time, we hope you’ll be part of the discussion on how to build smarter, safer, and more open railway systems. Read more and register for SDA Forum 2025 here.
Share this article

Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
We are launching the Open Signaling Initiative. With this launch, we are helping the industry move beyond closed, monolithic systems to modular, sustainable solutions that give infrastructure managers greater control and freedom of choice.
Registration is now open for SDA Forum 2025. Join us on October 1 in Stockholm or online for a full-day conference.
This year we will focus on two key topics transforming the industry: open signaling and the increasing role of AI.

