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
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
EULYNX standardizes rail signaling interfaces, but not the assurance behind them. Here's how formal methods close that gap, with exhaustive proof, generated test suites, and verified wrappers.
AI makes formal verification more important, not less. See why AI-assisted engineering needs mathematical proof, not just testing, to stay safety-critical.
