coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2019)

From: Alexander Romanovsky <alexander.romanovsky AT newcastle.ac.uk>
To: "systemsafety AT lists.techfak.uni-bielefeld.de" <systemsafety AT lists.techfak.uni-bielefeld.de>
Subject: [Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2019)
Date: Wed, 27 Mar 2019 22:51:43 +0000
Accept-language: en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alexander.romanovsky AT newcastle.ac.uk; spf=Pass smtp.mailfrom=alexander.romanovsky AT newcastle.ac.uk; spf=None smtp.helo=postmaster AT mailhub-mx4.ncl.ac.uk
Ironport-phdr: 9a23:hHUpHhPDbp63nL2kilQl6mtUPXoX/o7sNwtQ0KIMzox0K/z6osbcNUDSrc9gkEXOFd2Cra4d06yG6Ou5BSQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagfb9+Nha7oAveusULjoZpN7o8xAbOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLvhykfMD4382/ZgdF0gK5GvB6tohpyyJPWbo6ILvpzZqPTc80HS2pdUMheWS1BDZ+zYIsBFOcOJ/pUo5XnqlcStxazBw+hD/7vxD9SgX/22LU33vglEQ7Y0w0vBdQOv2nKo9XvKawcTee1zKzSwjXFaPNWxyz96IvIcxs8pvyDR7ZwftTeyEY1EQPKk0ufqZb/MzOP0eQNtnKU7+xnVeKxkG4nqAFwryOpxsgyhIjGmpgaykvY9SV93ok5P8e3R1Jhbd65E5tdrieXPJZ4TMMlRmFnoic6yrsetJ69YCcKzI4ryATDZPCdboiI4RTuX/uSLzdgnH9pZayzihWo/US+xeDwStO43EhEoydKiNXBtX8A2wTQ58SaUPdx41qt1SqV2wzO6uxJIFo4mK7fJpI5zL4/iJkevVjGEyLzmEj5krWZe0A/9ee27+nqY7DrqYKAO4J6iwzzN6AjldGwDOk+LwMARXKU+f6m273m5UD5QKtFjvkxkqTBtZDVP8Ubpqq5Aw9IyYkv8hO/Djip3dgCm3kIMFZFdAidgIf1IV3OPfP4Ae++g1Sqjjhr2+jLMqD/DpjONHTPjrjscapn50JCxgc+wspT6pFbB70ZJfL8QE7xtNjWDh8jNAy0xv7qB8951owAVmOAGKmZP77Mvl+S/O4vOe6MZIoPtzb7LPgl+eXujXw5mFIGe6mmw5UWZ2yiEfR9P0WZZWTjjs0bHmgWpAY+Ue/qhEWYUTFPf3ayQ7485jYjBY26CofDX5mhj6CF3CemBZJbfXtGC1CJEXfwbYqIQfYMaCSIIs9giDMIT7ahS5VynS2p4UXh2qF7I+/P8yMVqYPL0Nlu+/aViRw59TJ9DIKA1WDIRWB5mm4GSjs6mqxy6wQp0UaYzaV9mPVWGMBCz/dISRshc4LRxOx0AtO0RwTAO92IRVKrTNiiDXc9Q4Ri7cUJZhNUH9iyhxbP0jDiObgQnrqMGoc34+qI1nz8N897x3vckrMmilAgRdVUNnyOgKNg/AHIG4rE1UyS0bupI/dPlBXR/XuOmDLd9HpTVxR9BPydBCFNVg7ttd38o3j6YfqrALUjPBFGzJfdeK1HddbglklCSbHqM5LDYDDowjviNVOz3rqJKbHSVSAFxiyEVxoCnh8Y9G2aMQV4DyznvmGMVGUzR2KqWFvl9KxFkF3+TkIwyFvRPUho1r615xRQgOzADfUY2vQNs2E8qGcsEQ==

International conference on reliability, safety and security of railway systems:

modelling, analysis, verification and certification - RSSRail 2019

June 4-6, 2019, Lille, France
https://conferences.ncl.ac.uk/rssrail2019/

Call for Participation

We would like to invite you to participate in the RSSRail 2019 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.

Conference Chairs:

Simon Collart-Dutilleul, IFSTTAR, France

Thierry Lecomte, ClearSy, France
Alexander Romanovsky, Newcastle University, UK

The conference programme includes three invited talks, eighteen technical papers

and four mini-tutorials.

These are the invited talks:

-Airy Magnien (UIC, France) RailTopoModel - a cornerstone to foster the federation of railway digital models

-Alessandro Fantechi (University of Florence, Italy). Connected or autonomous trains?

-Cedric Blin (Ansaldo STS, France). Scientific and technological obstacles to achieve the autonomy

There will be tutorials delivered by RATP, SYSTRA, Altran and AdaCore.

The conference proceedings are published by Springer in the LNCS series

(LNCS-11495).

The conference programme - https://conferences.ncl.ac.uk/rssrail2019/programme/

The registration site - https://conferences.ncl.ac.uk/rssrail2019/registration/

Earlier registration - by April 18, 2019

[Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2019), Alexander Romanovsky, 03/27/2019