Meet us at Train & Rail in Stockholm May 6-8

Prover participation

We will participate in Train & Rail 2025 in Stockholm from May 6 to May 8, in booth A06:31.

At Train & Rail 2025, we look forward to engaging with industry professionals and discussing how formal methods and innovative solutions are shaping the future of railway signaling. Our team will be available to share insights, answer questions, and explore how we can help address your challenges in developing and verifying safety-critical signaling systems. As a leader in formal methods for railway signaling, we will showcase our latest solutions that are transforming the industry by enhancing safety, efficiency, and reliability.

Mingle event on Tuesday, May 6

We are also happy to co-host a mingle event on Tuesday, May 6, from 16.00 to 17.00, in partnership with Swedtrain and other member companies. This event will be a great opportunity to network with industry colleagues, share ideas, and discuss the future of railway technology in an informal setting. Sign up for the mingle here on Swedtrain’s website.

Join us at Train & Rail

Please meet us at our booth, which will be located at A06:31. We look forward to meeting you in Stockholm to explore the future of railway signaling together!

Train & Rail is the Nordic region’s largest meeting place for actors in the railway industry. The fair is organized every two years and brings together more than 3000 visitors and over 150 exhibitors. Here you will meet politicians at municipal, regional and national level with responsibility for rail, infrastructure and urban planning, government representatives, freight owners, transport buyers, traffic planners and much more. Train & rail will be held at Stockholmsmässan, Älvsjö, between May 6-8, 2025. Reference: Train & Rail