|
CSL 2025
Computer Science Logic
|
|
IDEAL 2025
Intelligent Data Engineering and Automated Learning
|
|
MAS-GAIN 2025
1st International Workshop on Multi-Agent Systems using Generative Artificial INtelligence for Automated Software Engineering
|
|
ICAPS 2026
The 36th International Conference on Automated Planning and Scheduling
|
|
VMCAI 2026
Verification, Model Checking and Abstract Interpretation
|
|
ExASE 2025
1st International Workshop on Explainable Automated Software Engineering
|
|
ASYDE 2025
7th International Workshop on Automated and verifiable Software sYstem DEvelopment
|
|
CASE 2026
Challenges and Applications of Automated Extraction of Socio-political Events from Texts
|
|
AGVICCMA 2025
Automated Guided Vehicle (AGV) Workshop at IEEE ICCMA 2025
|
|
CADE 2025
International Conference on AI and the Digital Economy (CADE) 2025
|
