ABZ 2021

Submission timeline

• 15 Feb 2021 Abstract registration
• 1 Mar 2021 Full paper 22 Feb 2021 → 1 Mar 2021 +7 days
• 29 Mar 2021 Notification

• 7 Jun 2021 Conference opens

What to submit

Format

14 pages LNCS (research, case study) / 4 pages (short / work in progress / tool) / 14 pages (answer to case studies) / 4 pages extended abstract (industry)

Proceedings

Springer — Paywalled, for-profit

Deadline extended by 20 days (2014), 7 days (2018, 2021). ABZ 2021 will have a main conference track, a case study track, a doctoral symposium, tutorials and workshops. It is planned to continue the cooperation with the journals SCP and STTT. Every two years.

Call for papers

• After a deadline extension ABZ-2021-extended.txt · TXT · shown below
• As first published ABZ-2021.txt · TXT

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at abz2021.uni-ulm.de/.

ABZ 2021 - extended  deadline March 1, 2021


***********************************************************************

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

Ulm University, Ulm, Germany (Online)

June 7-11, 2021

https://abz2021.uni-ulm.de

***********************************************************************

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.

The name ABZ goes back to the first conference in London in 2008, where
the ASM, B and Z conference series were merged into a joint event. In
the following years other formal methods were added, e.g. Alloy in 2010
(Orford, Canada), VDM in 2012 (Pisa, Italy), and TLA+ in 2014
(Toulouse, France). After the also successful 2016 conferences in Linz,
Austria and 2018 in Southampton, UK, it was decided to name the
conference "ABZ: International Conference on Rigorous State Based
Methods", to stress the openness for further state-based formal methods.
Unfortunately, ABZ 2020 had to be postponed to 2021.
With ABZ2020, we experimented the two-steps-conference with a first
selection of submissions published in LNCS proceedings and those
selected papers will be presented at the 2021 session.

Unfortunately, the worldwide corona situation does not allow us to welcome you in Ulm. Instead, ABZ 2021 will go for an online format like many other conferences in the last year. Detailed information on how to participate in the conference will be published on the website. Despite the online format, we hope to continue many fruitful discussions between representatives of the individual methods in the past, which will bring us closer to the common goal of this research community: the creation of reliable and safe software.

ABZ 2021 will have a main conference track, a case study track, a
doctoral symposium, tutorials, and workshops.


----------------
Important dates
----------------

Workshops/Tutorials
------------------------
Tutorial proposal submission: March 01, 2021

Main Track
------------------------
Abstract submission: optional

Paper submission: ABZ 2021 - extended  deadline March 1, 2021

 (including research/short/industry/
case study papers)
Notification: March 29, 2021
Final version: April 12, 2021

Doctoral Symposium
------------------------
Paper submission: April 03, 2021
Notification: April 08, 2021
Final version: April 15, 2021


ABZ 2021 conference: June 7-11, 2021


---------------
Main ABZ Track
---------------
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.


-----------------
Case Study Track
-----------------
As successfully practiced since ABZ 2014, the 8th edition of ABZ will
again include special sessions dedicated to an industrial case study.
Due to the postponement of the ABZ 2020 conference, we decided not to
provide a new case study. Nevertheless, new contributions to the
automotive case study are welcome!

We explicitly invite you to also submit contributions to case studies
from previous conferences, which substantially extend the solutions
presented there in one aspect or another. Possible enhancements could be
new proof techniques, more elegant modeling, generation, verification,
or validation of executable code, etc.

See https://abz2021.uni-ulm.de/case-study for a detailed description of
the case study and links to previous ones.


-------------------
Doctoral Symposium
-------------------
ABZ 2021 will include a doctoral symposium. PhD students are encouraged
to report on their ongoing work or research plans and receive a valuable
feedback from the ABZ community. The papers are not peer reviewed, but
checked by a small PC. Accepted papers are also included in the ABZ
proceedings.

More details can be found at https://abz2021.uni-ulm.de/phd-symposium


--------------------------------
Workshop and Tutorial Proposals
--------------------------------
Workshops and tutorials will be associated with the main event ABZ.
Proposals are solicited in areas related to the conference topics.

A workshop proposal should contain the title of the workshop, a short
description of the scientific content, the names and brief CVs of the
workshop organizers, the intended PC for the workshop, the duration of
the workshop, and the expected number of participants.

A tutorial proposal should contain the title of the tutorial, a short
description of the scientific content, the names and brief CVs of the
tutorial presenters and the duration.

