{"id":492,"date":"2022-10-22T09:12:04","date_gmt":"2022-10-22T07:12:04","guid":{"rendered":"https:\/\/members.loria.fr\/Mery\/?p=492"},"modified":"2022-10-22T09:20:55","modified_gmt":"2022-10-22T07:20:55","slug":"abz-2023-call-for-papers-tutorials-workshops","status":"publish","type":"post","link":"https:\/\/members.loria.fr\/Mery\/abz-2023-call-for-papers-tutorials-workshops\/","title":{"rendered":"Welcome to ABZ 2023, \u00a0May 30- June 2 \u00a02023, LORIA (CNRS, INRIA,Universit\u00e9 de Lorraine),  \u00a0Nancy, France"},"content":{"rendered":"<h3 class=\"entry-title\"><\/h3>\n<div class=\"entry-content\">\n<p>The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.<\/p>\n<p>ABZ 2023 will propose a \u00a0scientific programme \u00a0with scientific talks based on accepted research papers, keynote speakers, tutorials, \u00a0satellite workshops.<\/p>\n<p><a href=\"http:\/\/abz2023.loria.fr\">Please visit the website abz2023.loria.fr<\/a><\/p>\n<\/div>\n<p>&nbsp;<\/p>\n<div class=\"entry-content\">\n<p>&nbsp;<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.<\/p>\n<p>ABZ 2023 will propose a \u00a0scientific programme \u00a0with scientific talks based on accepted research papers, keynote speakers, tutorials, \u00a0satellite workshops.<\/p>\n<p><a href=\"http:\/\/abz2023.loria.fr\">Please visit the website abz2023.loria.fr<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"author":120,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-492","post","type-post","status-publish","format-standard","hentry","category-non-classe"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/492","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/users\/120"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/comments?post=492"}],"version-history":[{"count":7,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/492\/revisions"}],"predecessor-version":[{"id":499,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/492\/revisions\/499"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/media?parent=492"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/categories?post=492"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/tags?post=492"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}