{"id":3419,"date":"2019-06-10T17:43:23","date_gmt":"2019-06-10T16:43:23","guid":{"rendered":"https:\/\/www.atelierb.eu\/?p=3419"},"modified":"2019-06-10T18:20:52","modified_gmt":"2019-06-10T17:20:52","slug":"afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/","title":{"rendered":"AFADL &#8211; GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B"},"content":{"rendered":"<p><span style=\"color: #333333\"><strong>The 18th edition of AFADL<\/strong> days (<i>Approches Formelles dans l&#8217;Assistance au D\u00e9veloppement Logiciel<\/i> in french or Formal approaches to support software development) will take place in ENSEEIHT from the 11th to the 14th of June 2019. It will be in the same time as the annual rally of <strong>GDR GPL<\/strong> (<i>G\u00e9nie de la Programmation et du logiciel<\/i> in French or Software engineering and programming)<\/span><\/p>\n<p><span style=\"color: #333333\">CLEARSY will be glad to welcome you at its booth during this national gathering in Toulouse from the 11th to the 14th of June 2019.<\/span><\/p>\n<p><span style=\"color: #333333\">GDR GPL\u00a0 is a unit of the department INS2I of the CNRS. It gathers the whole community of french scientists interested in Software engineering and programming.<br \/>\n<\/span><\/p>\n<p><span style=\"color: #333333\">CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B. The presentation will take place at 12pm on Friday the 14th of June 2019. <\/span><\/p>\n<p><strong><span style=\"color: #333333\">Come to meet us!<\/span><\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The 18th edition of AFADL days (Approches Formelles dans l&#8217;Assistance au D\u00e9veloppement Logiciel in french or Formal approaches to support software development) will take place in ENSEEIHT from the 11th to the 14th of June 2019. It will be in the same time as the annual rally of GDR GPL (G\u00e9nie de la Programmation et [&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":[5,4],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v14.8 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>AFADL - GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B | Atelier B<\/title>\n<meta name=\"description\" content=\"The 18th edition of AFADL days (Approches Formelles dans l&#039;Assistance au D\u00e9veloppement Logiciel in french or Formal approaches to support software\" \/>\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\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"AFADL - GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B | Atelier B\" \/>\n<meta property=\"og:description\" content=\"The 18th edition of AFADL days (Approches Formelles dans l&#039;Assistance au D\u00e9veloppement Logiciel in french or Formal approaches to support software\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:published_time\" content=\"2019-06-10T16:43:23+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2019-06-10T17:20:52+00:00\" \/>\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\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/\",\"name\":\"AFADL - GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2019-06-10T16:43:23+00:00\",\"dateModified\":\"2019-06-10T17:20:52+00:00\",\"author\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/c47a7afc423c661db2f42d246dd221e4\"},\"description\":\"The 18th edition of AFADL days (Approches Formelles dans l'Assistance au D\\u00e9veloppement Logiciel in french or Formal approaches to support software\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/#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\/event\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/category\/event\/\",\"name\":\"Event\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2019\/06\/10\/afadl-gdr-gpl-clearsy-will-give-a-presentation-on-the-integration-of-third-party-tools-for-automatic-proof-in-atelier-b\/\",\"name\":\"AFADL &#8211; GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B\"}}]},{\"@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\/3419\/"}],"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=3419"}],"version-history":[{"count":1,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3419\/revisions\/"}],"predecessor-version":[{"id":3420,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3419\/revisions\/3420\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=3419"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/categories\/?post=3419"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/tags\/?post=3419"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}