Conference Information, ABZ 2018 | 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018

May 2018: Extended versions of selected papers will be invited for consideration in a Special Section of the International Journal on Software Tools for Technology Transfer (STTT) . Details to be announced after the conference.
May 2018: Springer LNCS Volume 10817 is available online: LNCS volume for ABZ .
April 2018: The deadline for the Rodin workshop is extended to 2nd May 2018.
March 2018: Details of registration , accepted papers , excursion and special rate of accomodation fee are announced.
January 2018: Workshops are announed and paper submission deadline is extended (abstract submission: January 29, 2018, paper submission: February 5, 2018).
November 2017: Programme Committee is announced and invited talks bio is completed.
September 2017: Workshop and tutorial chairs and case study are announced.
August 2017: Invited talks and case study chairs are announced.
July 2017: Venue , PC chairs and important dates are announced.