Call for Papers

Taking into account the impact of the pandemic, the 4th International Conference on Reliability, Safety and Security of Railway Systems will be postponed, and is replaced by a special issue of the journal “Formal Aspects of Computing”. 

More information regarding the Call for Papers 2021 in the Formal Aspects of Computing special issue can be found here.

More information about the Call for Papers 2022 in the conference proceedings can be found here.