Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you!
The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems.
The conference will be focusing on Design Automation and Formal Methods, where leading Infrastructure Managers and suppliers from around the world will share experiences, best practices and state of the art use of technologies and methodologies.
Speakers from RATP, NYCT, SL (Stockholm Metro), Siemens and Ansaldo STS will be there to share their best practices and experiences on Formal Methods and Design Automation. Listen to and meet with these leading suppliers and infrastructure managers at Signaling Design Automation Forum 2018.
Date: 15th of May 2018
Venue: Clarion Hotel Sign in Stockholm, Sweden.
Cost: € 149 + Swedish VAT due to VAT regulations for events.
Share this article

Learn more about how to develop specifications with Digital Twins
Fill out your information here.
More News & Articles
CentraleSupélec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.
Here we will explore how rail control and signaling systems can potentially benefit from AI, with a particular focus on generative AI such as Large Language Models (LLMs).