Please submit your proposals to abz2021@uni-ulm.de.


------------
Submissions
------------
Papers should be original work, not published or submitted elsewhere, in
Springer LNCS format, written in English, submitted through EasyChair:
https://easychair.org/conferences/?conf=abz2021

Five kinds of contributions are invited:

• Regular papers:
Full papers of not more than 14 pages, which have to be original,
unpublished and not submitted elsewhere.

• Short papers and tool demonstrations:
An extended abstract of not more than 4 pages is expected and will
be reviewed.

• Application in industry papers:
Reporting on work or experiences on the application of state based
formal methods in industry. An extended abstract of not more than
4 pages is expected and will be reviewed. It is also an interesting
option for industrial practitioners who sometimes face too many
constraints to prepare a full paper.

• Case study papers:
Full papers of not more than 14 pages reporting on the experiments
conducted with any of the state based techniques in the scope of
ABZ 2021. We also expect a link to a webpage, where the produced
models can be downloaded.

• Contribution to doctoral symposium:
Short papers of not more than 4 pages

All page limits include references and appendices. The deadlines for the
different kinds of contributions see above. Each paper will be evaluated
by at least three members of the Programme Committee.

Accepted submissions will appear in the Springer LNCS proceedings. It is
planned to continue the cooperation with the journals SCP and STTT, where
in the past extended versions of selected papers were invited for
publication in special issues.

For each accepted paper, at least one author is expected to present the
paper at the conference as a registered participant.


-------------------
Organization
-------------------

Conference Chairs:
Alexander Raschke, Ulm University, Ulm, Germany
Dominique Méry, LORIA-Université de Lorraine, Nancy, France

Publicity Chair:
Jakob Pietron, Ulm University, Ulm, Germany


-------------------
Program Committee
-------------------

Yamine Ait Ameur, IRIT/INPT-ENSEEIHT
Paolo Arcaini, National Institute of Informatics
Richard Banach, The University of Manchester
Egon Boerger, Dipartimento di Informatica, Università di Pisa
Eerke Boiten, De Montfort University, Leicester, UK
Michael Butler, University of Southampton
Andrew Butterfield, Trinity College Dublin
David Deharbe, ClearSy System Engineering
Juergen Dingel, Queen's University
Flavio Ferrarotti, Software Competence Centre Hagenberg
Mamoun Filali-Amine, IRIT
Marc Frappier, Université de Sherbrooke
Vincenzo Gervasi, University of Pisa
Gudmund Grov, Norwegian Defence Research Establishment (FFI)
Stefan Hallerstede, Aarhus University
Klaus Havelund, Jet Propulsion Laboratory
Ian J. Hayes, The University of Queensland
Thai Son Hoang, University of Southampton
Frank Houdek, Mercedes Benz AG, Germany
Alexei Iliasov, Newcastle University
Felix Kossak, Software Competence Center Hagenberg GmbH
Regine Laleau, Paris Est Creteil University
Thierry Lecomte, ClearSy
Alexei Lisitsa, University of Liverpool
Atif Mashkoor, SCCH
Jackson Mayo, Sandia, National Laboratories
Stephan Merz, Inria, Nancy
Stefan Mitsch, Carnegie Mellon University
Rosemary Monahan, Maynooth University, Ireland
Mohamed Mosbah, LaBRI - University of Bordeaux
Cesar Munoz, NASA
Shin Nakajima, National Institute of Informatics
Uwe Nestmann, TU Berlin
Jose Oliveira, University of Minho
Philipp Paulweber, Vienna University of Technology
Luigia Petre, Åbo Akademi University
Andreas Prinz, University of Agder
Shengchao Qin, Teesside, University
Philippe Queinnec, IRIT - Université de Toulouse
Elvinia Riccobene, Computer Science Dept., University of Milan
Victor Rivera, Australian National University
Thomas Santen, TU Berlin
Patrizia Scandurra, DIGIP - University of Bergamo
Gerhard Schellhorn, Universitaet Augsburg
Klaus-Dieter Schewe, Zhejiang University
Steve Schneider, University of Surrey
Jun Sun, Singapore, Management University
Maurice H. ter Beek, ISTI-CNR, Pisa, Italy
Laurent Voisin, Systerel
Virginie Wiels, ONERA / DTIM
Uwe Zdun, University of Vienna
Wolf Zimmermann, Martin Luther University Halle-Wittenberg



For further questions concerning ABZ 2021, please contact us at
abz2021@uni-ulm.de