posted by user: ndisp || 1206 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: https://popl18.sigplan.org/track/VMCAI-2018
 
When Jan 7, 2018 - Jan 9, 2018
Where Los Angeles, CA, USA
Submission Deadline Oct 8, 2017
 

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)
MODELSWARD 2022   10th International Conference on Model-Driven Engineering and Software Development
ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
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”
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
VaMoS 2022   16th International Working Conference on Variability Modelling of Software-Intensive Systems