posted by user: cpsvida || 2630 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

Cyber-AI 2026   The 2nd IEEE 2026 International Conference on Cybersecurity and AI-Based Systems (Scopus)
ISBDAS 2027   10th International Symposium on Big Data and Applied Statistics
WaC13   13th Web-as-Corpus Workshop
EO4CUR 2026   1st ACM SIGSPATIAL International Workshop on Earth Observation for Climate and Urban Resilience
IJCNC 2026   International Journal of Computer Networks & Communications - Scopus, ERA Indexed, H Index - 42
IJAIA 2026   International Journal of Artificial Intelligence & Applications - H Index - 39
CACML 2026   2026 5th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2026)
SIUSAI 2026   2026 5th International Symposium on Intelligent Unmanned Systems and Artificial Intelligence
SCALABILITY 2026   The Third International Conference on Systems Scalability and Expandability
IMETI 2026   The 15th International Multi-Conference on Engineering and Technology Innovation 2026