{"id":3194,"date":"2017-09-18T15:06:34","date_gmt":"2017-09-18T14:06:34","guid":{"rendered":"http:\/\/www.atelierb.eu\/2017\/09\/18\/conference-internationale-sbmf-2017\/"},"modified":"2017-09-18T15:22:53","modified_gmt":"2017-09-18T14:22:53","slug":"conference-internationale-sbmf-2017","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/","title":{"rendered":"International conference SBMF 2017"},"content":{"rendered":"<p>ClearSy will participate to the international conference SBMF 2017 (<a class=\"moz-txt-link-freetext\" href=\"http:\/\/sbmf2017.cin.ufpe.br\/\">http:\/\/sbmf2017.cin.ufpe.br\/<\/a>) on formal methods that will take place on November 27-December 1 2017 in Recife (Brazil).<br \/>\nAt this occasion, ClearSy will present a scientific article entitled &#8220;Applying a Formal Method in Industry: a 25-Year Trajectory&#8221;.<br \/>\nMoreover, a dedicated training session will be organized during ETMF 2017 (Escola de Inform\u00e1tica Te\u00f3rica e M\u00e9todos Formais) to teach students how to model with the B method, how to use the abstract model editor and how to develop safety-critical applications with the LCHIP platform.<\/p>\n<p><a href=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2017\/09\/SBMF-2017.jpg\"><img loading=\"lazy\" class=\"aligncenter wp-image-3191 size-thumbnail\" src=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2017\/09\/SBMF-2017-500x500.jpg\" alt=\"SBMF 2017\" width=\"500\" height=\"500\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>ClearSy will participate to the international conference SBMF 2017 (http:\/\/sbmf2017.cin.ufpe.br\/) on formal methods that will take place on November 27-December 1 2017 in Recife (Brazil). At this occasion, ClearSy will present a scientific article entitled &#8220;Applying a Formal Method in Industry: a 25-Year Trajectory&#8221;. Moreover, a dedicated training session will be organized during ETMF 2017 [&hellip;]<\/p>\n","protected":false},"author":263,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"amp_status":""},"categories":[4],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v14.8 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>International conference SBMF 2017 | Atelier B<\/title>\n<meta name=\"description\" content=\"ClearSy will participate to the international conference SBMF 2017 (http:\/\/sbmf2017.cin.ufpe.br\/) on formal methods that will take place on November\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/2017\/09\/18\/conference-internationale-sbmf-2017\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"International conference SBMF 2017 | Atelier B\" \/>\n<meta property=\"og:description\" content=\"ClearSy will participate to the international conference SBMF 2017 (http:\/\/sbmf2017.cin.ufpe.br\/) on formal methods that will take place on November\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:published_time\" content=\"2017-09-18T14:06:34+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2017-09-18T14:22:53+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2017\/09\/SBMF-2017-500x500.jpg\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2017\/09\/SBMF-2017.jpg\",\"width\":1280,\"height\":718,\"caption\":\"SBMF 2017\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/\",\"name\":\"International conference SBMF 2017 | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/#primaryimage\"},\"datePublished\":\"2017-09-18T14:06:34+00:00\",\"dateModified\":\"2017-09-18T14:22:53+00:00\",\"author\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/c47a7afc423c661db2f42d246dd221e4\"},\"description\":\"ClearSy will participate to the international conference SBMF 2017 (http:\/\/sbmf2017.cin.ufpe.br\/) on formal methods that will take place on November\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"name\":\"News\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2017\/09\/18\/conference-internationale-sbmf-2017\/\",\"name\":\"International conference SBMF 2017\"}}]},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/c47a7afc423c661db2f42d246dd221e4\",\"name\":\"ClearSy\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#personlogo\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/df8680dd3aae4324cb945b4a81fd2b86?s=96&d=mm&r=g\",\"caption\":\"ClearSy\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3194\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/post\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/263\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=3194"}],"version-history":[{"count":1,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3194\/revisions\/"}],"predecessor-version":[{"id":3196,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3194\/revisions\/3196\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=3194"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/categories\/?post=3194"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/tags\/?post=3194"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}