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
Welcome to be part of transforming rail transportation of tomorrow.
The SDA Forum 2025 will take place on October 1, in Stockholm.
The SDA Forum invites signaling management representatives to foster collaboration, drive standards, and to assist implementation strategies for design automation and formal verification in railways.
Professionals working on other safety critical systems such as automotive and aviation would benefit to attend as well, and are warmly welcome to join within signaling!
The theme for SDA Forum 2025 is open signaling and AI. A reflection of the growing interest in more open, flexible approaches to railway signaling, and the potential role of artificial intelligence in shaping the future of our field.
We will explore how open standards and architectures can support innovation, collaboration, and interoperability in signaling systems. In parallel, we’ll look at emerging AI technologies and their potential to enhance analysis, automation, and decision-making processes in railway projects.
As always, SDA Forum will also include sessions on the core areas that form the foundation of our work at Prover, such as formal methods and signaling design automation.
Together, these topics form a broad but focused agenda that supports knowledge sharing and discussion across teams and disciplines.
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 this year!”

SDA Forum 2025 is set for October 1, in Stockholm. Fill in the form to secure your spot.
Booking information
Date and time
October 1, 2025
Venue
Villa Foresta
Herserudsvägen 22
181 50 Lidingö (Stockholm, Sweden)
Link to Google Maps
Onsite
Registration starts at 08:30. The event begins at 09:00 and ends at 17:00.
Online
The stream for online participants begins at 09:00 and ends at 17:00.
Investment
The event is free of charge for onsite and online participation.*
* Please note that while the event itself is free of charge, Prover does not cover accommodation and travel expenses for attendees.
Contact Person
Should you have any questions or require further assistance, please do not hesitate to contact our event team.
Amanda Öberg, amanda.oberg@prover.com
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
Introducing the Open Signaling Initiative – for freedom and adaptability in modern rail and metro signaling.
Inspired by the modularity and flexibility of earlier relay-based systems, the Open Signaling Initiative redefines how rail and metro signaling systems are developed, deployed, and maintained.