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 email@example.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.
|Registration of papers with title, authors and abstract:|
|Research paper and answers to case study submission:||January 22, 2016|
|Short paper submission:|
|Workshop proposal submissions:|
|Workshop proposal notifications:|
|Tutorial proposal submissions:|
|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: