posted by user: fuhaojie0909 || 6326 views || tracked by 29 users: [display]

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


Conference Series : Verification, Model Checking and Abstract Interpretation
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


Related Resources

ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
MODELS 2020   Model Driven Engineering Languages and Systems
CAV 2020   Computer Aided Verification
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development
A-MOST 2020   Advances in Model-Based Software Testing
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
LiVe 2020   4th Workshop on Learning in Verification
ICAI 2020   11th International Conference on Applied Informatics
MDASD 2020   6th Workshop on Model Driven Approaches in System Development
CPP 2020   Certified Programs and Proofs