Join us at SDA forum in Paris!

Signaling Design Automation Forum 2021 – Paris

The SDA Forum is the event to embrace the latest evolutions of design automation and formal verification – software technologies to automate design and verification of railway signaling systems. 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.

After the great success of SDA Forum 2018 and 2019 with attendees from leading infrastructure managers, suppliers, engineering firms and leading universities we invite you to join our SDA Forum 2021.

We are delighted to have confirmed speakers from RATP (Paris Metro), Hitachi Rail and Alstom, who will be sharing experiences and best practices of applying formal methods in the Rail Control domain. The full agenda will be available shortly.

Video from the 2019 event.

Video from the 2018 event.

Booking Information

Date & Time

16 November 2021, in Paris, France. One-day event.

All day event from 9.00 ending with dinner.


Prover invites you to this event free of charge. Your investment is your time, please notify us if you are not able to come.


Novotel Paris Les Halles

8, place Marguerite de Navarre
75001 Paris – France

Contact Person

If you have any questions regarding the event (before or during), please feel free to contact Julie Delouche at Prover:


For guests of SDA Forum Prover has the possibility to offer you an opportunity to book a room at Novotel Paris Les Halles at a reduced price. This is a limited offer from Novotel Paris les Halles. The offer is valid until the 1st of November. You can use this offer by filling out this form and sending it to Note that the booking is directly with the hotel and will be confirmed by the hotel and not through Prover. Prover cannot guarantee a room at the venue.

Want to join us at
SDA Forum 2021?

Request a seat by filling out the form.
Your booking will be confirmed by email.