posted by user: fuhaojie0909 || 7411 views || tracked by 29 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

ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
MODELSWARD 2021   9th International Conference on Model-Driven Engineering and Software Development
CAV 2021   33rd International Conference on Computer-Aided Verification
A-MOST 2021   Advances in Model-Based Software Testing
ISSTA 2021   International Symposium on Software Testing and Analysis
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
ESOP 2021   30th European Symposium on Programming
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems