posted by user: fuhaojie0909 || 5794 views || tracked by 30 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
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
NSAD 2019   Numerical and Symbolic Abstract Domains
VECoS 2019   13th International Conference on Verification and Evaluation of Computer and Communication Systems
JPF 2019   Java Pathfinder Workshop 2019
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
MODELS 2019   ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems
TrueFact 2019   KDD 2019 Workshop on Truth Discovery and Fact Checking: Theory and Practice