{"id":3153,"date":"2024-07-11T16:32:59","date_gmt":"2024-07-11T15:32:59","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?p=3153"},"modified":"2024-07-11T16:39:23","modified_gmt":"2024-07-11T15:39:23","slug":"abz-2024","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/","title":{"rendered":"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods"},"content":{"rendered":"\n<div class=\"wp-block-media-text is-stacked-on-mobile is-vertically-aligned-top\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"590\" height=\"393\" src=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png\" alt=\"\" class=\"wp-image-3154 size-full\" srcset=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png 590w, https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590-300x200.png 300w\" sizes=\"auto, (max-width: 590px) 100vw, 590px\" \/><\/figure><div class=\"wp-block-media-text__content\">\n<p>Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024. The conference aims to promote exchanges within the scientific community on various <a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/\">formal methods<\/a>.<\/p>\n\n\n\n<p>Once again this year, Systerel will co-organize the workshop for users and developers of <a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/rodin-platform\/?hilite=RODIN\">Rodin<\/a>. This platform, dedicated to Event-B development, robustly supports model refinement and mathematical proof. The workshop will enable Rodin users to share their experiences and gain a better understanding of ongoing developments.<\/p>\n\n\n\n<p>Additionally, the paper &#8220;<a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-63790-2_14\">Semantics Formalisation \u2014 From Event-B Contexts to Theories<\/a>,&#8221; co-authored by our expert Laurent Voisin, has been selected for the main conference program.<\/p>\n\n\n\n<p>To learn more about this event: <a href=\"https:\/\/abz-conf.org\/site\/2024\/\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/abz-conf.org\/site\/2024\/<\/a><\/p>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024. <\/p>\n<p>The conference aims to promote exchanges within the scientific community on various formal methods.<\/p>\n","protected":false},"author":22,"featured_media":3154,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14],"tags":[],"class_list":["post-3153","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-formal-methods"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods - Systerel English<\/title>\n<meta name=\"description\" content=\"Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.\" \/>\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.systerel.fr\/en\/news\/abz-2024\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2024-07-11T15:32:59+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-11T15:39:23+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png\" \/>\n\t<meta property=\"og:image:width\" content=\"590\" \/>\n\t<meta property=\"og:image:height\" content=\"393\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"maurin\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"maurin\" \/>\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.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/\"},\"author\":{\"name\":\"maurin\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\"},\"headline\":\"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods\",\"datePublished\":\"2024-07-11T15:32:59+00:00\",\"dateModified\":\"2024-07-11T15:39:23+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/\"},\"wordCount\":122,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/07\\\/ABZ-Conference-2024_590.png\",\"articleSection\":[\"Formal Methods\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/\",\"name\":\"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/07\\\/ABZ-Conference-2024_590.png\",\"datePublished\":\"2024-07-11T15:32:59+00:00\",\"dateModified\":\"2024-07-11T15:39:23+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\"},\"description\":\"Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/07\\\/ABZ-Conference-2024_590.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2024\\\/07\\\/ABZ-Conference-2024_590.png\",\"width\":590,\"height\":393,\"caption\":\"ABZ 2024\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz-2024\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\",\"name\":\"maurin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"caption\":\"maurin\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/maurin\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods - Systerel English","description":"Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.","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.systerel.fr\/en\/news\/abz-2024\/","og_locale":"en_US","og_type":"article","og_title":"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods - Systerel English","og_description":"Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.","og_url":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/","og_site_name":"Systerel English","article_published_time":"2024-07-11T15:32:59+00:00","article_modified_time":"2024-07-11T15:39:23+00:00","og_image":[{"width":590,"height":393,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png","type":"image\/png"}],"author":"maurin","twitter_misc":{"Written by":"maurin","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/"},"author":{"name":"maurin","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4"},"headline":"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods","datePublished":"2024-07-11T15:32:59+00:00","dateModified":"2024-07-11T15:39:23+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/"},"wordCount":122,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png","articleSection":["Formal Methods"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/","url":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/","name":"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png","datePublished":"2024-07-11T15:32:59+00:00","dateModified":"2024-07-11T15:39:23+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4"},"description":"Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/abz-2024\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2024\/07\/ABZ-Conference-2024_590.png","width":590,"height":393,"caption":"ABZ 2024"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/abz-2024\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"ABZ 2024 \u2013 10th International Conference on Rigorous State Based Methods"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4","name":"maurin","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","caption":"maurin"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/maurin\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/3153","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=3153"}],"version-history":[{"count":2,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/3153\/revisions"}],"predecessor-version":[{"id":3158,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/3153\/revisions\/3158"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/3154"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=3153"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=3153"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=3153"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}