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 to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
Do you have experience in leading strategic and complex customer projects? Are you looking for an opportunity to leverage your experience throughout our company? Then this role might be right for you! We are now recruiting to a new position as a Commercial Project Management (PM) Lead.
Prover uses formal methods to make railway signaling provably safe. Our solutions build safe, reliable, and cost-efficient systems that move and protect millions of passengers every day. Through our Open Signaling Initiative, we're reshaping how the industry builds and maintains signaling systems across Europe and beyond. Now we're looking for someone to join us and bring AI, LLMs, and agentic workflows into the heart of how we work and what we build.
Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
