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: Thu, 13 Jul 2023 21:34:59 +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=MjNt6XDkWoBHCxtGWtP/Fcd/CBMMd8AUqUYamPkQGy0=; b=nPiY+twBC4Kl33BkpKlvD3YC9IctzjJsnCcs9ZabzVzVbXaCSA7mvXysqzDCKdEdQA+3ATfumk4C2sEeG4Ai8+9VY8iUvcFMw5NbTOjJna1rwfxp3FZ21EQ9nlHyA5eSht7JQo1eolsFpFwWlZbpMJQkaYpOaJ1qqrGqjgKbv8/Ke08PvsYJZ1ZdKfg3bdiEHwSCnJQt2Zhvoptqa2rrC2KYHxP4AiL/aS9bmMKfY92kslNuFrHC4bLJiHdpq4WwYnILu3ITGN6YE46jZB/B8LF0Kao6hdeCFaVkS2VKulqYyHR8TajFfQOxjOzxusPNEbSnX8AdRBwz2CrKom0uvg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=BT2Whkt/mG3T6uqy/UtapUufO0Qr9SEt6xUlfrNOm8aVQni1/D97wk2Tfq5OsTmUDhsjn0pyCyR6/0lZ3vybvkCTnuh1CDOLXREv0mxgUKXwP1ceCDpdbSLhCyWlaKmT2+zor9WOhCu2fR+UB68otwtdhnRYfrkFAZzvKdzdXtsvFdEDEnzXbStZDf7Q4MbNn3SVg+EE+nz1BJa9FPNawiBe49WEqDb3Gq5I/lyoHQ7lLujKzZ8IstxnNL44zqaYtVl8odmBqrHZ011eJWFfyHxSb2Lox9h0SnrxiojHh2v0bRk5QEwapBV/71SzhtsNGjrgUF1ehU/TskzrXE93jw==
- 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-LO2-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:tmX5AqCh3zVZlhVW/zDow5YqxClBgxIJ4kV8jS/XYbTApDIlgjZWz TEeWTjSO/6Ka2T8c4tzPI7l9B8P65DUndJlOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuHYTdJ5xYuajhPs/3a80s11BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc50fCb3zy3sw1Nm8JIYg/w8xeLURW9 NVNfVjhbjjb7w636J2RcLE1w+AEdozsNo5ZvWx8xzbEC/pgWYrEX6jB+d5f2nE3m9xKGvHdI cEebFKDbjydOVsWYg9RUc1v2r3z1xETcBUAwL6RjaMz7njaygB8yv73N9/cfNuUXsZEtkCVu WnP5Hj9D1cTP5qCylJp91r137CSx32lBt56+LuQ68FVvAfQlmMvGRwrT3ugvMif2025cocKQ 6AT0nF39vNqrRbDosPGdxa/uTuPugMWc8FBFvUzrgCL0KvdpQiDbkAPRztFLdgnr9MeXi0vz lbPntXzBDUpvqf9dJ6G3rKdrDf3PS9PImUYPXYES1FfuIilp5wvhBXSSNolCLSyktD+BTD3x XaNsTQ6gLIQy8UM0s1X4GwrnRqmooTOUBMMvT/5YX6gyTpTTaKAf42BvA2zAel7EK6VSVyIv X4hkseY7fwTAZzlqMBraLRVdF1Oz6bUWAAwkWKDDLF8rmn1qy7LkZR4pWAlfC+FJ+5eIVfUj FnvVRR5y7U70JGCSahxb4W3YyjB5YXLSe6Nuhz8Q9xBZpF3eGe6EMxGYEeR2yXplxIjm7tnY JedK5z3XDAdFLhtyyewS6EFy7g3yysixGTVA5fm0xCg1rnYb3mQIVvkDLdsRr9khE9niFyLm zq6Cyds40kBOAEZSnWHmbP/1XhQcRAG6Wne8qS7jNKrLAt8A30GAPTM274ncIENt/0LxraSo SrlARcBkwuXaZj7xeOiOykLhFTHDM4XkJ7HFXZ3VbpV8yR8Odj3sPtAH3fJVeB7qLY+lZaYs MXpi+3bW68UEm2dk9jsRZz8p5ZlbxOlmUqHLTe/bVACk21IFmT0FivfVlK3rkEmV3Lp3eNn+ u3I/l2BHfIrGV84ZO6IM63H8r9ElSNA8A6EdxCUeYY7lYSF2NQCFhEdedduf5lQc0+al2bKv +tUaD9BzdTwT0YO2IGhrci5Q02BSoOSx2ILRDWJ3qX8LiTA4GuozKlJVevCL3iXV3r59O/mL a9Zxu31eq9P1ltbkZtOI5Ayx4IH5vzru+B7yCZgFy71dFiFMO5rDUSH+shtjZdz4IFllzG4Y W+1wekCC461YJvkNHUzODsaav+y0KBIuzvKstUwDkbIxA5227ulTHdiMxu9uAoFJpRILbIa5 Poth9UXzyediRMaFMmMoQ4J1maLL10GC74GsLNDCqDVqwMb8HNwSr2CNT3XubahM85tNGsuK R+q3JvyvaxWnBf+QiBiBErz0vp4rrVQnhJzlXspBUmDw/jBjd8JhCxhyyw9FFlp/08WwtBIG zZZMmNuLv+z5BZuvs9IWl6sFyxnBBG0/k/QyUMDpFbGTnuHB3D8E2kgBdmjpEwp0XpQXjx+z oGqzGzIVTXLfsao0BAiBm9jifjoFuJq+iP4xcuIIsWiHrsBWwTDvJOAX2QylkbYMZsDv3Gf/ ehO18RsWJL/Lh8V8vEaCZHF9LE+SyKkBW1lQNN8zpMFH1DsXmm49gWTGn+UZ89yPP3u2m27A vxIOchgeUmf1iGPjzZDHo8KAeZ+s8AI7eo4WIHABDA5oZrGiRQxq7PW1Cz1pFFzcuVUicxnd 7/gLWOTIFKflV5/ujHrrvAdHkGafNNdRgn3/N7twdUzD5hZ7d1dKxAj4ICV4UeQHhBspS+Pn QX5YKTT8exu5KJsk6boEYRBHw+EEszyZsvZ7DGMt8lyUv2XPffsrw81rnzVDzZSN5YVWPV1k u2Di86o/UXnuL1tbXvVtaPcHIZ05OKzftFtDOTJEFdgkxCvZurQ8joY2mXhKZV2gNJXvcamY A2jafqPT90eWvYD5X5ZQBVcOgY5NrTPS6a5uxK4kumGUSZF4AmWddmizGLiTUNFegA2OZHRD hH+uquw6uBit44WVQUgAtd4CaRZO37mY7MtLPfqhAmbD06po1KMgaTjnhwe8gP2CmGIPcL5w JDdTD3sXU2WlICR6/pGoqpgvQYyDnlvsdIvf0kYxcF6uwq6AEECM+4ZF5cMUbNQrQDfy7D6Y yPrfkI5KCCgQwlBTwrw0O7jUiibGOYKHNXzfR4t3kGMbhaJFJGyO6Rg+ghg8kVJVGPals//E u4n+1r0IhSV6bNqT7xK5vWE3MFW9smDzXcMoU3Ag8j+BigFOooz1VtjIlt9ZXSSWYWF3kDGP nM8Sm14UVm2Axy5W9ppf3lOXgoVpnXzxjEvdj2C28vbp57d9uBb1fnjIKvm59XvtijRyGImH hsbhldh4lx6HlQ8k5Fx4pcNpvUxDviGWM+nMKXkWAse2bmq7XgqNN8DmixJS9w+/AlYEBXWk TzED70WGhGeME4IsFGJ4Vxhxn6zeitk4/L1YMrXozLZmhUi09zUPRGhih/4QX01g7a2pF1WG V/+c27Iy2B7d1LYSf1WsPkErVWcHcUcU3DPFD0rJn83ftFAV0cFfI1cP4oGOx69PZGKKki4t Epc7jnlxL+aYw==
- Ironport-hdrordr: A9a23:ScU+hqqpbLyR3b/T08nNtbAaV5u2L9V00zEX/kB9WHVpm5Oj+v xGzc5w6farsl0ssSkb6La90dq7MArhHP9OkP8s1NKZMDUO11HYSL2KgbGC/9SCIVy2ygc+79 YGT0EWMrSZYjZHZK3BkWqF+qMbsby6GdeT9IXjJhlWLT1CWuVF1UNUGwybGkp5SE1tHpwiDq eR4cJBun6JZWkXRt7TPAhPY8Hz4/nw0L72ax8PABAqrCOUiymz1bL8Gx+Emj8DTjJ0x6s4+2 StqX2y2kzjiYD39vbv7R6d031koqqu9jKFPr3MtiEhEEShtu9vXvUgZ1TNhkF3nAjl0idTrD CFmWZaAy000QKYQoj9m2qW5yDwlDkp8HPs0lmenD/qptH4XiszD45biZteaQax0TtUgDjS6t M044u1jeslMfr7plWO2/HYExVx0kakq3srluAey3RZTIsFcbdU6YgS5llcHpsMFD/zrNlPKp gYMOjMoPJNNV+KZXHQuWdihNSqQ3QoBx+DBkwPoNac3TRalG1wi0EY2MsclHEd849Vcegx28 3UdqBz0L1eRM4faqxwQO8HXMusE2TIBQnBNWqDSG6XZJ3v+0i92qIfzI9Fm91CIqZ4safasK 6xLG9liQ==
- Ironport-phdr: A9a23:5OziRB3YXW3Bi2RVsmDOpwsyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaBo64xxwaUDM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1u2+4ZPebgpHiDagYb5/K Ai9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7 bpkSAXwhSkHKTA37X3XhMJzgq1Hrx2svAZwz5LIbIyPKPZyYr7RcNUHTmRBRMZRUClBD5ugY osLEeUAMvxXr4/gqFQQtxu1GBWiBOTqyjBSgH/22rM60/8iEQDGwQctGMgBsHDKo9T6LqgSV /26w7fSzTnZdfNW3jL955LOchAmv/GMRrFwcMrKxEkpCQzEgEmfppb+PzOJ0uQCrXKX4PB8W u61lm4nqBh8rz6yzcgjlofHnJgaykzY9Spn2oY1I8W1RU1nbNOlDJZeuD+WOpZrT88+TWxlu Ck3xqAJtJO6fCUHzJQqyhHRZfGIcIWG7BPuWPqSLDp7mX5oe72yihay/0Wm1+byWM600FNQo SpElNnBrm4C2AfO6seZRPtx5Fqu1iiJ2gvO6e9EOVg5mKrFJ5I737I8ioYfvV7eEiL0nEj6l rGae0sg9+Sw9ejqY6nqq5GZOoNplg3xKKUjl8mwDOgkLgQDWnaX9fqi2LDm+ED1XbRHg/srm afDqp/aP94UpquhDg9VzIkj7xG/Ai+n3tkFgXcLME9JdAuBgYbwJV3COff4AuyhjFi2lzdr2 uzGMabmApXQKHjMja3tfa5n605b1Ao808xQ545VCrEGJvL/QEjxtMHEDh89NAy0xOXnBM9h2 YMZXGKDGq6ZMKXMvl+U/u8iI/eAaJUItDrhN/Qp/ePigH09lFMHY6Wk058aZGi9Hvt8IkWZZ 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/7MOsxh12gdQ4JJsh93pRsZoaCUKHD36SmeuF9gDihkGJLpphn1V6B/DZ9TeiO2 IsZx/af3U2MUDKUYE6JlMfxlMgEYDgTGjD60i34HMtLYaY0e48XCGCoKsnxx9NkhperVWQKv FikT0gL3sOkY3/wJxT0wBFQ2EILoHemhTrwzjp6lCssp7ae2yqGyvrrdR4OMGpGDGd4ilKkL Y+xhtEcFE+mCmph3BKh6FbzwaRWvuJlKGzaR0BWZCvnB2dvTaC5raaGbohG49U1smQfUeixZ 0ybVq+ouwETgEaBVyNVwDE2cS3vu42swkY80TrFai8s/TyDIpAjoHWXrMbRTvNQwDccESxxi D2NQ0O5I8Hs59Kf0ZHKruG5UWulEJxVayjii42a507ZrSVnBwOym/erl5jpCw8/hGXy09R6X CPEoQy6eI7u3qK9L/lkb2FuCUD34tFmHow4m4B2mZJaih14zt2FuGEKl2v+K4AR0KbzfHMLS TMRhcTS5QHj31N4LWOhwY/mXXyG3s9sIdCxJH4VkHFYjYgCGOKf67pKmjFwq1yzoFfKYPRzq TwazOMn9H8Qh+xhVBMF9iyGGfhSGEBZOXapjBGU95Wkq64RYm+zcL+23U44nNa7DbjErBsOE Hr+f54jG2d34KAdeBrF1HDj44fodcOWd9UWvxuTjQzDnsBTJY06n+EWgSchMGm7oH5tx+Mgj BNo1I23p+3lYy0wpuTgWkYeb2KkIZlIq3nklu5Gk9yT3pyzE5kpATgNUJbyDLqpHD8UqfX7J lOLGTw4pG2cHOm6f0fX40NnonTTVpGzYizNYiBBlZM7G0jbfhcO02V2FH0gk5U0Fx6n3pnke 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+bCyeovvz+5phSXQ9hGtJfaUP7UGe/oNDuSkbhDY V0P3K/8KoMQcIb83ikAIhF2kZ/LFEzZQd1W6nA7KFZs+AMUryk4FDZik0v+Ihug+noSCeK5k lYthw1ybP5svDbg7lErJ0bb8Ss9lE5i/LetyTuVcTP3MOKxRdQLUWyt7xB3a8yqBVwuPF7X/ wQsLjrPSrNPgqE1cGlqjFWZop5TAbtGSqYCZhYMxPaRbvFu0FJGqyzhy1UUgImNQZZkigYud oah6nxa3Ac2JtcxKLzZIqZE1B5KgaeHuCi2zeMg6AkTOE0E63+WdWgBswoVNfN1Qkjgtvwp8 gGElzZZLSIUUOE2p/tx6k4nE8uq9Xq5lppkcAW2PeHZKL6FsW/dk8LOWkk3yk4Di0hC+/5xz NsndE2XEUsoyfHCcnZBfdqHIgZTYc1I8XHVdivbquTBz6V+OIClH/zpR+uD5+4Ex1ipFwEzE 8EQ/9wMS9OyhVrAI56tf9tngV09oR7mL1KfALFVdQKXxX0Z9tqnwsY/3JEBdG1FRzQnd33xv vGO+0crmKbRAI9wOy9FGNNCbjVvBqjY02ZYpygSUWPxi7pBjlDEt3il+mzRFGWuNoI/IqvLI 0sqUJbvpn0+6/bk01ePq8eHfjioO4g64o2drr9KwvTPQ/JME+snuh+FydABHi6kDzaUQ4zye 8m4apFyP4b9Ui/oCwXm2TxpF5yjbI71dvraxlywIOQc+IiDgmJ5PJfkRGhHQkV++7lYtqkkP VVRMd1mOFbpr1psbaXneVXBi4z8TTr1cmlYF6EHn7f9OuYfiiMoaqXSIJ4ISJwlxOCs7UoAA pgByAzdl67Lj2Z2VyXsEXVGZwHC4yMy0XViZL9aKgYX7zny6QBZFxfRMetjZSpDos02Ak6UL TNuEG0kSlSAjI3FpAmxw7QV+CgblNFRg7QtjQ==
- Ironport-sdr: 64b06e0b_hDrU9oUN0Mc4/4UjDewOoOU/KlFRGGCJJN23soEKRe37HbW 22Ng5RG/JsOP8vIdDvAH4h3sm/kqIZlY/1Csc+g==
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 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. - Aryldo Russo, GESTE ENGINEERING. Continuous Research for Innovation
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.
|
- [Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2023), Alexander Romanovsky, 07/13/2023
Archive powered by MHonArc 2.6.19+.