4th International ABZ 2014 Conference

ASM, Alloy, B, TLA, VDM, Z
June 2 - 6 2014
Toulouse - France

https://www.irit.fr/ABZ2014/


Important dates Note that deadlines have been extended

Research paper and answers to case study submission:
January February 3, 2014 FIRM DEADLINE
Workshop proposal submissions:
October November 15, 2013
Short and industry papers submission:
February 3, 2014
Tutorial proposal submissions:
January 30, 2014
Papers/abstract/answer to case study notification:
March 1, 2014
Workshop proposal notifications:
November 30, 2013
Final Version due:
March 20, 2014
Tutorial proposal notifications:
Febuary 28, 2014
Main ABZ 2014 conference:
June 2-6, 2014


For questions concerning ABZ 2014, contact Yamine AIT AMEUR (yamine@n7.fr) or Klaus-Dieter SCHEWE (Klaus-Dieter.schewe@scch.at).