{"id":13796,"date":"2020-07-21T10:18:19","date_gmt":"2020-07-21T08:18:19","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/dagstuhl-seminar-2013\/"},"modified":"2020-07-21T10:18:38","modified_gmt":"2020-07-21T08:18:38","slug":"dagstuhl-seminar-2013","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/","title":{"rendered":"Dagstuhl Seminar 2013"},"content":{"rendered":"\n<p>CLEARSY attended a Seminar,&#8221;<a href=\"https:\/\/www.dagstuhl.de\/no_cache\/en\/program\/calendar\/semhp\/?semnr=13372\" target=\"_blank\" rel=\"noreferrer noopener\">Integration of Tools for Rigorous Software Construction and Analysis<\/a>&#8221; (13372), \u00a0held at Schloss Dagstuhl in Germany (8-13 September 2013).<\/p>\n\n<p>The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by their mathematical rigor and have proved to be industrially viable. A main goal of the seminar is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine related approaches for accomplishing the various tasks in modelling, experimental validation, and mathematical verification of reliable high-quality hardware\/software systems.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CLEARSY attended a Seminar,&#8221;Integration of Tools for Rigorous Software Construction and Analysis&#8221; (13372), \u00a0held at Schloss Dagstuhl in Germany (8-13 [&hellip;]<\/p>\n","protected":false},"author":21,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[687],"tags":[],"class_list":["post-13796","post","type-post","status-publish","format-standard","hentry","category-exhibitions-conferences"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.1.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Dagstuhl Seminar 2013 - CLEARSY<\/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.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Dagstuhl Seminar 2013 - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"CLEARSY attended a Seminar,&#8221;Integration of Tools for Rigorous Software Construction and Analysis&#8221; (13372), \u00a0held at Schloss Dagstuhl in Germany (8-13 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2020-07-21T08:18:19+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-07-21T08:18:38+00:00\" \/>\n<meta name=\"author\" content=\"Marine Vincent\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Marine Vincent\" \/>\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.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/\"},\"author\":{\"name\":\"Marine Vincent\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952\"},\"headline\":\"Dagstuhl Seminar 2013\",\"datePublished\":\"2020-07-21T08:18:19+00:00\",\"dateModified\":\"2020-07-21T08:18:38+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/\"},\"wordCount\":105,\"publisher\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\"},\"articleSection\":[\"Exhibitions\/conferences\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/\",\"url\":\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/\",\"name\":\"Dagstuhl Seminar 2013 - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#website\"},\"datePublished\":\"2020-07-21T08:18:19+00:00\",\"dateModified\":\"2020-07-21T08:18:38+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.clearsy.com\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Dagstuhl Seminar 2013\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#website\",\"url\":\"https:\/\/www.clearsy.com\/en\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.clearsy.com\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\/\/www.clearsy.com\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg\",\"contentUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952\",\"name\":\"Marine Vincent\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g\",\"caption\":\"Marine Vincent\"},\"url\":\"https:\/\/www.clearsy.com\/en\/author\/mvincent\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Dagstuhl Seminar 2013 - CLEARSY","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.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/","og_locale":"en_US","og_type":"article","og_title":"Dagstuhl Seminar 2013 - CLEARSY","og_description":"CLEARSY attended a Seminar,&#8221;Integration of Tools for Rigorous Software Construction and Analysis&#8221; (13372), \u00a0held at Schloss Dagstuhl in Germany (8-13 [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/","og_site_name":"CLEARSY","article_published_time":"2020-07-21T08:18:19+00:00","article_modified_time":"2020-07-21T08:18:38+00:00","author":"Marine Vincent","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Marine Vincent","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/"},"author":{"name":"Marine Vincent","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952"},"headline":"Dagstuhl Seminar 2013","datePublished":"2020-07-21T08:18:19+00:00","dateModified":"2020-07-21T08:18:38+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/"},"wordCount":105,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"articleSection":["Exhibitions\/conferences"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/","url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/","name":"Dagstuhl Seminar 2013 - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2020-07-21T08:18:19+00:00","dateModified":"2020-07-21T08:18:38+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/dagstuhl-seminar-2013\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Dagstuhl Seminar 2013"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952","name":"Marine Vincent","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g","caption":"Marine Vincent"},"url":"https:\/\/www.clearsy.com\/en\/author\/mvincent\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/13796","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/21"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=13796"}],"version-history":[{"count":0,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/13796\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=13796"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=13796"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=13796"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}