|
CAV 2025
37th International Conference on Computer Aided Verification
|
|
SPIN 2025
31st International Symposium on Model Checking Software
|
|
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
|
|
MODELSWARD 2025
13th International Conference on Model-Based Software and Systems Engineering
|
|
CfA Celebration 2026
Call for Abstracts for Issue 20 of On_Culture, Celebration, Spring 2026
|
|
RV 2025
25th International Conference on Runtime Verification
|
|
ICST 2025
International Conference on Software Testing, Verification, and Validation
|
|
JMC 2025
JOURNAL OF MATHEMATICAL CRYPTOLOGY 2025
|
