|
VMCAI 2026
Verification, Model Checking and Abstract Interpretation
|
|
CAV 2025
37th International Conference on Computer Aided Verification
|
|
SPIN 2025
31st International Symposium on Model Checking Software
|
|
HLLMICDT 2025
Harnessing Large Language Models for Innovations in Cancer Diagnosis and Treatment
|
|
VSTTE 2025
Verified Software: Theories, Tools, Experiments
|
|
Security 2025
Special Issue on Recent Advances in Security, Privacy, and Trust
|
|
ClimateNLP @ ACL 2025
The 2nd Workshop of Natural Language Processing meets Climate Change
|
|
PJA 78 (1) 2027
AI, Art, and Ethics - The Polish Journal of Aesthetics
|
|
MISANDRY 2025
Man-Hating in Cinema, Literature, Media, and Society
|
|
ICSD 2026
14th International Conference on Sustainable Development, 09 - 10 September Rome, Italy
|
