coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2023)
Chronological Thread
- From: Alexander Romanovsky <alexander.romanovsky AT newcastle.ac.uk>
- To: "cphc-conf AT JISCMAIL.AC.UK" <cphc-conf AT JISCMAIL.AC.UK>
- Subject: [Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2023)
- Date: Tue, 29 Aug 2023 08:40:49 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=newcastle.ac.uk; dmarc=pass action=none header.from=newcastle.ac.uk; dkim=pass header.d=newcastle.ac.uk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=VJMBZflwhspQWmeHA7sM57vpsY+ioiPmhb+2w/q6HXY=; b=jWH8+4l136sVH5saioo4gQMojp1M05TEYMqVPkL5sf1wTgsApLAHCG9OFEgfB19eX1dswzbuaabrjKgzx7pRpILo9KEfLyIH93T5P4l3/6zai22KhsGEJe6nIEDgQNEkoKLkUptyH1H3ufUKv31uHil1opt8I1DWCJuz18xia+qI/UhxC/8s6wMjeFehzyZ/RaJDpnIOaMBAtjrQSbjRFORxg7mN9pj/zBqnhc7IyA1XXSrQaRF4YoBORqaxU6cO061FeL3IpYcyi9r7TVMglUnOPmWDnvWWIICw184ndUnbGIssP9nykAJYNy6Tsyn1D00FFxP+4AxVTE5AnWlI9g==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=X2Q8EB2PRgWTXWMSoA2LcSC5FVydaF7ZGN4DQAwAgVcillcFoEUNOaMnyJtvCGNUuo+EvOz3fR9Zx2dIlKTFLpZIqEt3G8q82uK40RsSn2126Z5oG9AlvDF/nRtYAh39gfuDoLCpjxhAfdQZGXoLec9i8MQmz3QdDeCt1d/iQa24hq2bvyPnrWUV8KwiMtBWd39y2sBCBaohDeSEUIz9bbNiY5iX1PyDDxHsJWrKJuumST+EGn9OUdBCYV32Df+8F4CdmJ9zovEtSkUeMgN939XeugZoVSgCbOYCGQJcv8B8b6DFLvG9Asd5MnPyJkVswtUVcWSj9LlDfNl2WGFXqA==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alexander.romanovsky AT newcastle.ac.uk; spf=Pass smtp.mailfrom=alexander.romanovsky AT newcastle.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-LO4-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:NWKuwKm/QyKnGsPqlDH+qJTo5gx1I0RdPkR7XQ2eYbSJt1+Wr1Gzt xJKWTiEOqrcZmCneYpyaoTn8UMH7JTTy4RnHVc9pHszEFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajh8B56r8ks156yi4mJA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1TM2M6DIg54d97W0pFq c1CGC0ybDOq0rfeLLKTEoGAh+wMBvOzZcY7nS0lyjvUS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/Vch4xb/wwCOlI3sC8w79SakfuwA/yCR41LX9OdzZd8bMX8JQl0Cfu HnF7kz/Dw4RPceDzTfD+3nqm+yncSbTAdhJTePiqKQy6LGV7kcXDCEXf1jrm/LjqW/jd+MHI g820CV7+MDe82TuFLERRSaQq3md+xUYRtB4CPw/8AjLy6zO4g/fCHJsZjVIbdhjsM4tWRQxx 1qRlpXoAyZuufubUxqgGqy8qDqzPW0RKjMNbzVcFAsDuYO4/Mc0kw7FSctlHOitlNrpFDrsw jeM6i8jm7EUis1N3KK+lbzavw+RSlHyZlZdzm3qsqiNtGuVvab0PND62kuR9vtaMoeSQ3+Iu XVOyYDU7/kDAdvJ3GaBSfkEVuPhrfuUEizusXg2FbkY9hOp5yGCe6JU62pAP0tHCJsPVgLoR 07xgjlvwqFvEkGkV5IqXLLpOf8WlfDhMf/HSsHrasF/Z8ktVQ2fowBrS02i/0Hst0kOjJMPN ZWqQeD0B1knFJVY6Se6ePwc9ZQJxSkO43zZar6m7hag0JuYPGW0T5VcOnSwT+kJ1oG2iySLz MR+buykkw5+Vs/6aQnpqb8jF0gAdyUHNMqnuv5pef6mCSs4PmMYUtv6464rIq5hlIRrztb4x Gm3ABJk+QCulE/8CFu4b154Y+nSRrd5l3UwOBIsMXuO23QOZYWO7r8VR6AofIsIpfBS8vppc 8YrI8mwIOxDajDiyQQvaZPQqI9DdhPyizmeYAujQjw0JKB7SyLzp9TLQwrI9Qs1NBSRi/cQm bOb+z3+fYsiXCVnVcbfV+KuxQi+vF8bg+NDYHHLKdhyJmTv/KNXKQXhqsInG+cncAvywwaH3 V2oWSYd9LDHprYo+/nrm6yrkYWlPO9gFEsHAWXr1628b3jA2m+F34V7cf2peArFXzje45SSZ uRyztD9PsYYnV1MjZFOLrZzwY865Prtv7V/3C09OFnqNnOAFaJGMHqd+MtApJ122b5SvDWpV nK1+tV1PauDPOXnGgUzIDUJQ/ui1/YGvCv79tUwfVvH4RFo8Iq9UUl9OweGjApfJuBXNKIn2 eIQh94E2TegixYFMse0sQ4Mzj6idkc/aqQAso0WJKTJiQBxk1FLXsH6Ox/MuZqKb41BD1kuL jqqn5H9vrV7xHSTV1ooFHPI4/hRuoRWhjBO0205Bgqonvjru6YJ+SN/oBUNYCZb9BFl695IG 3NKMhR1LJqe/j0zi8lkWXutKj57BxaY2xLQzgYNmDf/T0LzbHf/FzA9CPfQpUkI0nl9ewJD9 +qy01fVUjfNfeDw0BAtWEVjlefRcNxp+iDGm+GlB86gHaRmUQH6g6SrW3UEmyHnDew1mkfDg +tgp8R0VoHWKg8SpPcdJ7SB9LFNVi2BGnNOccth8IwNA2vYXjO4ghqKCkKpf/JyN+74ylC5B +NuN/BweUyHjgjWlQ8iBIkIP7NQt9wq7oBberrUeEg3g4HGpT9t6J/t5izygVEweOpXkOE/F NLhR2rXWCjYz35ZgHTEo8R4K3K1K4tMLhH12Oeutv4FDdQfueVrals/yaawo27TCgZ84haIp 0nWUsc6FQC5JVhExOMA05mvBjlY7fvcft7QqUWXlIgLatnCd8DTqwkSt1/reRxMOqccUMh2k rLLt8Pr2ETCv/A9VGWxd1ypCfxS/cvrNAZIGpufEZWYtXLqtAzQD98r/W2nIpVSjNdQoMCsA Ra7ACd1XcBAQM9TnRW5dAAHeyvwyM3LgmPIoy6ipP2XFhwQlwXMas6knZMsgae3aQdQU6DD5 sTIVzpCKzyWQEmgxPPJOh2+P6JFHQ==
- Ironport-hdrordr: A9a23:APXycK86sZoQ/B6PYQhuk+FFdb1zdoMgy1knxilNoENuH/Bwxv rFoB1E73TJYW4qKRcdcKO7SdC9qBLnhOhICOwqUYtKMzOW3FdAQLsC0WKA+UyoJ8SdzJ876U 4IScEXZ7PN5DNB/KXHCXyDYrMdKa68gcKVbInlr0tFfEVPUeVN/g15AgGUHgldXw9dH6c0E5 Ka+45uuyegUW5/VLXxOlA1G8z44/HbnpPvZhALQzQ97hOVsD+u4LnmVzCFwxYlVS9Vy7tKyx mOr+W53NTvjxiI8G6S64bh1eUZpDIn8KoDOCW4sLlYFtwrsHfpWG0uYczAgNl/mpDW1L9jqq i2n/5nBbU615qZRBDOnTL9nwbnyzog8Hnk1BuRhmbiu9XwQHYgB9NGnp8xSGqt16OOhqAD7E tn5RPri3NsN2KzoA3to9zTEx16nEu9pnQv1eYVknxESIMbLLtct5YW8k9ZGIoJWHuS0vFRLM B+SMXHoPpGe1KTaH7U+mFp3dy3R3w2WhOLWFILtMCZ2yVf2Hp500wbzsoCmWpozuNId7BUo+ Dfdqh4nrBHScEbKap7GecaWMOyTnfARBrdWVjiUWgP1Jt3Sk4lh6SHn4ndvtvaBaDg5KFC5K j8bA==
- Ironport-phdr: A9a23:IEYHxh0TpdInMt8bsmDOpwsyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaBo6w20hSRAM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1u2+4YDfbgtJiTayfb9/L Ai9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7 bpkSAXwhSkHKTA37X3XhMJzgq1Hrx2svAZwz5LIbIyPKPZyYqPQcNUHTmRBRMZRUClBD5ugY osLEeUAMvxXr4/gqFQQtxu1GBWiBOTqyjBSgH/22rM60/8iEQDGwQctGMgBsHDKo9T6LqgSV /26w7fSzTnZdfNW3jL955LOchAmv/GMRrFwcMrKxEkpCQzEgEmfppb+PzOJ0uQCrXKX4PB8W u61lm4nqBh8rz6yzcgjlofHnJgaykzY9Spn2oY1I8W1RFJmbNOkHpVdsy+UOohrT84sXWxlu ik0x6AbtJKmfSUH1ZspyhzCZ/GEb4WF/g7uWeaRLDpli39oe72xiRm8/EWm1+byWM600FNQo SpElNnBrm4C2AfO6seZRPtx5Fqu1iiJ2gvO6e9EOVg5mKrFJ5I737I8ioYfvV7dEiPom0j6l rGae0sr9+Sw9ejqY6nqq5GZOoNplg3xKKUjl8mwDOgkLgQDWnaX9fqi2LDm+ED1XbRHg/srm afDqp/aP94UpquhDg9VzIkj7xG/Ai+n3tkFgXcLME9JdAuBgYbwNFzCOff4AuyhjFi2lzdr2 uzGMabmApXQKHjMja3tfa5n605b1Ao808xQ545VCrEGJvL/QEjxtMHEDh89NAy0xOXnBM9h2 YMZXGKDGq6ZMKXMvl+U/u8iI/eAaJUItDrhN/Qp/eDigWE6lFMHY6Wk05QaZGi9Hvt8IkWZZ XTsgs0GEWcPpgcxVujqh0ONUDFJYXa9Qrwz5ishBIK8CofDQ5qigLqG3CelBZ1WZWBHB0uKE Xj2eYSLR+0DaDmOIs9ljDMIT6KuRJM72RGztw/207xnIfHM9S0CqZ3jzMR15/HUlRwq6zB4F 96d3H2VT2FogmMIQCc707x4oUxk01uMzax4g+FDGtFI/PNIUgI6NYbGwOBgCtDyXBjBftaTR 1q8TNWmGyk9TsgtzN8Wf0Z9B9Kigwjf0CWwBr8Vk6WHBJg18qLHw3j8PN19ynbD1Kk5lVYqW MpPNWu8hq5+7QffHYDJk1/K35qtIO4XxC7GsWyEy2SmnmBjeytZcIGDdFtZW2ic5YDy/kPJC rSpD7oPECp64uurC48MQ/avsHYQF9n5P9GLSma8i262CRuSjomLaYPsfHsG3zSVXEEAnhAa+ 3qLL04kASKopWXAFz9/PVTifEjl6vV6pTWyRQkpzFfZPAVay7Op90tN1rSnQPQJ0+dc0M9Ag zB9HVLnmsnTF8LFvQ1qOqNVfdI65l5Dk2PfrQ10eJK6fOh5nlBLVQNxsgv10glvTJ1amJ0jq H46xQx+JLjeylREfjWfw4vzK5XRJ3b59Quzb6OQ01qYzdXFsrwX5qEAok749BqsClJk9nxm1 9dP1H7J75HHHAMUXZ/rFFww8hF8oK/BYTgV4Y7L3nR3La259DbJnc8qV6M+0hj1R95EK+ufE RPqVc0XA8/7MOsxh12gdQ4JJsh93pRsZoaCUKfD36SmeuF9gDihkGJLpphn1V6B/DZ9TeiO2 IsZx/af3U2MUDKUYE6JlMfxlMgEYDgTGjD60i34HMtLYaY0e48XCGCoKsnxx9NkhperVWQKv FikT0gL3sOkY3/wJxT0wBFQ2EILoHemhTrwzjp6lCssp7ae2yqGyvrrdR4OMGpGDGd4ilKkL Y+xhtEcFE+mCmph3BKh6FbzwaRWvuJlKGzaR0BWZCvnB2dvTaC5raaGbohG49U1smQfUeixZ 0ybVq+ouwETgEaBVyNVwDE2cS3vu42swkY80TrFaiwp/DyDIp0joHWXrMbRTvNQwDccESxxi D2NQ0O5I8Hs59Kf0ZHKruG5UWulEJxVayjii42a507ZrSVnBwOym/erl5jpCw8/hGXy09R6X CPEoQy6eI7u3qK9L/lkb2FuCUD34tFmHow4m4B2mZJaih14zt2FuGEKl2v+K4AR0KbzfHMLS TMRhcTS5QHj31N4LWOhwY/mXXyG3s9sIdCxJH4VkHFYjYgCGOKf67pKmjFwq1yzoFfKYPRzq TwazOMn9H8Qh+xhVBMF9iyGGfhSGEBZOXapjBGU95Wkq64RYm+zcL+23U44nNa7DbjErBsOE Hr+f54jG2d34KAdeBrF1HDj44fodcOWd9UWvxuTjQzDnsBTJY06n+EWgSchMGm7oH5tx+Mgj BNo1I23p+3lYy0wpuTgWkYebGelIZlIpnnklu5Gk9yT3pyzE5kpATgNUJbyDLqpHD8UqfX7J lOLGTw4pG2cHOm6f0fX40NnonTTVpGzYizNYiBBlZM4HknbfhcD02V2FH0gk5U0Fx6n3pnke UZ9vHUK40Lg7wFLwaRuPgX+VWHWoEGpbC01Qd6RNkkzjEkK6kHLPMiZ9u82ETtf+8jrpQiAO mWdawlSS3sOX0WCAE74PaiG49Tf+OGDGu6zafLFJ6iN4787Nb/A1de0341q8izZfMyLM2lrC fE2wAxZWnVwHcPHgDYeYyoaiCnEdNKfqVG18WtqrYrslZajEBKq7oyJBbxINNxp8B3jmqaPO dmbgyNhICpZ3JcBljfYjaIS11kIh2RyZiGgRP4e4DXVQvuayco1R1YLLjl+P8xS4+cg0xlRb ITF38jt2Ocwj+ZpWQsdEw273JnvPYtTfim8LA+VWB7NbezZY2WNm4auP8beAfVRlLkG6kf24 G7DVRelZnPay3HoT0z9aLkQyn3EekQY4MbkLV5sETaxFtu+M0/iaYYlg2Fume9mwS+aUAxUe TlkLREXp+XJv3oB26dxRzQavCgicbjMmj7HvbPRcs9E6KIyUCooz7kIsCxik+kHq3wcIZ490 CrK8Iw0qgn/wLDWk2hpDEIV+D0T3NrZ7wI/YO3Y7scSA3+cpUBUtDzCBUhS/IlrUoW36fIXl 4KH0av3LH0qH8v8xcIHHICULcuGNCBkKh/1AHvOCwBDSze3NGbZjkgbkfeI93TToIJo4pTrn ZMPTPdcWjlXXrsCDV95GdUZPJptdhwOq+bCyeovuT+5phSXQ9hGtJfaUP7UGe/oNDuSkbhDY V0P3K/8KoMQcIb83ikAIhF2kZ/LFEzZQd1W6nA7KFZs+AMXqig4FDZvk0v+Ihug+noSCeK5k lYthw1ybP5svDbg7lErJ0bb8Ss9lE5i/LetyTuVcTP3MOKxRdQLUWyt7xB3aMmrBVwuMV7X/ wQsLjrPSrNPgqE1cGlqjFWZop5TAbtGSqYCZhYMxPaRbvFu0FJGqyzhy1UUgImNQZZkigYud oah6nxa3Ac2JtcxKLzZIqZE1B5KgaeHuCi2zeMg6AkTOE0E63+WdWgBswoVNfN1Qkjgtvwp8 gGElzZZLSIUUOE2p/tx6k4nE8uq9Xq5lppkdgW2PeHZKL6FsW/dk8LOWkk3yk4Di0hC+/5xz NsndE2XEUsoyfHCcnZBfdqHIgZTYc1I8XHVdivbquTBz6V+OIClH/zpR+uD5+4Ex1ipFwEzE 8EQ/9wMS9OyhVrAI56tf9tngV09oR7mL1KfALFVdQKXxX0Z9tqnwsY/3JEBdG1FRzQnd33xv vGO+0crmKbRAI9wOy9FGNNCbjVvBqjY02ZYpygSUWPxi7pBjlDEt3il+mzRFGWuNoI/IqvLI 0sqUJbvpn0+6/bk01ePq8eHfjioO4g64o2drr9KwvTPQ/JME+snuh+FydABHi6kDzaUQ4zye 8m4apFyP4b9Ui/oCwXm2TxpF5yjbI71dvraxlywIOQc+IiDgmJ5PJfkRGhHQkV++7lYtqkkP VVRMd1mOFbpr1psbaXneVXBi4z8TTr1cmlYF6EHn7f9OuYfiiMoaqXSIJQISJwlxOCs7UoAA pgByAzdl6/Lj2x2VyXsEXVGZwHC4yMy0XViZL5aKgYX7zny6QBZFxfXMetjZSpDos02Ak6UL TNuEG0kSlSAjI3FpAmxw7QV+CgblNFRg7QtjQ==
- Ironport-sdr: 64edaf1b_e/pnF/Uk1MH+n55BpcomLVi4YDonNg4Bhogo5n2Q0goRcvu 9wvCIkeQV3ukrHOv+HRm8B05UvSLlM6F+kVcC+Q==
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification - RSSRail 2023 October 10-12, 2023 Berlin, Germany
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 is 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
The programme includes three invited talks, technical papers selected by the PC and four mini-tutorials, see https://rssr2023.ebuef.de/program/
These are the 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. Enterprise IT in a large organisation is a challenge. Even more challenging if the “large organisation” is Deutsche Bahn AG in the middle of the digital revolution. - Aryldo Russo, GESTE ENGINEERING. Continuous Research for Innovation.
The RSSRail 2023 four tutorials (https://rssr2023.ebuef.de/tutorials/) are -SafeRiver Model Checking benefits and lessons learnt for V&V, -Siemens Mobility & TÜV Rheinland InterTraffic GmbH Risk Assessment for Driverless Train Operation on Main Lines – An Example, -TU Berlin Human reliability in rail context, -Hasso-Plattner-Institut Code Generation and Automated Verification of EULYNX MBSE Artifacts.
The conference proceedings are published by Springer in the LNCS series (LNCS-14198).
The registration site - https://rssr2023.ebuef.de/registration/
We are looking forward to welcoming you and your colleagues in Berlin.
|
- [Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2023), Alexander Romanovsky, 08/29/2023
Archive powered by MHonArc 2.6.19+.