posted by user: cpsvida || 677 views || tracked by 2 users: [display]

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


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


Related Resources

SPIN 2024   30th International Symposium on Model Checking Software
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
NFM 2024   NASA Formal Methods Symposium
NFM 2024   NASA Formal Methods Symposium
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
TRS 2025   Transportation Research Symposium
Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments
CAV 2024   36th International Conference on Computer Aided Verification
MLNLP 2024   2024 7th International Conference on Machine Learning and Natural Language Processing (MLNLP 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order