You are here: HomeABZ 2016News

ABZ 2016 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.

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.

May 17th 2016: Program of the conference has been updated! Please visit program page page for more details.

May 11th 2016: Presentations for The Formalisation of the Business Process Modelling and Notation tutorial are now available! Please visit program page page for more details.

May 02nd 2016: Program for the trip day is now available! Please visit trip program page for more details.

Apr 22nd 2016: Rodin Workshop program is now updated! Please visit program page for more details.

Mar 30th 2016: Registration information is now updated! Please visit registration page for more details.

Mar 17th 2016: Preliminary program is now available.

Mar 01st 2016: Registration is now open! Please visit here to register.

Mar 01st 2016: New suggestions about accommodation are now announced.

Mar 01st 2016: Accepted papers are now announced.

Feb 04th 2016: Rodin Workshop 2016 is now announced.

Feb 02nd 2016: Invited talks are now announced.

Jan 11th 2016: Submission deadline for the registration of paper is now announced.

Jan 11th 2016: Submission deadline for research paper and answers to case study has been changed.

Feb 23rd 2014: Important dates are now announced.

Feb 23rd 2014: Venue has been announced.

Nov 05th 2014: 5th International ABZ Conference will take place in Linz in 2016.