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


    • Posted by at
    Labels:

    No comments:

    Post a Comment

    Subscribe to: Post Comments (Atom)