Wednesday, August 10, 2016

VMCAI-2017:International Conference on Verification, Model Checking, and Abstract Interpretation

VMCAI-2017:International Conference on Verification, Model Checking, and Abstract Interpretation

January 15-17 2017
Paris, France.



IMPORTANT DATES 

 

  • Paper submission: Sept 21, 2016
  •                        
  • Notification of acceptance: Nov 14, 2016
  •            
  • Final manuscripts due: Nov 28 , 2016


  • No comments:

    Post a Comment