posted by user: fuhaojie0909 || 1301 views || tracked by 25 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

CAV 2017   29th International Conference on Computer-Aided Verification
Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
IMPACT 2017   7th International Workshop on Polyhedral Compilation Techniques
AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
ICST 2017   IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017
SCiA 2017   4th Software Challenges in Aerospace Symposium
ICMT 2017   10th International Conference on Model Transformation
A-MOST 2017   Advances in Model-Based Software Testing
ICFEM 2017   19th International Conference on Formal Engineering Methods
MODELSWARD 2017   5th International Conference on Model-Driven Engineering and Software Development