posted by user: jpbowen || 9716 views || tracked by 14 users: [display]

ABZ 2012 : 3rd International ABZ 2012 Conference: Abstract State Machines (ASM), Alloy, B, VDM, Z


Conference Series : Abstract State Machines, Alloy, B and Z
When Jun 18, 2012 - Jun 22, 2012
Where CNR, Pisa, Italy
Abstract Registration Due Feb 3, 2012
Submission Deadline Jan 14, 2012
Notification Due Mar 1, 2012
Final Version Due Mar 20, 2012
Categories    computer science   software engineering   formal methods   formal specification

Call For Papers

3rd International ABZ 2012 Conference
Abstract State Machines (ASM), Alloy, B, VDM, Z

June 18-22, 2012
CNR, Pisa, Italy
(in conjunction with IFM 2012)

Workshop proposal submissions: October 15, 2011
Workshop proposal notifications: November 30, 2011
Paper submission: January 14, 2012
Extended abstracts submission (for short presentations): February 3, 2012
Notification of acceptance/rejection: March 1, 2012
Final Version due: March 20, 2012
Tutorial proposal submissions: to be announced
Main ABZ 2012 conference: June 19-22, 2012


For questions concerning ABZ 2012, contact:

Elvinia Riccobene, University of Milan, Italy (
Steve Reeves, University of Waikato, New Zealand (



The ABZ 2012 conference is organized in Pisa (Italy) in
conjunction with iFM 2012 and is being held in honor of Prof.
Egon Börger's 65th birthday.

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. It builds on the success of the first ABZ
conference held in London in 2008, where the ASM, B and Z
conference series merged into a single event, and the success of
the second ABZ conference held in Orford (Canada) where the
Alloy community joined the event. The novelty of the 3rd
international event is the inclusion of the VDM community in the
ABZ conference series.

Contributions are solicited on all aspects of the theory and
applications of ASMs, Alloy, B, VDM, Z and related 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, and mathematical
verification of reliable high-quality hardware/software systems.

Although organized logistically as a single, integral event,
editorial control of the joint conference remains vested in five
separate program committees, which will respectively determine
its ASM, Alloy, B, VDM and Z content, to be presented in
parallel conference tracks with a schedule to allow the
participants to switch between the sessions. Proposals are
invited for workshops and tutorials to take place the day before
the main conference.



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. The LNCS volume of the Conference Proceedings will
be distributed at the conference. Journal Special Issue: an
improved version of a selected number of contributions will be
published in a special issue of the journal Science of Computer



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



Workshop/Tutorial will be associated to the main event iFM/ABZ.
Proposals are solicited in areas related to the conference
topics. In particular workshops on challenging new, emerging
fields are sought. Proposals should be sent to the workshop
chairs: Maurice ter Beek, ISTI-CNR, Pisa, Italy
( Angelo Gargantini, University of
Bergamo, Italy (

The deadline for submissions is October 15, 2011.
Notifications will be sent by November 30, 2011.


John Derrick, University of Sheffield, UK
Stefania Gnesi, ISTI-CNR, Pisa, Italy

ASM Track Chair: Elvinia Riccobene, University of Milan, Italy

B Track Chair: Michael Leuschel, University of Düsseldorf,
Germany (

VDM Track Chair: John Fitzgerald, Newcastle University, UK

Z & Alloy Track Chair: Steve Reeves, University of Waikato, New
Zealand (

Jean-Raymond Abrial, Marseille, France
Yamine Ait-Ameur, IRIT-ENSEEIHT, Toulouse, France
Rob Arthan, Lemma 1 Ltd., UK
Nick Battle, Fujitsu Services, UK
Juan Bicarregui, STFC, UK
Dines Bjorner, DTU Informatics, Denmark
Eerke Boiten, University of Kent, UK
Jonathan P. Bowen, Museophile Limited, UK
Ana Cavalcanti, University of York, UK
David Deharbe, Federal University of RIo Grande do Norte, Brazil
John Derrick, University of Sheffield, UK
Juergen Dingel, Queen's University, Canada
Andriy Dunets, Universität Augsburg, Germany
Steve Dunne, University of Teesside, UK
Kerstin Eder, University of Bristol, UK
Roozbeh Farahbod, Researcher at Defence R&D Canada, Canada
Kathi Fisler, Worcester Polytechnic Institute, USA
John Fitzgerald, Newcastle University, UK
Marc Frappier, University of Sherbrooke, Canada
Vincenzo Gervasi, University of Pisa, Italy
Uwe Glaesser, Simon Fraser University, Canada
Anthony Hall, independent consultant, UK
Stefan Hallerstede, University of Aarhus, Denmark
Klaus Havelund, Jet Propulsion Laboratory/NASA, USA
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Thai Son Hoang, ETH Zürich, Switzerland
Jeremy Jacob, University of York, UK
Cliff Jones, Newcastle University, UK,
Sarfraz Khurshid, University of Texas at Austin, USA
Régine Laleau, Univesity of Paris-Est, France
Peter Gorm Larsen, Aarhus School of Engineering, Denmark
Daniel Le Berre, Université d'Artois, France
Thierry Lecomte, ClearSy, France
Michael Leuschel, University of Düsseldorf, Germany
Darko Marinov, University of Illinois, USA
Christophe Métayer, Systerel, France
José Oliveira, Minho University, Portugal
Marie-Laure Potet, IMAG Grenoble, France
Andreas Prinz, Agder University College, Norway
Alexander Raschke, University of ULM, Germany
Steve Reeves, University of Waikato, New Zealand
Burkhardt Renz, University of Applied Sciences Gieben-Friedberg, Germany
Elvinia Riccobene, University of Milan, Italy
Ken Robinson, Univ. of New South Wales, Australia
Shin Sahara, TAO Bears LLC and CSK, Japan
Thomas Santen, European Microsoft Innovation Center, Aachen, Germany
Patrizia Scandurra, University of Bergamo, Italy
Gerhard Schellhorn, University of Augsburg, Germany
Klaus-Dieter Schewe, SCCH, Linz, Austria
Steve Schneider, University of Surrey, UK
Colin Snook, University of Southampton, UK
Kevin Sullivan, University of Virginia, USA
Mana Taghdiri, Karlsruhe Institute of Technology, Germany
Bernard Thalheim, University of Kiel, Germany
Margus Veanes, Microsoft Research, USA
Marcel Verhoef, CHESS BV, Netherlands
Kirsten Winter, University of Queensland, Australia



The conference will take place in Pisa at the Auditorium of the
CNR Research Area. Address: Via Moruzzi, 1, 56124 Pisa,
Tuscany, Italy Further details on the venue will be announced on
the workshop site


ASM User Group
Alloy User Community
Association de Pilotage des Conférences B
Overture Community (VDM)
Z User Group

Related Resources

VMCAI 2022   Verification, Model Checking and Abstract Interpretation
GreeNet Symposium - SGNC 2022   11th Symposium on Green Networking and Computing (SGNC 2020)
Living Machines 2022   Living Machines. The 11th International Conference on Biomimetic and Biohybrid Systems
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
EvoCompAISecurity&Privacy 2022   Evolutionary Computing for AI-Driven Security and Privacy: Advancing the state-of-the-art applications
AMS 2022   Advanced Medical Sciences: An International Journal
MPLR 2022   19th International Conference on Managed Programming Languages & Runtimes
IEEE SEAI--EI Compendex, Scopus 2022   2022 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2022)--EI Compendex, Scopus
ISCAI 2022   2022 4th International Symposium on Computing and Artificial Intelligence (ISCAI 2022)
SEFM 2022   20th International Conference on Software Engineering and Formal Methods