Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP RSSRail 2025, Int. Conf. on Reliability, S...


view this post on Zulip Email Gateway (Mar 08 2025 at 21:50):

From: Alexander Romanovsky <Alexander.Romanovsky@formal-route.com>
6th International Conference on Reliability, Safety, and Security of Railway Systems
RSSRail 2025
Pisa, Italy
November 26-28, 2025
https://gram.isti.cnr.it/rssrail2025/

Call for Papers

The railway industry faces increasing pressure to improve system safety, to decrease production costs and time to market, to reduce carbon emissions and running costs, and to increase the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation. These trends dramatically increase the complexity of railway applications and pose new challenges in developing novel methods of modelling, analysis, verification and validation to ensure their reliability, safety and security, as well as in supporting novel mechanisms and procedures to help make the case that development processes meet the mandated standards.

This conference will bring together researchers and developers working on railway system reliability, security and safety to discuss how all of these requirements can be met in an integrated way. It is also vital to ensure that advances in research (in both academia and industry) are driven by the real industrial needs. This will help ensure that such advances are followed by effective industrial deployment. Another particularly important objective is to integrate advances in research into the current development processes and make them usable and scalable. Finally, a key goal is to develop advanced methods and tools that can ensure that the systems meet the requirements imposed by the regulatory standards and help in building the supportive arguments. This will be a working conference in which research challenges and progress will be discussed and evaluated by both researchers and engineers, focusing on their potential to be deployed in industrial settings.

Important Dates

Topics of Interest

Paper Categories
RSSRail 2025 solicits high-quality papers reporting research results and/or experience reports as well as tutorials and posters related to the Reliability, Safety, and Security of Railway Systems.

We accept contributions in the following five categories:

  1. Regular papers (limit 16 pages) on
  1. Short papers (limit 8 pages) on
  1. Journal-First papers (limit 4 pages)
  1. Tutorial proposals (limit 2 pages)
  1. Posters on any topic of interest

All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion.

Regular and short papers submitted in categories (1) and (2) must be original, unpublished, and not submitted for publication elsewhere. Papers in these two categories will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality and clarity.

The aim of journal-first papers in category (3) is to further enrich the RSSRail program and to provide more visibility in the community to already published journal papers. Authors of published papers in high-quality journals can submit a proposal to present their journal paper during RSSRail. The published journal paper must adhere to the following four criteria:

The 4-page submission to RSSRail for category (3) should provide a concise summary of the published journal paper, which makes it clear

Submission guidelines
Submissions for all categories should be made using the RSSRail 2025 EasyChair site:
https://easychair.org/conferences/?conf=rssrail2025
Submissions must be in PDF format, following Springer LNCS style files and guidelines:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
The conference proceedings will be published in Springer's Lecture Notes in Computer Science series.

As for previous editions, one or more special issues are planned for extended versions of selected papers from RSSRail 2025.

Organisation
Conference Chairs

Program Committee

Organisation Chairs

Web Chair

Publicity Chair

Steering Committee


Last updated: Mar 09 2025 at 12:28 UTC