|
ATVA 2024
22nd International Symposium on Automated Technology for Verification and Analysis
|
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
|
ACM SAC 2025
40th ACM/SIGAPP Symposium On Applied Computing
|
|
IDEAL 2024
Intelligent Data Engineering and Automated Learning
|
|
Hong Kong-MIST 2025
2025 Asia-Pacific Conference on Marine Intelligent Systems and Technologies (MIST 2025)
|
|
BS LAB 2025
9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?
|
|
OOPSLA 2025 Round 2 2025
Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
|
|
I4CS 2025
25th International Conference on Innovations for Community Services
|
|
SACI 2025
19th IEEE International Symposium on Applied Computational Intelligence and Informatics
|
|
JSS SI: AI testing and analysis 2024
[JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
|
