[ecoop-info] ABZ2016 - Final CFP

Mon Jan 11 10:26:01 CET 2016

*ABZ 2016*

*5th International ABZ (ASM, Alloy, B, TLA, VDM, Z) Conference*

*May 23-27, 2016*

*Linz, Austria*

*http://www.cdcc.faw.jku.at/ABZ2016/* <http://www.cdcc.faw.jku.at/ABZ2016/>

----------------------------------------------------------------------------------------------

*Call for Papers, Answers to the case study, Workshops, Tutorials*

----------------------------------------------------------------------------------------------

The ABZ conference is dedicated to the cross-fertilization of six related
state-based and machine-based formal methods, 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. 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, the second ABZ 2010
conference held in Orford (Canada), where the Alloy community joined the
event, the ABZ 2012 held in Pisa (Italy), which saw the inclusion of the
VDM community, and ABZ 2014 held in Toulouse (France), which brought the
inclusion of the TLA community into the ABZ conference series. The ABZ 2016
conference will be held in Linz, Austria.

ABZ 2016 will have a main conference track, a case study track, tutorials
and workshops. In addition, there will be four exciting keynotes given by

*Richard Banach*, University of Manchester

*Egon Börger*, University of Pisa

*Thierry Lecomte*, Clearsy

*Klaus Reichl*, Thales Group

-----------------------

*Main ABZ track*

-----------------------

Contributions are solicited on all aspects of the theory and applications
of ASMs, Alloy, B, TLA, 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 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 with ASM, Alloy, B, TLA, VDM and Z, in a single event, editorial
control of the joint conference is vested in one integrated program
committee, which will respectively determine its ASM, Alloy, B, TLA, VDM
and Z content, to be presented in parallel conference tracks with a
schedule to allow the participants to switch between the sessions.

--------------------------

*Case Study Track*

--------------------------

As successfully practiced at ABZ 2014, the 5th edition of ABZ will again
include special sessions dedicated to a shared real-life case study among
all the methods addressed in ABZ 2016. 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 “Landing Gear” case
study at ABZ 2014 in the aeronautical context this time the organizers
defined a real-life case study issued from the medical domain with
challenging safety requirements. The ABZ 2016 case study concerns the
control of a hemodialysis machine. See http://www.cdcc.faw.jku.at/ABZ2016
<http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf>/ for a detailed
description of this case study.

-------------------------------------------------

*Tutorial Proposals*

-------------------------------------------------

Tutorials will be associated with the main event ABZ. Proposals are
solicited in areas related to the conference topics. 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.

Tutorial proposal should be sent to the tutorial chairs:

Vincenzo Gervasi, Università di Pisa, Pisa, Italy (gervasi at di.unipi.it
<file://fscompany.scch.at/SCCH$/UserHome/mashkoor/Papers/ABZ%202016%20-%20case%20study/gervasi@di.unipi.it>
)

Michael Leuschel, Universität Düsseldorf, Düsseldorf, Germany (
leuschel at cs.uni-duesseldorf.de
<file://fscompany.scch.at/SCCH$/UserHome/mashkoor/Papers/ABZ%202016%20-%20case%20study/leuschel@cs.uni-duesseldorf.de>
)

The deadline for submissions is February 15, 2016. Notifications will be
sent by March 14, 2016.

-----------------------

*Call For Papers*

-----------------------

Four 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, and tool demonstrations:
this is an excellent opportunity for Ph.D. students to present and validate
their work in progress. An extended abstract of not more than 4 pages is
expected and will be reviewed.

•      Answers to case study papers: full papers of not more than 14 pages
in LNCS format reporting on the experiments conducted with any of the state
based techniques in the scope of ABZ 2014.

•      Industry papers: 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.

Contributions should be submitted electronically in PDF at the ABZ 2016
conference submission website (Easy Chair)
<https://easychair.org/account/signin.cgi?key=29404540.obMFJ8ALjoGLIy1U>.
The papers must be prepared using the SPRINGER LNCS style. The answers to
case study should be submitted electronically in PDF at the ABZ 2016 case
study submission website (Easy Chair).
<https://easychair.org/account/signin.cgi?key=29404577.yIaUSShtmGzEG5ZF>

All research and short accepted papers will be published in a volume of
Springer's LNCS series. The answers to case study papers and the
application in industry papers will be published in a volume of Springer's
CCIS series. The two volumes will be distributed at the conference.

It is planned that an improved version of a selected number of
contributions will be published in a special issue of the journal Science
of Computer Programming for the research papers and in a special issue of
the Software Tools and Technology Transfer journal for the answers to case
study papers (to be confirmed).

-----------------------

*Important Dates*

-----------------------

Registration of papers with title, authors and abstract: January 15, 2016

Research paper and answers to case study submission: January 22, 2016

Short paper submission: February 4, 2016

Acceptance notification (research papers, case studies & short papers):
February 22, 2016

Final Camera-ready Version due: March 14, 2016

Tutorial proposal submissions: February 15, 2016

Tutorial proposal notifications: March 14, 2016

ABZ 2016 conference: May 23-27, 2016

-------------------

*Organization*

-------------------

*Conference Chairs*

Michael BUTLER, University of Southampton, Southampton, UK

Klaus-Dieter SCHEWE, Johannes-Kepler-Universität Linz and Software
Competence Center Hagenberg, Hagenberg, Austria

*Case Study Session Chairs*

Atif Mashkoor, Software Competence Center Hagenberg, Hagenberg, Austria

Miklos Biro, Software Competence Center Hagenberg, Hagenberg, Austria

*Workshop Chairs*

Yamine Ait-Ameur, Institut National Polytechnique de Toulouse, France

Stephan Merz, INRIA Nancy, Nancy, France

Alexander Raschke, Universität Ulm, Ulm, Germany

*Tutorial Chairs*

Vincenzo Gervasi, Università di Pisa, Pisa, Italy

Michael Leuschel, Universität Düsseldorf, Düsseldorf, Germany

*Publicity Chair*

Atif Mashkoor, Software Competence Center Hagenberg, Hagenberg, Austria

For further questions concerning ABZ 2016, please contact Klaus-Dieter
SCHEWE (klaus-dieter.schewe at scch.at).
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events