CSL 2025
Computer Science Logic
|
IDEAL 2024
Intelligent Data Engineering and Automated Learning
|
ICMLSC 2025
9th International Conference on Machine Learning and Soft Computing
|
JSS SI: AI testing and analysis 2024
[JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
|
ATVA 2024
22nd International Symposium on Automated Technology for Verification and Analysis
|
ASYDE 2024
6th International Workshop on Automated and verifiable Software sYstem DEvelopment
|
PPMSA@IDEAL 2024
Special Session on Predictive and Prescriptive Models for Smart Cities’ Applications at the 25th International Conference on Intelligent Data Engineering and Automated Learning
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
ICAPS 2024
The 34th International Conference on Automated Planning and Scheduling
|
CADE 2024
International Conference on AI and the Digital Economy (CADE)
|