Signaling Design Automation Forum
Signaling Design Automation Forum
The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.
The SDA Forum is the event to embrace the latest evolutions to automate design and verification of railway signaling systems.
Event
Transforming rail transportation of tomorrow.
The Signaling Design Automation Forum (SDA Forum) 2025 took place on October 1 in Stockholm, bringing together professionals from across the signaling and rail industry for a full day of knowledge sharing, collaboration, and inspiration.
Theme 2025: Open Signaling & AI
SDA Forum 2025 focused on two key topics transforming the industry: open signaling and the increasing role of AI.
The sessions explored how open standards and system architectures can unlock new levels of collaboration, innovation, and interoperability. At the same time, they examined how emerging AI technologies can support smarter analysis, automation, and decision-making in railway development and operations.
As in previous years, the forum also featured sessions on the foundational topics that define Prover’s expertise in formal methods and signaling design automation. Together, these topics formed a wide but focused agenda that encouraged knowledge sharing and in-depth discussions.
New in 2025: Exhibition area with systems and solutions on-site
For the first time, SDA Forum included a dedicated exhibition area in the main conference space. This gave participants and speakers the opportunity to experience systems, software tools, and technologies hands-on. It became a natural space for networking and dialogue, and a highlight of the day.
The exhibition area allowed both presenters and attendees to experience the latest innovations up close.
We were proud to host several exhibitors and speakers, including: TÜV SÜD, Schneider Electric, SL (Stockholm Public Transport), Cactus Rail, Systems Lab 21, and NEAT.
Event host

Anders Lindén
CEO Prover
”We are proud and happy by the interest and the engagement shown during the previous years events, and hope you’ll join us for the next SDA Forum!”

The date and location of our next SDA Forum have not yet been determined.
Thank you for participating in our previous events!
Earlier events:
2023 October 17, SDA Forum Paris
2022 October 18, SDA Forum Stockholm
2021 November 16, SDA Forum Paris
2019 November 6, SDA Forum Shanghai
2018 May 15, SDA Forum Stockholm
News
Latest news, stories and upcoming events from the railway industry
With recent advances in AI, we can make SDA more accessible to the rail control community.
Our goal is to simplify SDA and Formal Methods, and in this webinar, we will demonstrate how AI enables us to achieve this.