posted by user: fuhaojie0909 || 3404 views || tracked by 31 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

DCM 2018   12th International Workshop on Developments in Computational Model
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
CLOUD 2018   The 11th International Conference on Cloud Computing
A-MOST 2018   Advances in Model-Based Software Testing
MODELSWARD 2018   6th International Conference on Model-Driven Engineering and Software Development
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
KALSIMIS 2018   Knowledge Acquisition and Learning in Semantic Interpretation of Medical Image Structures
CONCUR 2018   29th International Conference on Concurrency Theory
CAV 2018   Computer Aided Verification