{"id":18410,"date":"2023-08-28T09:03:21","date_gmt":"2023-08-28T08:03:21","guid":{"rendered":"https:\/\/www.prover.com\/?p=18410"},"modified":"2025-01-13T14:39:33","modified_gmt":"2025-01-13T13:39:33","slug":"signaling-design-automation-forum-2023-paris","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/","title":{"rendered":"Signaling Design Automation Forum 2023 &#8211; Paris"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\" style=\"--awb-text-transform:none;\"><p>The SDA Forum has a history of success, and this autumn, our objective is to once again exceed your expectations.<\/p>\n<p>Our journey began with the inaugural conference hosted by Prover in Stockholm in 2018. Following its success, we ventured to Shanghai in 2019 and Paris in 2021. Now, we&#8217;re excited to announce that this year, we&#8217;re returning to Paris on October 17th.<\/p>\n<p>This year&#8217;s forum is all about harnessing the power of Formal Methods and Digital Twins to automate simulation, safety verification, and design automation for critical signaling systems. Prover blazed the trail in the 1990s by pioneering the use of formal methods in railway signaling. This marked one of the early instances of employing digital twins to describe system properties, essentially creating a digital model of systems. Over time, the concept of the digital twin has evolved, with formal models serving as the foundation for specifying and developing systems.<\/p>\n<p>We anticipate that recent advancements in AI will play an increasingly prominent role in expediting and cost-effectively developing signaling software with a focus on safety assurance. Discover how these cutting-edge technologies are being leveraged by leading infrastructure managers and suppliers in our industry.<\/p>\n<p>Past conferences have attracted leading infrastructure managers, suppliers, and engineering firms from across the globe, fostering an environment for sharing insights, finding inspiration, and networking. We deeply appreciate the interest and engagement displayed in previous conferences, and once again, we are determined to surpass expectations.<\/p>\n<p>We are really looking forward to discussing these subjects with all of you, on the 17th of October 2023 in Paris.<\/p>\n<p><a href=\"https:\/\/www.prover.com\/signaling-design-automation-forum\/\">Click here to learn more about SDA Forum 2023<\/a><\/p>\n<p>Anders Lind\u00e9n<br \/>\nCEO at Prover<\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":45,"featured_media":18414,"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-18410","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>Signaling Design Automation Forum 2023 - Paris - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Join us for the fifth Signaling Design Automation Forum at Mercure Paris Centre Tour Eiffel on October 17th.\" \/>\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\/signaling-design-automation-forum-2023-paris\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Signaling Design Automation Forum 2023 - Paris - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Join us for the fifth Signaling Design Automation Forum at Mercure Paris Centre Tour Eiffel on October 17th.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2023-08-28T08:03:21+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T13:39:33+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"472\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\n<meta name=\"author\" content=\"Amanda \u00d6berg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Amanda \u00d6berg\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"Signaling Design Automation Forum 2023 &#8211; Paris\",\"datePublished\":\"2023-08-28T08:03:21+00:00\",\"dateModified\":\"2025-01-13T13:39:33+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/\"},\"wordCount\":623,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp\",\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/\",\"url\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/\",\"name\":\"Signaling Design Automation Forum 2023 - Paris - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp\",\"datePublished\":\"2023-08-28T08:03:21+00:00\",\"dateModified\":\"2025-01-13T13:39:33+00:00\",\"description\":\"Join us for the fifth Signaling Design Automation Forum at Mercure Paris Centre Tour Eiffel on October 17th.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp\",\"width\":1000,\"height\":472},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-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\":\"Signaling Design Automation Forum 2023 &#8211; 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\/b0b8ffdd4d56121bab43fd87530c42b2\",\"name\":\"Amanda \u00d6berg\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"caption\":\"Amanda \u00d6berg\"},\"url\":\"https:\/\/www.prover.com\/author\/amanda-oberg\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Signaling Design Automation Forum 2023 - Paris - Prover - Engineering a Safer World","description":"Join us for the fifth Signaling Design Automation Forum at Mercure Paris Centre Tour Eiffel on October 17th.","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\/signaling-design-automation-forum-2023-paris\/","og_locale":"en_US","og_type":"article","og_title":"Signaling Design Automation Forum 2023 - Paris - Prover - Engineering a Safer World","og_description":"Join us for the fifth Signaling Design Automation Forum at Mercure Paris Centre Tour Eiffel on October 17th.","og_url":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2023-08-28T08:03:21+00:00","article_modified_time":"2025-01-13T13:39:33+00:00","og_image":[{"width":1000,"height":472,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp","type":"image\/webp"}],"author":"Amanda \u00d6berg","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Amanda \u00d6berg","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"Signaling Design Automation Forum 2023 &#8211; Paris","datePublished":"2023-08-28T08:03:21+00:00","dateModified":"2025-01-13T13:39:33+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/"},"wordCount":623,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp","articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/","url":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/","name":"Signaling Design Automation Forum 2023 - Paris - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp","datePublished":"2023-08-28T08:03:21+00:00","dateModified":"2025-01-13T13:39:33+00:00","description":"Join us for the fifth Signaling Design Automation Forum at Mercure Paris Centre Tour Eiffel on October 17th.","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-paris\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/08\/SDAF2023-Paris-webb-1.webp","width":1000,"height":472},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-2023-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":"Signaling Design Automation Forum 2023 &#8211; 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\/b0b8ffdd4d56121bab43fd87530c42b2","name":"Amanda \u00d6berg","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","caption":"Amanda \u00d6berg"},"url":"https:\/\/www.prover.com\/author\/amanda-oberg\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18410","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18410"}],"version-history":[{"count":4,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18410\/revisions"}],"predecessor-version":[{"id":20997,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18410\/revisions\/20997"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18414"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=18410"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=18410"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=18410"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}