{"id":2836,"date":"2018-11-14T11:34:34","date_gmt":"2018-11-14T10:34:34","guid":{"rendered":"https:\/\/www.prover.com\/?p=2836"},"modified":"2025-01-07T14:59:44","modified_gmt":"2025-01-07T13:59:44","slug":"a-look-back-at-the-smartmetro-conference-in-paris","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/","title":{"rendered":"A look back at the SmartMetro conference in Paris"},"content":{"rendered":"<p>This Oct 29-31st, <a href=\"https:\/\/www.smartrailworld.com\/events\/smart-metro\">the SmartMetro conference<\/a> was held in Paris. The event brought together Senior metro, tram, and light rail technology experts from all over the world, including Prover Technology. Nicolas Aucouturier and Thierry Lartaud were there to represent Prover as an international presence in the signaling industry.<\/p>\n<p>The annual SmartMetro conference has always been an exciting opportunity for Prover. It is a chance to learn, discuss and reconnect with the key operators and suppliers during the presentations, workshops and roundtables.<\/p>\n<p>We primarily focused on presenting Prover\u2019s premiere product:<a href=\"https:\/\/www.prover.com\/software-solutions-rail-control\/prover-trident\/\"> The prover Trident process<\/a> is the complete package for interlocking design automation. This tool suite provides formal methods for defining signaling principles (<a href=\"https:\/\/www.prover.com\/software-solutions-rail-control\/pispec\/\">PiSPEC IP<\/a>), development of specific systems based on its signaling principles and needs (<a href=\"https:\/\/www.prover.com\/software-solutions-rail-control\/prover-ilock\/\">Prover iLock<\/a>), and sign-off verification of specific systems (<a href=\"https:\/\/www.prover.com\/software-solutions-rail-control\/prover-certifier\/\">Prover Certifier<\/a>). Within this suite, simulation as well as testing documentation and code generation is of course also included.<\/p>\n<p>We are already looking forward to getting the chance to attend the next SmartMetro conference again in another great European city.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail  [&#8230;]<\/p>\n","protected":false},"author":18,"featured_media":20643,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[160],"tags":[],"class_list":["post-2836","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>A look back at the SmartMetro conference in Paris - Prover - Engineering a Safer World<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"A look back at the SmartMetro conference in Paris - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2018-11-14T10:34:34+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-07T13:59:44+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1707\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Thierry Lartaud\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Thierry Lartaud\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/\"},\"author\":{\"name\":\"Thierry Lartaud\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9\"},\"headline\":\"A look back at the SmartMetro conference in Paris\",\"datePublished\":\"2018-11-14T10:34:34+00:00\",\"dateModified\":\"2025-01-07T13:59:44+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/\"},\"wordCount\":183,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/\",\"url\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/\",\"name\":\"A look back at the SmartMetro conference in Paris - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"datePublished\":\"2018-11-14T10:34:34+00:00\",\"dateModified\":\"2025-01-07T13:59:44+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"width\":2560,\"height\":1707,\"caption\":\"Paris\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/www.prover.com\/categories\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"A look back at the SmartMetro conference in Paris\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9\",\"name\":\"Thierry Lartaud\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g\",\"caption\":\"Thierry Lartaud\"},\"url\":\"https:\/\/www.prover.com\/author\/thierry-lartaud\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"A look back at the SmartMetro conference in Paris - Prover - Engineering a Safer World","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/","og_locale":"en_US","og_type":"article","og_title":"A look back at the SmartMetro conference in Paris - Prover - Engineering a Safer World","og_description":"This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail [...]","og_url":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2018-11-14T10:34:34+00:00","article_modified_time":"2025-01-07T13:59:44+00:00","og_image":[{"width":2560,"height":1707,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","type":"image\/jpeg"}],"author":"Thierry Lartaud","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Thierry Lartaud","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/"},"author":{"name":"Thierry Lartaud","@id":"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9"},"headline":"A look back at the SmartMetro conference in Paris","datePublished":"2018-11-14T10:34:34+00:00","dateModified":"2025-01-07T13:59:44+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/"},"wordCount":183,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/","url":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/","name":"A look back at the SmartMetro conference in Paris - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","datePublished":"2018-11-14T10:34:34+00:00","dateModified":"2025-01-07T13:59:44+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","width":2560,"height":1707,"caption":"Paris"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/a-look-back-at-the-smartmetro-conference-in-paris\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/www.prover.com\/categories\/events\/"},{"@type":"ListItem","position":3,"name":"A look back at the SmartMetro conference in Paris"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9","name":"Thierry Lartaud","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g","caption":"Thierry Lartaud"},"url":"https:\/\/www.prover.com\/author\/thierry-lartaud\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2836","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=2836"}],"version-history":[{"count":1,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2836\/revisions"}],"predecessor-version":[{"id":6537,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2836\/revisions\/6537"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/20643"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=2836"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=2836"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=2836"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}