You are here: HomeABZ 2016

ABZ 2016

ASM, Alloy, B, TLA, VDM, Z
May 23-27, 2016
Linz, Austria

Latest News

May 30th 2016: Laudation on the Occasion of Egon Börger's 70th birthday is now available! Please visit program page page for more details.

May 30th 2016: Slides for the keynote presentation Comparing Abstract State Machine Models with Petri Nets for Distributed Algorithms are now available! Please visit program page page for more details.

May 30th 2016: Slides for the case study presentations Modelling the Haemodialysis Machine with Circus, Hemodialysis Machine in Hybrid Event-B, and Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods are now available! Please visit program page page for more details.

May 27th 2016: Slides for the tutorial presentation Modelling Hybrid and Cyberphysical Systems the Hybrid Event-B Way are now available! Please visit program page page for more details.

May 26th 2016: Slides for the keynote presentation Atelier B Has Turned Twenty are now available! Please visit program page page for more details.

All news can be found here.

Important Dates

Registration of papers with title, authors and abstract: January 15, 2016
Research paper and answers to case study submission: January 15, 2016 January 22, 2016
Short paper submission: February 04, 2016
Workshop proposal submissions: October 16, 2015
Workshop proposal notifications: November 06, 2015
Tutorial proposal submissions: February 15, 2016
Acceptance notification: February 22, 2016
Tutorial proposal notifications: March 14, 2016
Final Version due: March 14, 2016
Main ABZ 2016 conference: May 23-27, 2016

ABZ 2016 is co-organized by:

SCCH Software Competence Center Hagenberg

SCCH
Software Compentence Center
Hagenberg
https://www.scch.at


For questions concerning ABZ 2016, contact Klaus-Dieter SCHEWE ().