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
_______________________________________________ Om-announce mailing list [email protected] http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
