{"id":13697,"date":"2020-07-20T23:52:31","date_gmt":"2020-07-20T21:52:31","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/"},"modified":"2020-07-20T23:52:38","modified_gmt":"2020-07-20T21:52:38","slug":"teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/","title":{"rendered":"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010"},"content":{"rendered":"\n<p>CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 hour courses will focus on introducing students to the method B.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 [&hellip;]<\/p>\n","protected":false},"author":21,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[687],"tags":[],"class_list":["post-13697","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>Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 - 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\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2020-07-20T21:52:31+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-07-20T21:52: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<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/\"},\"author\":{\"name\":\"Marine Vincent\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/bb36c09077314446e4a301bf07c1c952\"},\"headline\":\"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010\",\"datePublished\":\"2020-07-20T21:52:31+00:00\",\"dateModified\":\"2020-07-20T21:52:38+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/\"},\"wordCount\":40,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"articleSection\":[\"Exhibitions\\\/conferences\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/\",\"name\":\"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2020-07-20T21:52:31+00:00\",\"dateModified\":\"2020-07-20T21:52:38+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/exhibitions-conferences\\\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010\"}]},{\"@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":"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 - 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\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/","og_locale":"en_US","og_type":"article","og_title":"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 - CLEARSY","og_description":"CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/","og_site_name":"CLEARSY","article_published_time":"2020-07-20T21:52:31+00:00","article_modified_time":"2020-07-20T21:52:38+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\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/"},"author":{"name":"Marine Vincent","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952"},"headline":"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010","datePublished":"2020-07-20T21:52:31+00:00","dateModified":"2020-07-20T21:52:38+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/"},"wordCount":40,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"articleSection":["Exhibitions\/conferences"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/","url":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/","name":"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010 - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2020-07-20T21:52:31+00:00","dateModified":"2020-07-20T21:52:38+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/exhibitions-conferences\/teaching-formal-methods-at-the-ecole-des-mines-of-gardanne-in-2010\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010"}]},{"@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\/13697","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=13697"}],"version-history":[{"count":0,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/13697\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=13697"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=13697"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=13697"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}