{"id":14509,"date":"2020-07-22T09:42:40","date_gmt":"2020-07-22T07:42:40","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/"},"modified":"2020-07-22T09:42:49","modified_gmt":"2020-07-22T07:42:49","slug":"clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/","title":{"rendered":"CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019"},"content":{"rendered":"\n<p class=\"lanceur\">CLEARSY attends the <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2745\" target=\"_blank\" rel=\"noopener noreferrer\">third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019.<\/a><\/p>\n\n<p>CLEARSY presents 2 papers:<\/p>\n\n<ul class=\"wp-block-list\"><li>AFFORD19 : The Bourgeois Gentleman, Engineering and Formal Methods, Thierry Lecomte<\/li><li>ID@FM&#8217;19 : Property-Driven Software Analysis Mathieu Comptier, David D\u00e9harbe, Paulin Fournier and Julien Molinero<\/li><\/ul>\n<p>Complementing the academic program, the Industry Day targets industrial development of formal methods, and the FM Tool Exhibition provides a forum for developers of academic or industrial tools that support the use of formal methods in different stages of system and software development.<\/p>\n\n<p>In this exhibition, The CLEARSY Safety Platform is presented. It eases the development and the deployment of safety critical applications, up to SIL4. It relies on the smart integration of formal methods (including mathematical proof), redundant code generation and compilation, and a hardware platform that ensures a safe execution of the software.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: [&hellip;]<\/p>\n","protected":false},"author":18,"featured_media":14504,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[687],"tags":[],"class_list":["post-14509","post","type-post","status-publish","format-standard","has-post-thumbnail","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>CLEARSY attends the third world congress on formal methods: FM&#039;19 from 7 ou 10 october 2019 - 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\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"CLEARSY attends the third world congress on formal methods: FM&#039;19 from 7 ou 10 october 2019 - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2020-07-22T07:42:40+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-07-22T07:42:49+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2019\/10\/Porto-site-FR-1.png\" \/>\n\t<meta property=\"og:image:width\" content=\"850\" \/>\n\t<meta property=\"og:image:height\" content=\"325\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"CLEARSY\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"CLEARSY\" \/>\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\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/\"},\"author\":{\"name\":\"CLEARSY\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/9d903d1fb83dcfaa789ccff2972d95a1\"},\"headline\":\"CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019\",\"datePublished\":\"2020-07-22T07:42:40+00:00\",\"dateModified\":\"2020-07-22T07:42:49+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/\"},\"wordCount\":149,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2019\\\/10\\\/Porto-site-FR-1.png\",\"articleSection\":[\"Exhibitions\\\/conferences\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/\",\"name\":\"CLEARSY attends the third world congress on formal methods: FM'19 from 7 ou 10 october 2019 - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2019\\\/10\\\/Porto-site-FR-1.png\",\"datePublished\":\"2020-07-22T07:42:40+00:00\",\"dateModified\":\"2020-07-22T07:42:49+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2019\\\/10\\\/Porto-site-FR-1.png\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2019\\\/10\\\/Porto-site-FR-1.png\",\"width\":850,\"height\":325,\"caption\":\"third world congress on formal methods Porto\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019\"}]},{\"@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\\\/9d903d1fb83dcfaa789ccff2972d95a1\",\"name\":\"CLEARSY\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"caption\":\"CLEARSY\"},\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/author\\\/tservat\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"CLEARSY attends the third world congress on formal methods: FM'19 from 7 ou 10 october 2019 - 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\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/","og_locale":"en_US","og_type":"article","og_title":"CLEARSY attends the third world congress on formal methods: FM'19 from 7 ou 10 october 2019 - CLEARSY","og_description":"CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/","og_site_name":"CLEARSY","article_published_time":"2020-07-22T07:42:40+00:00","article_modified_time":"2020-07-22T07:42:49+00:00","og_image":[{"width":850,"height":325,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2019\/10\/Porto-site-FR-1.png","type":"image\/png"}],"author":"CLEARSY","twitter_card":"summary_large_image","twitter_misc":{"Written by":"CLEARSY","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/"},"author":{"name":"CLEARSY","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1"},"headline":"CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019","datePublished":"2020-07-22T07:42:40+00:00","dateModified":"2020-07-22T07:42:49+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/"},"wordCount":149,"commentCount":0,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2019\/10\/Porto-site-FR-1.png","articleSection":["Exhibitions\/conferences"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/","url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/","name":"CLEARSY attends the third world congress on formal methods: FM'19 from 7 ou 10 october 2019 - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2019\/10\/Porto-site-FR-1.png","datePublished":"2020-07-22T07:42:40+00:00","dateModified":"2020-07-22T07:42:49+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2019\/10\/Porto-site-FR-1.png","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2019\/10\/Porto-site-FR-1.png","width":850,"height":325,"caption":"third world congress on formal methods Porto"},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/clearsy-attends-the-third-world-congress-on-formal-methods-fm19-from-7-ou-10-october-2019\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"CLEARSY attends the third world congress on formal methods: FM&#8217;19 from 7 ou 10 october 2019"}]},{"@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\/9d903d1fb83dcfaa789ccff2972d95a1","name":"CLEARSY","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","caption":"CLEARSY"},"url":"https:\/\/www.clearsy.com\/en\/author\/tservat\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/14509","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\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=14509"}],"version-history":[{"count":0,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/14509\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/14504"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=14509"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=14509"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=14509"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}