posted by user: fuhaojie0909 || 1895 views || tracked by 27 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: http://conf.researchr.org/home/VMCAI-2017
 
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

[Empty]

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
KALSIMIS 2017   Knowledge Acquisition and Learning in Semantic Interpretation of Medical Image Structures
ICFEM 2017   19th International Conference on Formal Engineering Methods
A-MOST 2017   Advances in Model-Based Software Testing
ICMT 2017   10th International Conference on Model Transformation
MEDI 2017   7th International Conference on Model and Data Engineering
Task 7 of SemEval 2017   Detection and Interpretation of English Puns