posted by user: fuhaojie0909 || 5062 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

VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
Petri Nets 2019   Applications and Theory of Petri Nets
KALSIMIS 2019   Knowledge Acquisition and Learning in Semantic Interpretation of Medical Image Structures
MODELSWARD 2019   7th International Conference on Model-Driven Engineering and Software Development
ICST 2019   International Conference on Software Testing, Verification, and Validation
JELIA 2019   JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.)
VPT 2019   Seventh International Workshop on Verification and Program Transformation