SDAF 2024

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

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!”

SDAF Stockholm

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

SDAF 2023 Paris

SDAF 2023 Paris

SDAF 2022 Stockholm

SDAF 2022 Stockholm

SDAF 2021 Paris

SDAF 2021 Paris

SDAF 2019 Shanghai

SDAF 2019 Shanghai

SDAF 2018 Stockholm

SDAF 2018 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.