ABZ 2016
Date: May 23, 2016 12:00 am – May 27, 2016 9:00 am
Location: Linz, Austria
5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z)
May 23-27, 2016 -- Linz, Austria
http://www.cdcc.faw.jku.at/ABZ2016/
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.
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.
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/ for a detailed description of this case study.
Programm Committee Chairs:
- Michael BUTLER, University of Southampton, Southampton, UK
- Klaus-Dieter SCHEWE, Johannes-Kepler-University Linz and Software Competence Center Hagenberg, Linz/Hagenberg, Austria
Submitted by Anonymous
on
5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z)
May 23-27, 2016 -- Linz, Austria
http://www.cdcc.faw.jku.at/ABZ2016/
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.
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.
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/ for a detailed description of this case study.
Programm Committee Chairs:
- Michael BUTLER, University of Southampton, Southampton, UK
- Klaus-Dieter SCHEWE, Johannes-Kepler-University Linz and Software Competence Center Hagenberg, Linz/Hagenberg, Austria