|
CSL 2025
Computer Science Logic
|
|
ASE 2025
The IEEE/ACM Automated Software Engineering Conference
|
|
CADE 2025
International Conference on AI and the Digital Economy (CADE) 2025
|
|
IDEAL 2025
Intelligent Data Engineering and Automated Learning
|
|
EvalLAC 2025
Second Workshop on Automated Evaluation of Learning and Assessment Content
|
|
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
|
|
ICAPS 2025
International Conference on Automated Planning and Scheduling
|
|
ICMLSC 2025
9th International Conference on Machine Learning and Soft Computing
|
