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

VSTTE 2021   VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
MoDeVVa 2021   18th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVA)
Fact-Checking, Fake News in OSN 2021   2nd International Symposium on Fact-Checking, Fake News and Malware Detection in Online Social Networks (OSNs)
ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
MODELSWARD 2022   10th International Conference on Model-Driven Engineering and Software Development
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
IEEE-IIB 2021   IEEE Intelligent Informatics Bulletin: Call for Ph.D. Thesis Abstracts
COLA Journal (Elsevier) 2021   CFP: Special issue on “Methods, Tools and Languages for Model-driven Engineering and Low-code Development”
WTSC 2022   6th Workshop on Trusted Smart Contracts
VaMoS 2022   16th International Working Conference on Variability Modelling of Software-Intensive Systems