You are here: HomeABZ 2016

ABZ 2016

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

Latest News

Jun 06th 2016: Photos from the conference are now available on the conference photos page.

May 31st 2016: Authors are kindly invited to share their presentations on the website due to the high interest of the participants and the continuous encouragement to share ideas and improve research process. For this please send an e-mail with your presentation to abzconf2016@gmail.com.

May 31st 2016: Slides for the keynote presentation Modeling Safety Critical Railway Applications - an Industrial Experience are now available! Please visit program page page for more details.

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.

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 ().