VMCAI 2024
the 25th International Conference on Verification, Model Checking, and Abstract Interpretation
|
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
|
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
|
MODELSWARD 2024
12th International Conference on Model-Based Software and Systems Engineering
|
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
|
JRMV 2024
The Journal of Risk Model Validation Call for Papers
|