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

VMCAI 2022   Verification, Model Checking and Abstract Interpretation
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
MDE Intelligence 2022   The 4th Workshop on Artificial Intelligence and Model-driven Engineering
MDA AI&PR 2023   MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
NOTION 2022   The Sixth Workshop on Human Behaviour Monitoring, Interpretation and Understanding
ICCD 2022   International Conference on Computer Design