posted by user: fuhaojie0909 || 6682 views || tracked by 29 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

SAS 2020   Static Analysis Symposium, SAS 2020
WiL 2020   4th Women in Logic Workshop - WiL 2020
CAV 2020   Computer Aided Verification
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
MODELS 2020   Model Driven Engineering Languages and Systems
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
A-MOST 2020   Advances in Model-Based Software Testing
IMBSA 2020   7th International Symposium on Model-Based Safety and Assessment
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
MDASD 2020   6th Workshop on Model Driven Approaches in System Development