Friday, October 4, 2013

4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z June 2 - 6 2014 Toulouse - France

http://www.irit.fr/ABZ2014/index.html

Important dates
Research paper and answers to case study submission:January 14, 2014
Workshop proposal submissions:October 15, 2013
Short paper submission:February 3, 2014
Tutorial proposal submissions:January 30, 2014
Papers/abstract/answers 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 2012 conference:

No comments: