The conference will be co-located with iFM 2012 in order to host a joint conference in honour of Egon Börger's 65th Birthday. ABZ 2012 is organized by CNR/ISTI and will take place at the Area della Ricerca del CNR in Pisa on June 18-22, 2012.

The ABZ conference is dedicated to the cross-fertilization of five related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, 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.
Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, VDM, Z 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 rigour 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.
Two kinds of contributions are invited:
Research papers: full papers of not more than 14 pages in LNCS format, which have to be original, unpublished and not submitted elsewhere.
Short presentations of work in progress, industrial experience reports and tool demonstrations. This is an excellent opportunity for Ph.D. students to present and validate their work in progress. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper. An extended abstract of not more than 4 pages is expected and will be reviewed. A volume of accepted extended abstracts will be made available as a Technical Report with an ISBN number, and a 1-page abstract of each presentation will be published in the Proceedings.
Contributions should be submitted electronically in PDF at the ABZ 2012 conference Easy-Chair web site.
The papers must be prepared using the SPRINGER LNCS style. All accepted papers will be published in a volume of Springer's LNCS series to be distributed at the conference. An improved version of a selected number of contributions will be published in a special issue of the journal Science of Computer Programming.
The conference will be preceded by a day devoted to workshops and tutorials.

Invited Speakers
Prof. Egon Börger, University of Pisa, Italy
Prof. Muffy Calder, University of Glasgow, UK
Prof. Ian J. Hayes, University of Queensland, Australia

Programme Committee
Important Dates

callABZ call for papers pdf callABZ call for papers txt