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

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

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

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

VMCAI 2024 the 25th International Conference on Verification, Model Checking, and Abstract Interpretation

SPIN 2024 30th International Symposium on Model Checking Software

VSTTE 2024 Verified Software: Theories, Tools, Experiments

TASE 2024 18th Theoretical Aspects of Software Engineering Conference

NFM 2024 NASA Formal Methods Symposium

CAV 2024 36th International Conference on Computer Aided Verification

MODELS 2024 MODELS 2024 : ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems

SMM4H 2024 The 9th Social Media Mining for Health Research and Applications Workshop and Shared Tasks — Large Language Models (LLMs) and Generalizability for Social Media NLP

MODELSWARD 2024 12th International Conference on Model-Based Software and Systems Engineering