|
LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
|
WPTE 2025
11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
|
|
Humanoids 2025
2025 IEEE-RAS 24th International Conference on Humanoid Robots
|
|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering
|
|
SOAP 2025
SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
|
|
EVALSUP & CIMQUSEF 2025
The 7th International Conference on Evaluation in Higher Education and the 22th International Conference on the Quality of Education
|
|
GENEA 2025
Generation and Evaluation of Non-verbal Behaviour for Embodied Agents Workshop 2025
|
|
LRE-MTLRL 2025
Language Resources and Evaluation Journal- Special Issue on Machine Translation for Low-Resource Languages
|
|
EvalLAC 2025
Second Workshop on Automated Evaluation of Learning and Assessment Content
|
|
Humanoids 2025
IEEE-RAS International Conference on Humanoid Robots
|
