posted by user: cpsvida || 1160 views || tracked by 3 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
 
When Jan 17, 2024 - Jan 19, 2024
Where London, United Kingdom
Submission Deadline Aug 31, 2023
 

Call For Papers

[Empty]

Related Resources

CAV 2025   37th International Conference on Computer Aided Verification
VSTTE 2024   Verified Software: Theories, Tools, Experiments
SPIN 2024   30th International Symposium on Model Checking Software
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
NFM 2024   NASA Formal Methods Symposium
NFM 2024   NASA Formal Methods Symposium
AMLDS 2025   IEEE--2025 International Conference on Advanced Machine Learning and Data Science
TRS 2025   Transportation Research Symposium
BS LAB 2025   9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?