|
CSL 2025
Computer Science Logic
|
|
ASE 2025
The IEEE/ACM Automated Software Engineering Conference
|
|
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
|
|
EvalLAC 2025
Second Workshop on Automated Evaluation of Learning and Assessment Content
|
|
ASYDE 2025
7th International Workshop on Automated and verifiable Software sYstem DEvelopment
|
|
ASAIL 2025
7th Workshop on Automated Semantic Analysis of Information in Legal Text
|
|
VADH 2025
First Workshop on Vision-Based AI for Digital Health: From Pixels to Practice
|
|
HCVS 2025
12th Workshop on Horn Clauses for Verification and Synthesis
|
|
CADE 2025
International Conference on AI and the Digital Economy (CADE) 2025
|
