{"id":2242,"date":"2018-02-21T13:05:54","date_gmt":"2018-02-21T12:05:54","guid":{"rendered":"https:\/\/www.prover.com\/?p=2242"},"modified":"2024-06-20T10:34:02","modified_gmt":"2024-06-20T09:34:02","slug":"signaling-design-automation-forum-15th-may-2018","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/","title":{"rendered":"Signaling Design Automation Forum on the 15th of May 2018"},"content":{"rendered":"<p>Involved in Designing and Safety Assessment of Signaling Systems? Then the\u00a0<a href=\"https:\/\/www.prover.com\/signaling-design-automation-forum\/\"><strong>Signaling Design Automation Forum 2018<\/strong><\/a> is something for you!<\/p>\n<p>The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation \u2013 software technologies to automate design and verification for railway signaling systems.<\/p>\n<p>The conference will be focusing on Design Automation and Formal Methods, where leading Infrastructure Managers and suppliers from around the world will share experiences, best practices and state of the art use of technologies and methodologies.<\/p>\n<p>Speakers from RATP, NYCT, SL (Stockholm Metro), Siemens and Ansaldo STS will be there to share their best practices and experiences on Formal Methods and Design Automation. Listen to and meet with these leading suppliers and infrastructure managers at Signaling Design Automation Forum 2018.<\/p>\n<p><strong>Date:<\/strong> 15th of May 2018<br \/>\n<strong>Venue:<\/strong> Clarion Hotel Sign in Stockholm, Sweden.<br \/>\n<strong>Cost:<\/strong> \u20ac 149 + Swedish VAT due to VAT regulations for events.<\/p>\n<div class=\"fusion-button-wrapper\"><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-1 fusion-button-default-span fusion-button-default-type\" target=\"_self\" href=\"https:\/\/www.prover.com\/signaling-design-automation-forum\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Find out more here<\/span><\/a><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Involved in Designing and Safety Assessment of Signaling Systems? Then the\u00a0Signaling Design Automation Forum 2018 is something for you! The  [&#8230;]<\/p>\n","protected":false},"author":13,"featured_media":2243,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[160],"tags":[80,72,77,73],"class_list":["post-2242","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events","tag-automation-solutions","tag-formal-methods","tag-interlocking-design-automation","tag-railway-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 on the 15th of May 2018 - 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\/signaling-design-automation-forum-15th-may-2018\/\" \/>\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 on the 15th of May 2018 - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Involved in Designing and Safety Assessment of Signaling Systems? Then the\u00a0Signaling Design Automation Forum 2018 is something for you! The [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2018-02-21T12:05:54+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-06-20T09:34:02+00:00\" \/>\n<meta name=\"author\" content=\"Anders Linden\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Anders Linden\" \/>\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\/signaling-design-automation-forum-15th-may-2018\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/\"},\"author\":{\"name\":\"Anders Linden\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155\"},\"headline\":\"Signaling Design Automation Forum on the 15th of May 2018\",\"datePublished\":\"2018-02-21T12:05:54+00:00\",\"dateModified\":\"2024-06-20T09:34:02+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/\"},\"wordCount\":233,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage\"},\"thumbnailUrl\":\"\",\"keywords\":[\"Automation Solutions\",\"Formal Methods\",\"Interlocking Design Automation\",\"Railway Events\"],\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/\",\"url\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/\",\"name\":\"Signaling Design Automation Forum on the 15th of May 2018 - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage\"},\"thumbnailUrl\":\"\",\"datePublished\":\"2018-02-21T12:05:54+00:00\",\"dateModified\":\"2024-06-20T09:34:02+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage\",\"url\":\"\",\"contentUrl\":\"\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#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 on the 15th of May 2018\"}]},{\"@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\/8c9c39a0d3a9071571558e15bb704155\",\"name\":\"Anders Linden\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"caption\":\"Anders Linden\"},\"url\":\"https:\/\/www.prover.com\/author\/anders-linden\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Signaling Design Automation Forum on the 15th of May 2018 - 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\/signaling-design-automation-forum-15th-may-2018\/","og_locale":"en_US","og_type":"article","og_title":"Signaling Design Automation Forum on the 15th of May 2018 - Prover - Engineering a Safer World","og_description":"Involved in Designing and Safety Assessment of Signaling Systems? Then the\u00a0Signaling Design Automation Forum 2018 is something for you! The [...]","og_url":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2018-02-21T12:05:54+00:00","article_modified_time":"2024-06-20T09:34:02+00:00","author":"Anders Linden","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Anders Linden","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/"},"author":{"name":"Anders Linden","@id":"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155"},"headline":"Signaling Design Automation Forum on the 15th of May 2018","datePublished":"2018-02-21T12:05:54+00:00","dateModified":"2024-06-20T09:34:02+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/"},"wordCount":233,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage"},"thumbnailUrl":"","keywords":["Automation Solutions","Formal Methods","Interlocking Design Automation","Railway Events"],"articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/","url":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/","name":"Signaling Design Automation Forum on the 15th of May 2018 - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage"},"thumbnailUrl":"","datePublished":"2018-02-21T12:05:54+00:00","dateModified":"2024-06-20T09:34:02+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#primaryimage","url":"","contentUrl":""},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/signaling-design-automation-forum-15th-may-2018\/#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 on the 15th of May 2018"}]},{"@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\/8c9c39a0d3a9071571558e15bb704155","name":"Anders Linden","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","caption":"Anders Linden"},"url":"https:\/\/www.prover.com\/author\/anders-linden\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2242","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\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=2242"}],"version-history":[{"count":1,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2242\/revisions"}],"predecessor-version":[{"id":6550,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/2242\/revisions\/6550"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=2242"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=2242"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=2242"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}