resurchify Conferences Journals Workshops Seminars

ABZ 2021 : 8th International Conference on Rigorous State Based Methods

Event Date: Jun 07, 2021 - Jun 11, 2021
Abstract Submission Deadline: Feb 15, 2021
Submission Deadline: Feb 22, 2021
Notification of Acceptance: Mar 29, 2021
Camera Ready Version Due : Apr 12, 2021


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.

Call For Paper

Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z and other state-based rigour approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems. Although organized to host several formal methods in a single event, editorial control of the joint conference is vested in one integrated program committee.

Hotel Deals

Check Other Conferences, Workshops, and Seminars


ESOP 2021 : 30th European Symposium on Programming
Mar 27, 2021
FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems
Dec 07, 2020
FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering
Tehran, Iran
May 19, 2021
ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
Nov 28, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020


ICDEL 2021 : The 6th International Conference on Distance Education and Learning
Shanghai, China
May 21, 2021
CCSIT 2021 : 11th International Conference on Computer Science and Information Technology
Vancouver, Canada
May 29, 2021
CSEIT 2020 : 7th International Conference on Computer Science, Engineering and Information Technology
Copenhagen, Denmark
Sep 26, 2020
NLP 2020 : 9th International Conference on Natural Language Processing
Zurich, Switzerland
Nov 21, 2020
TVCG 2021 : Call for VIS/VR/CG Surveys