Skip to Content.
Sympa Menu

coq-club - [Coq-Club] RSSRail 2023: Reliability, safety and security of railway systems. Call for posters

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RSSRail 2023: Reliability, safety and security of railway systems. Call for posters


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] RSSRail 2023: Reliability, safety and security of railway systems. Call for posters
  • Date: Wed, 28 Jun 2023 09:11:58 +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=dnY6Ua/LchQiwLDtMx1r7BrfCXEy57rCCDa0umR5az8=; b=dJe1FIWf5J1ceDMhD6jReGxYT/rYhEHRpgcyv6clOME2JLLDdQe2TjgNElwLUmD0/x7+XEIWAtnETmlPrH3YFcOYkzJoOA/B6RZK5N2NqHoSnn8vHH5BWU54EZqTAkCzOm0UCSg4YmgP5mHl6wqXpKTIvTk+9O4GYo7MpWql7juJwHBh8iW5MCQZVfz0LxkqFf6cEkldbva3JCfaJxb47UNZrErV7Cj9J+kgs351dPWFkLKBBdhpEXT17ZA0fXJ7La3Onli1vXv8CXIJFYFu+Sx0YZShmLymE8nplR38+Ok5CmQVv9h7tuHMQb/0j30eDEHBFqTfWT0KFssLo+605Q==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=U7yrj4aDUgsR/AsClquW5ylnrmc/ikmUspNf4oBiHh95S1nUWSRyfOaefa0EcKZRYdzUop2PsDJqrQ5Vcu5jvTvvjSBWua6gfh+u2B4CcfCl3afEiVbNkiMMM58uYWwSzya8nNmfnKDksJw3lPpea2c6gSJA6ekrxwP8c6NZyAoYsQQJxtow0FBOnZnhVg52iFjWVkwkah9EiJdQKP03NgDI0qbUtLPr76OVCM+52y06uYZDVhFkzrb+EmocH6vpeHENNRl7+iTzlfIBAS9kEYzxP3mgshzIuRUMQpoMP71lUfPuREIN08uxTBdrkG5L5DSFv8tynTx6FeI0522wRA==
  • 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=Pass smtp.helo=postmaster AT GBR01-LO2-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:ofPIx6JJz4YR79wNFE+R254lxSXFcZb7ZxGr2PjKsXjdYENS3mEOn zQXXjuFaK2KYGv0ed4lbI6+oR8F6MfXnNVnGgod+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf8s9JIGjhMsfnb9kk/5K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuUHjW5No0MUYNO4glwMlUWW9j8 PEmN2VYBvyDr7reLLOTZcNW3p1mCO6xeYQVtzdn0C3TCusgTdbbWaLW6NRE3TA2wMdTAfLZY MlfYj1qBPjCS0AVfA5PUNRnw7bu3CWlG9FbgAr9Sa4f6mze3AV33LX3dsDSf9WMQttOnVewo G/Z9G3iHhUXctWUjyeGmp6prrGXxXmiBNxPfFG+3uBb3EWz/k9KMhdMD0S4gvecmEy+Cs0Kf iT4/QJ19PNprBXxJjXnZDWzqXuA+xodQMZ4CPw/8AjLy6zO4g/fCHJsZjVGcZktsNI8bSc70 0eA2dLvHz1m9rOPIU9x7Z+RpDK2fCwSd2AIf3ddTQ1fuYW55oYukhjIU9BvVravicH4Ei3xx DbMqzUig7IUjogA0KDTEU37byyEhZvzaSFv2wLsWGeY1CxaPICIYoGW9g2OhRpfF7qxQl6Et XkCvsGR6uESEJ2A/BCwrPUx8KKBuq/YaG2M6bJ7N9xwrGzFF2uLJ9g43d1oGKt+GukuEdMDS GvUvw9W4ve/11OHRvNNC25dI+kswqzpE9iNaxw5Rt9HY5w0cAjd8yt0PReQ2Tq3zBJqlrwjM 5CGd8rqFWwdFals0DuxQaEazKMvwSc9g2jUQPgXLihLM5LBORZ5qp9cbjNii9zVCovY/m05F P4DZ6O3J+13CrGWX8Uu2dd7wao2BXY6H4vqjMdca/SOJAFrcEl4Va+OkeJ5JdY1wvoP/gstw p1bch4BoLYYrSyfQThmllg5OdsDoL4j8iplZXBwYj5EJVB6PNb/vPl3m2QLkUkPr7U4lqYtF ZHpiu2FA/9VTS/A9ShVZIvgtoEKSfhYrVPmAsZRWxBmJ8QIb1WQorfMJ1K/nAFQVHbfnZVl+ dWIiFiEKafvsiw/Vq46ntr1kQPo1ZXc8covN3b1zi57IxSxqNg3d3as0Jfa4agkcH3++9dT7 C7OaT9wmAUHi9RdHADh1PvY/bS6WfBzBFRbFGT95LO7f3uStGm6zIMKFK7CcTnBXSmmsO+vd MdE/cHaafcnpVdtt5YjMrBJyall2cDjiYUHxStZHVLKTW+RNJVeHle80/JijJZ9no1ihVPuW 2ak2MVrBrGSCca0TH8TPFUEa8qA59E1mx7Tz+kHEEn41R9RpLCobFhjADyRhBNGLZ9eEoAs8 cE+suE4ti29jRsLNI6dryZ2rm6jEF0JY58FhLo7XrD5q1MM5AlZQJr+DiTW3sm+W+9UOBN3H g7O1bvwubtM42HjLVwxLCHp9shAj80svBtq8gczF26RkICYus5tjQxjyhVpfAF71R4d7vlSP FJsPEhLJamj2TdkqcxAfmK0ETF6Gxyr1R3t+mQNiVHmYRGkZk7VIE05HNS9zkQT3mZfXzpcp b+j2DnEVxTud5rPxSccYxNuhMHiat1TzTf8vv6bMf6LJaRnXgq9sJSSPTIJjzDFHfIOgFb2o Lg23eRoNoz+Gy0ig4w6LIi4yIYgRBK1FEoaS95c4ZI2OHzQRyqz/ROsKEmBXNxHCNKX0E2/C u1oftluUTbn3gmwjzkrP4w+CJ4qo+wIvf0sIqjKI0wCuJuh9gtZiorarHXCtTV6UudQntYYA aKPUTC7S0i7p2Zewk3Jp+l6YluIW8EOPlDA7brk4dcyNswxtc93ehsPyZqyhXKeNTVn8z+yv A/uY6z3zfRo+b9znrnDQ7lyOAGpFezdDOi40hi/k9BrX+P9Nc3jswA0qF6+MT9GYpoXedB8z oqWvPDNgUjqgbcRUkLioaenKZVn38uJcdRyDtPWN1hfxCuLZ9/t6UAM+ke+Mp14r+le7ciGG Sq7ZOCNd/cFf+pN/FhUMjZvFisAAf/JNpbl9Hq3qs2RATg/zwDoEtGr2nv3Z2AGaCM4AYb0U F7un/OI+NpjjZ9tASUcDKpMGK5II17EWIoneebutDKeMHKav1Oatpbmljsi8TvuGFDdNOrbu LXuWQnYZhepnaPH3uFirI15uyMIAEZHgeUfelwX//h0gWuYCFEqAPs8M5IULIN9iQ33iY/FY Q/SYFsYCSnSWSpOdTP+6o/BWiadHuk/BcfrFAc2/k+7azaEO63YOeFPrhxf2nZRfifv6MqFK ttEo335AUWX86FTHO0W4qS2vPdjyvbk3Uk3wEHakfKjMyZGVP9OnDZkERFWXCPKL9DVmQ+Zb SIpTGRDWwegRVS3Dc9kfGVPFQoEuC/0iQ8ldjqL3M2VrrDzIDesExEjE7qbPnw/gMU2yHoma lnNHzLIx0fMn3sZtO0ups4jhrJyBbSTBM+mIaT/RAoU2aat9mAgOMBEli0KJC3n0BAKCEvTz 1FA/FBnbHlp6mgIsFFV9enN05R8TXkFFC3NgUj2rnnbknTVCvDHLgOywluTxY7Y8sDeUoYxf NvWRECcvFafryfgqH93vbIGpTRrxC3X+WbsCkgVc385rvtgpKKx2lysP4HWGu+9KEF5+7g=
  • Ironport-hdrordr: A9a23:wuE/baMTj6i6ScBcT1z155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jzjSWE7gr5K0tQ4OxoWZPwN080kKQY3WB/B8bHYOCLggqVxeJZnMLfKl/bakrDH4dmvM 8OHZSWY+eAbmSS+PyKhTVQZOxQouVvnprJuc7ui1NWCS16YaBp6Al0TiyBFFdteQVADZ0lUL KB+8tuvVObCD8qR/X+IkNAc/nIptXNmp6jSwUBHQQb5A6Hii7twKLmEiKfwgwVX1p0sP0fGC n+4kHED5eYwr6GIyznpiHuBlNt6ZrcI+54dYCxYw4uW3XRY0iTFcdcsva5zUgISamUmS0XeZ /30l8d1o1ImgnsV3Dwrh331wb61jEyr3fk1F+DmHPm5df0XTQgFqN69Pdkm7TimjQdVfxHod F2NliixuhqJAKFmD6468nDVhlsmEbxqX0+kfQLh3gaVYcFcrdeoYEW4UsQSf47bVXHwZFiFP MrANDX5f5Qf1/fZ3fFvnN3yNjpWngoBB+JTkULp8TQ2TlLm3JyyVce2aUk7wM93YN4T4MB6/ XPM6xumr0LRsgKbbhlDONEWsezAnyle2O9DItTGyWXKEgqAQOzl3es2sRJ2AiDQu118KcP
  • Ironport-phdr: A9a23:oiXlZh8aRisK5P9uWfezngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y gqHv7413ReJBdydt6gZzbKO8ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYL5+N gm6oRveusUKhYZpN6I9xgfUrndSdOla22NlKUiPkxrg48u74YJu/TlXt/89+MFMVrn3cb4lR rJCFjQmNG415MzvtRbdSAaE+2URXGYLnBdWGgbJ9B71UIv/vSv8rep9xTKVPdbqQrAuWDSt9 LlkRRn1gyoaLTE58WXXisttjKJHpR+quhJyz5LIbIyTKfFzeL7Wc9EHSmpbRstfVzJPDJ6gb 4UBDOQOIelXopLnqFcSsRezHxWgCP/vxzJOm3T43bc60+MkEQzewAEgG8wBsXvOo9XzKagdT /q1x7TUwzXEavNZwzH96I/WchA6ovGNXa97fM3LxkkrCQzEgU+fqYr4MDyLzOQBqXKb7+1lV e21jW4nrB9xoiOsxsYskYTJgJway17Y+ipj24Y1Odm4R1BhbdG+DJRcrTyaN4hvT84kXmpnt zo0xKcctp6nYCgF1o4nxxjHZvCZd4WF/g/vWPuTLDp4mX5rdqyzihez/EW91+HxWcu53UtWo iZbjtTBuW4A2wDQ58SaRPZw/1qt1SqP2g3O6exJJ10/m6TcK54k2LEwl5wTvFzdESDthUX5k qGWel859ee28+jofK/ppoScNoBoigHxKKUumtalDeQ/KAgOUG6W8vm/2r375UD0QKtGgucrn qXFrJzWP9kXq6y9DgNPzIou5AizAy+43NkZgXUKIldIdA+bg4fzOlzDJf/1Aeujj1mpjjtn2 e7KM7jkD5nQL3XOlqrqc6xn5E5G0gUzyMhS55JKBbEFJ/L+Qk7/ucHEABMlLgC42uDpBsxj2 o8HXmKAGbGWPLnVsV+V+uIgOO6MZJITuDngMfQl/+TujXglmVADYaapwZoXaHe+Hvh8JEWZf GbsgtMGEWcNvQoyVvDliFqHUTJLZnayWbwz5i0jBY+mE4vPXJ2hjKCd0CuhA5FbZGRLBkqSH XrnaYmIQ/IMZziTIs9lnDwET7+hS4o52B60sA/11bVmIfDS+iIFq53jzsJ55/fUlRE37zN0C cOd03+WT2F3nmIFXDk2075xoENh0FiDyrR4g/hGGtBJ/fxGTh02NYPfz+BiDdD9QRrOfs2VR 1a+XtWmHTYxQ8ovz9MWeUZyB82ijgzf3yqtG7Iai6aEBJkw8q7F23jxJt19y2rd2ak6j1gmR 9NPOne8iq5+8QjTHY/JnF+Dm6akb6QQxDTN+3ubzWqSoEFYVxZ9XrnCXXAGf0fZsdD55l7ZQ LK1ErQmMg5BydaYJadQa93pi09GRPb5N9jEbWKxgTT4ORHdjLiUbIGvcGIb0g3/KXMvtiky2 TCvHk4DJW3p92nGDDcrHlXpbWvO0NJVjVqaagkd5Ee3TBsy+aCy/0s8gfGMQvUf06hMgiAko jNzAk2+zpqCAt6NtwNncKhGJ8k65V5B0nzCtB1VOJG/JKl5mloTNQ18+V7tgUYkQr5cmNQn+ St5hDF5LriVhQspn1Kw2JnxPuaSMWzu5FW0bLaQ3FjC0dGQ86NJ6fIiqlylshv6XlE6/SBB1 N9Ym2CZ+o2MFBAbBJv1X1Y+8RR3vffAZSw04YTKzn59Ga+5rTTLwM4tCa0swVC9fIQXK7uKQ Tf7CNZSHM2yMKovklmtYAgDObVb8KMkNsWqeuHAwqmuNeBngimlnExB7Z9221mQ8yc6Q+WOw pVWi+qA0F6/XiznxEykrtixmY1AYmQKGXGjzCH/GINLToJYR95STEOJeYiwzNg4gIPxUXlF8 lLlH0kBxMKiZRuVaRr6wBFU0kMU53egnENU1hRSlDck5uqa1S3KmKH5cQYff3VMXC9khEvtJ o69i5YbWlKpZk4njknt40Gy3KVdqKllSgubCU5VYyj7KX1jWaqsp/KDZcBI8pYhrSRQVqy1f 1mbTrf3pxZS3TnkGiNSwzUydjfivZuc/VQygWaQPH91oHfDP9t3wB7Z48LHRu952DcZTyBjl T3aQFG3ecSqvJ2Vm5rFruGiRje5TJQAFEujhYiEtSa9+ShrGUjixbbqwoWhSFdrl3WnjYoPN 22Athv3b4j12r7vNOtmehItH1rg849hHZk4lIIshZYW0Hxch5OP/HNBn32gVLcTka/4cncJQ iYGhtDP5w2wkkRnI2KAwY70TDOHxc5oYd6keWAH8iQw8MtDE7uQ4fpNlm1ooRDryGCZKeg4h TobxfY0vTQTh+wZsQwhwz/bGLcXFE9fIzfvhjyO4s+1pb5LYGvpeLP2yUk0zrXDRPmS5wpbX nj+YJIrGyR9u95+PFz723r28oj4edPUYLr/rzWsmgzbx6hQIZM1zb8RgDZ/fHn6pTsjwvI6i hpn2de7upKGIiNj5vDxDhldPzzzL8Qdn1Olxa9ak9af2YyiBNN7HTACWpz2VvG5ODQfqv/uL BqKHXs1oTGGGvLTEBSe50Fvs3/UdvLjfyzNYiBBlZM7G0jbfhAFyAkPFC03hJs4ChynyIT6f UF16ypQrl/0px1Qy/55Yhz2U2PRvgCtOVJWANCUKBtb6B0H5l+AbJbYt7orWXgHr9v78FbeT w7TLx5FBmwIREGeUlXqP731oMLF7/DdHe2maf3HfbSJr+VaEfaO35OmlIV8rFPufo2COGdvC /oj1w9NR3d8To7QnzgfQiobmjiLdcmerRG75DZ0v+i5/evgURnz4YbJArAULNYlqHXUye+Tc vWdgip0M2MS35cB1XbOxLUFmkQVjihocCe2EqUosyPSR6vLhqtaSRcQLT5wfpgtjep0zkxGP sjVjcnw37hzg6suCltLYlfmn9mgec0AJ2zufEOCHkuAM66KYCHa28yiK73pUqVe1a8H0n/48 SbeCULoOS6P0iXkRwz6e/8ZlzmVZVRfoN3vLk4rWDKlFJS+LUTmeN5v0W9qmftt3iyMbShEd mEiFiEF5ryIsXEF2LMmQzQHtjw9arDY0yeBs7uBcspQ7aQtWmIs0LsFqHUilekP5XkdFqUsw Xnc8oY28QPhzrnqqHIvUQIQ+GxC3NvZ5Bw7a6uFrsISCzGYrVoM9TvCUR1S/ok8U4S9tfwIk YqfzPqremUFroqxn4NUBtCKepiOaCNzaEOwSjCIVFBXRmbzbTONwBEE2PCKqC/Pp8Bj+MG1w cgAFucABlJtTqtIWAM4RpRHKZNzFFvIiJajhdUTrTq7pRjVH4BBu4zfE+mVGbPpISqYir9NY 10Jx6n5JMIdLN+z10tnY1h81IPEfiiYFchKuTFkZxQorV9l31JEFjR2/2W/LwSn7TkUCOK+m QMwhk1me+Mx+Tzw4lAxYF3XuC83l0p3ktLg5FLZODL8N6a/W4hKBjG86hJ3a8ujBV8qPEvow RYsPSyMX79Lirp8aW1nwBTRv5dCA78UTKFJZgMR2eDCZ/gs1gc5yG3vzktG6O3ZTJp6wVZwN 8f09zQZhFMlNoJvdsmybOJTw1Ndh7yDpHqt3+E1m0oFIloVtXiVYGgOsVAJMb8vI2yp+PZt4 EqMgWgmGiBEWvw0r/Zt7k54Nf6Hyneq2rpOOkm3O+GFabmevmHGktCTQUIY0E4XnEBe4bx7l 84oNVeXHRNKrvPZB1ESOMzOJBsAJdJV72TWdD2SvP/l7rhPZ9z4MseyCOiEueATn16uGxsvE 8IU9MMdE5Kw0Ubea8D6MLoCzhZr7wPubgbgbrwBaFeAlzEJpNu6xZl80NxGJz0TNm56ND2++ rfdogJ5yOrGRto9ZW0WG5cVLn9jEtPvgDZX5j4TaVv/mvJc0gWJ6CXw4zjdHCWpJcQ2f++aP FttEI3kpW15ovLw0RiPtcyDb2DiaYY+4pmWsbxc/9DfTKoKKNs1+0bEx9sFHTrzCzaJSZjtY MGsI4g0MY6tUir8DgP503RtCJ6udNe1cPrSiFmxF98N6duVgGh7Z536SmF7eV84pvldtvh1P VRROsNiMxC0719sZevjcU+Zyov8GW/1cGkPFqANw7niPO4Hl3J0PL39lSNFLNlyzvHpoxQEH MhY10iHl/j/P9IMWnCrQi4PPFiW7SshyTo7P75rkL5mmUHG7QFHYT7TLLQ7OisZ5Zl5DFeWa x2e5UI+SkCXhJHf5gPq1rtU4igPxr68MMVqmkKm59r7R2jpX6am75LIryAncN4q5bVrNpDuK deHs5WYmSHDSJ7XsUuOVyvoTpKyf/BWLT1TSeJUnWxjMMdApIkTsSIM
  • Ironport-sdr: 649bf960_kBXgOY2YbWNWa5ptdZ8rZ+gHriK5O5PXpdgUjR/0lp4Dp2h 8/qmg9iTigksFJSAuPOuRpudO3bUI1j5+49OEDg==

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 Posters

 

RSSRail 2023 is building an exciting programme for the participants.

 

There is an opportunity to exhibit posters at the conference. 

 

Please submit a 1-page summary of the proposed poster (including the title, names of authors, affiliations, a summary of the technical content) to https://easychair.org/conferences/?conf=rssrail2023 .

 

Please make sure that the proposal is in the technical remits of the conference – see  https://rssr2023.ebuef.de/ .

 

The poster proposals should be submitted as pdf files by July 14, 2023. Notifications will be sent to the authors on July 22, 2023.

 

The accepted posters will be located in the conference lobby where the coffee breaks are arranged. They will be prepared as A1 sheets and brought to the event by the authors. 

 

 

 

 

 



  • [Coq-Club] RSSRail 2023: Reliability, safety and security of railway systems. Call for posters, Alexander Romanovsky, 06/28/2023

Archive powered by MHonArc 2.6.19+.

Top of Page