{"id":399,"date":"2019-08-20T18:36:10","date_gmt":"2019-08-20T16:36:10","guid":{"rendered":"http:\/\/members.loria.fr\/Mery\/?p=399"},"modified":"2019-08-20T18:50:44","modified_gmt":"2019-08-20T16:50:44","slug":"abz2020-n7th-international-conference-on-rigorous-state-based-methods","status":"publish","type":"post","link":"https:\/\/members.loria.fr\/Mery\/abz2020-n7th-international-conference-on-rigorous-state-based-methods\/","title":{"rendered":"ABZ2020  &#8211; 7th International Conference on  Rigorous State Based Methods"},"content":{"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><strong>Important Dates<\/strong><\/p>\n<ul>\n<li>Workshop proposal : 01.11.19<\/li>\n<li>Tutorial proposal : 16.02.20<\/li>\n<li><strong>Case study abstract : 29.11.19<\/strong><\/li>\n<li>Paper abstract : 13.01.20<\/li>\n<li>Conference : 25. &#8211; 29.05.20<\/li>\n<\/ul>\n<p><a href=\"https:\/\/abz2020.uni-ulm.de\/case-study\"><strong>Case Study<\/strong><\/a><\/p>\n<p>As successfully practiced at ABZ 2014, ABZ 2016, and ABZ 2018, the 7th edition of ABZ will include again special sessions dedicated to a shared real-life case study. The objective of this session is to enrich the set of case studies developed with ABZ methods with a practical and real-life case study. After the success of the \u201cLanding Gear\u201d case study at ABZ 2014 in the aeronautical context, the \u00ab\u00a0Hemodialysis Machine\u00a0\u00bb case study at ABZ 2016 in the medical domain, and the \u00ab\u00a0Hybrid ERTMS\/ETCS\u00a0\u00bb at ABZ 2018 in the railway domain, <a href=\"https:\/\/abz2020.uni-ulm.de\/case-study\">this time we defined a real-life case study issued from the automotive domain<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\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>Important Dates<\/p>\n<ul>\n<li>Workshop proposal : 01.11.19<\/li>\n<li>Tutorial proposal : 16.02.20<\/li>\n<li>Case study abstract : 29.11.19<\/li>\n<li>Paper abstract : 13.01.20<\/li>\n<li>Conference : 25.<\/li>\n<\/ul>\n","protected":false},"author":120,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,1],"tags":[],"class_list":["post-399","post","type-post","status-publish","format-standard","hentry","category-actualite","category-non-classe"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/399","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=399"}],"version-history":[{"count":9,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/399\/revisions"}],"predecessor-version":[{"id":408,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/399\/revisions\/408"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/media?parent=399"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/categories?post=399"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/tags?post=399"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}