posted by user: fuhaojie0909 || 4316 views || tracked by 31 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: http://conf.researchr.org/home/VMCAI-2017
 
When Jan 15, 2017 - Jan 17, 2017
Where Paris, France
Abstract Registration Due Sep 18, 2016
Submission Deadline Sep 21, 2016
Notification Due Nov 14, 2016
 

Call For Papers

[Empty]

Related Resources

VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
APLAS 2018   16th Asian Symposium on Programming Languages and Systems
SPIN 2018   25th International Symposium on Model Checking of Software
VMCAI 2018   International Conference on Verification, Model Checking, and Abstract Interpretation
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
FORMATS 2018   16th International Conference on Formal Modeling and Analysis of Timed Systems
DCM 2018   12th International Workshop on Developments in Computational Model
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
CLOUD 2018   The 2018 International Conference on Cloud Computing