Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfPart Reliability, safety and security of rai...


view this post on Zulip Email Gateway (Jul 14 2023 at 10:14):

From: Alexander Romanovsky <alexander.romanovsky@newcastle.ac.uk>
International conference on reliability, safety and security of railway systems:
modelling, analysis, verification and certification - RSSRail 2023
October 10-12, 2023
Berlin, Germany
https://rssr2023.ebuef.de/

Call for Participation

We would like to invite you to participate in the RSSRail 2023 conference, aiming
to bring together researchers and engineers interested in building critical railway
applications and systems. 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.

This will be the 5th edition of the RSSRail series with the previous conferences
held in Paris, Pistoia, Lille and Paris, again.

Conference Chairs:
-Simon Collart-Dutilleul, IFSTTAR, France
-Thierry Lecomte, ClearSy, France
-Birgit Milius, TU Berlin, Germany

Our plan is to include in the programme three invited talks, technical papers
selected by the PC and four mini-tutorials; see the outline of the programme:
https://rssr2023.ebuef.de/program/

The programme includes three invited talks (https://rssr2023.ebuef.de/keynotes/) :
-Lydia Kaiser, TU Berlin and Einstein Center Digital Future.
Unleashing the Potential of Systems Engineering: From Theory to Practice
-Andreas Freese, DB Systel.
Title to be confirmed.

The three tutorials by
-SafeRiver,
-Siemens Mobility & TÜV Rheinland InterTraffic GmbH, and
-TU Berlin
are confirmed now, for more information see - https://rssr2023.ebuef.de/tutorials/ .

The conference proceedings will be published by Springer in the LNCS series.

The registration site - https://rssr2023.ebuef.de/registration/
(with the earlier registration by July 31, 2023)

We are looking forward to welcoming you and your colleagues in Berlin.


Last updated: Apr 29 2024 at 04:18 UTC