{"id":13986,"date":"2020-07-21T13:13:48","date_gmt":"2020-07-21T11:13:48","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/international-symposium-on-software-reliability-engineering\/"},"modified":"2020-07-21T13:13:57","modified_gmt":"2020-07-21T11:13:57","slug":"international-symposium-on-software-reliability-engineering","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/","title":{"rendered":"International Symposium on Software Reliability Engineering"},"content":{"rendered":"\n<p>At the occasion of the ISSRE 2016 conference (27th International Symposium on Software Reliability Engineering), CLEARSY has been invited to share its return of experience in using formal methods for safe and secure industrial applications. This conference will be held in Ottawa (Canada) from October 23-27, 2016.<\/p>\n\n<p>This presentation will complete the two other keynotes given by Rajeev Joshi (NASA Jet Propulsion Laboratory) and Philip Koopman (Carnegy Mellon University).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>At the occasion of the ISSRE 2016 conference (27th International Symposium on Software Reliability Engineering), CLEARSY has been invited to [&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-13986","post","type-post","status-publish","format-standard","hentry","category-exhibitions-conferences"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>International Symposium on Software Reliability Engineering - 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\/international-symposium-on-software-reliability-engineering\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"International Symposium on Software Reliability Engineering - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"At the occasion of the ISSRE 2016 conference (27th International Symposium on Software Reliability Engineering), CLEARSY has been invited to [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2020-07-21T11:13:48+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-07-21T11:13:57+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<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/\"},\"author\":{\"name\":\"Marine Vincent\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/bb36c09077314446e4a301bf07c1c952\"},\"headline\":\"International Symposium on Software Reliability Engineering\",\"datePublished\":\"2020-07-21T11:13:48+00:00\",\"dateModified\":\"2020-07-21T11:13:57+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/\"},\"wordCount\":73,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"articleSection\":[\"Exhibitions\\\/conferences\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/\",\"name\":\"International Symposium on Software Reliability Engineering - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2020-07-21T11:13:48+00:00\",\"dateModified\":\"2020-07-21T11:13:57+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/international-symposium-on-software-reliability-engineering\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"International Symposium on Software Reliability Engineering\"}]},{\"@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:\\\/\\\/secure.gravatar.com\\\/avatar\\\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g\",\"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":"International Symposium on Software Reliability Engineering - 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\/international-symposium-on-software-reliability-engineering\/","og_locale":"en_US","og_type":"article","og_title":"International Symposium on Software Reliability Engineering - CLEARSY","og_description":"At the occasion of the ISSRE 2016 conference (27th International Symposium on Software Reliability Engineering), CLEARSY has been invited to [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/","og_site_name":"CLEARSY","article_published_time":"2020-07-21T11:13:48+00:00","article_modified_time":"2020-07-21T11:13:57+00:00","author":"Marine Vincent","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Marine Vincent"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/"},"author":{"name":"Marine Vincent","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952"},"headline":"International Symposium on Software Reliability Engineering","datePublished":"2020-07-21T11:13:48+00:00","dateModified":"2020-07-21T11:13:57+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/"},"wordCount":73,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"articleSection":["Exhibitions\/conferences"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/","url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/","name":"International Symposium on Software Reliability Engineering - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2020-07-21T11:13:48+00:00","dateModified":"2020-07-21T11:13:57+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/international-symposium-on-software-reliability-engineering\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"International Symposium on Software Reliability Engineering"}]},{"@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:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g","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\/13986","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=13986"}],"version-history":[{"count":0,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/13986\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=13986"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=13986"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=13986"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}