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

VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
NSAD 2019   Numerical and Symbolic Abstract Domains
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
VECoS 2019   13th International Conference on Verification and Evaluation of Computer and Communication Systems
JPF 2019   Java Pathfinder Workshop 2019
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
HiPEAC 2020   15th International Conference on High Performance Embedded Architectures and Compilers
CAV 2020   Computer Aided Verification
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development